KOBV Portal

Hits per page

hit 1 - 1 | 1 hit

Select All Export

Online Resource

Eine formale algorithmische Synthese digitaler Schaltungen / (2005)

Kapp, Kai,

[Place of publication not identified] :KIT Scientific Publishing,

add to watchlist on the watchlist

Details

UID:

almahu_9949508063402882

Format: 1 online resource (iv, 177 pages)

Content: Grundvoraussetzung für die Herstellung fehlerfreier Hardware ist neben der korrekten Spezifikation der gewünschten Schaltung vor allem auch die fehlerfreie Umsetzung der spezifizierten Eigenschaften in der resultierenden Implementierung der Schaltung.Dieses Buch stellt ein neues Konzept zur Überwindung vieler existierenden Einschränkungen in der formalen algorithmischen Synthese vor. Es erlaubt über die Synthese reiner Datenflussbeschreibungen hinaus auch die vollautomatische formale Synthese steuerflussbehafteter Schaltungsspezifikationen.

Additional Edition: ISBN 1000003729

Language: German

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

Online Resource

HU Berlin

hit 1 - 1 | 1 hit

Kooperativer Bibliotheksverbund

Berlin Brandenburg