Part of
Grundvoraussetzung für die Herstellung fehlerfreier Hardware ist neben der korrekten Spezifikation der gewünschten Schaltung vor allem auch die fehlerfreie Umsetzung der spezifizierten Eigenschaften in der resultierenden Implementierung der Schaltung.
Dieses Buch stellt ein neues Konzept zur Überwindung vieler existierenden Einschränkungen in der formalen algorithmischen Synthese vor. Es erlaubt über die Synthese reiner Datenflussbeschreibungen hinaus auch die vollautomatische formale Synthese steuerflussbehafteter Schaltungsspezifikationen.
Umfang: IV, 177 S.
Preis: €36.90 | £34.00 | $65.00
These are words or phrases in the text that have been
automatically identified by the
Named Entity Recognition and Disambiguation service,
which provides Wikipedia
(
)
and Wikidata
(
)
links for these entities.
Kapp, K. 2005. Eine formale algorithmische Synthese digitaler Schaltungen. Karlsruhe: KIT Scientific Publishing. DOI: https://doi.org/10.5445/KSP/1000003729
Dieses Buch ist lizenziert unter Creative Commons Attribution + ShareAlike 4.0
Dieses Buch ist Peer reviewed. Informationen dazu finden Sie hier
Veröffentlicht am 15. Dezember 2005
Deutsch
187
| Paperback | 3-937300-90-2 |