Eine formale algorithmische Synthese digitaler Schaltungen

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 Überwind...

Popoln opis

Bibliografske podrobnosti

Glavni avtor:	Kapp, Kai
Format:	Online
Jezik:	nemščina
Izdano:	KIT Scientific Publishing 2021
Teme:	QA75.5-76.95 Digitalschaltung Logiksynthese bic Book Industry Communication::U Computing & information technology::UY Computer science
Online dostop:	34592
Oznake:	Označite Brez oznak, prvi označite!