Verifikation digitaler Systeme
Hans Eveking
Broschiertes Buch

Verifikation digitaler Systeme

Eine Einführung in den Entwurf korrekter digitaler Systeme

Versandkostenfrei!
Versandfertig in 1-2 Wochen
49,95 €
inkl. MwSt.
Weitere Ausgaben:
PAYBACK Punkte
0 °P sammeln!
Die Korrektheit eines digitalen Systems vollständig nachzuweisen - dieses Problem, das von großem praktischen Interesse ist, wirft eine Reihe grund legender Fragen der Modellierung von Hardware, der Entwicklung geeig neter Repräsentationen, der Möglichkeit formalen Argurnentierens und der technischen Realisierbarkeit von Verifikationswerkzeugen auf. Das vorliegende Buch gibt eine Einführung für diejenigen, die sich mit dem Gebiet der Hardwareverifikation vertraut machen wollen. Während ein Buch über dieses Thema - insbesondere auf Deutsch verfaßt - vor einigen Jahren noch etwas fast m...