Verifikation digitaler Systeme

Die Korrektheit eines digitalen Systems vollstndig nachzuweisen - dieses Problem, das von groem praktischen Interesse ist, wirft eine Reihe grund legender Fragen der Modellierung von Hardware, der Entwicklung
geeig neter Reprsentationen, der Mglichkeit formalen Argurnentierens und der technischen Realisierbarkeit von Verifikationswerkzeugen auf. Das vorliegende Buch gibt eine Einfhrung fr diejenigen, die sich mit dem Gebiet
der Hardwareverifikation vertraut machen wollen. Whrend ein Buch ber dieses Thema - insbesondere auf Deutsch verfat - vor einigen Jahren noch etwas fast missionarisches gehabt htte, findet das Gebiet inzwischen
verbreitetes Interesse, was sich in einer zunehmenden Anzahl an Konferen zen und Verffentlichungen wiederspiegelt. Dieses Interesse hat seine Ur sache einmal sicherlich in einem gesteigerten Problembewutsein, da man sich
eben bei VLSI-Bausteinen keine Entwurfsfehler mehr leisten kann. Zum anderen wird immer mehr erkannt, da das Problem der Verifikation fun damental ist fr den gesamten Bereich des Hardwareentwurfs. Das Buch ist entstanden
aus meiner Habilitationsschrift, aus Materialien zu einer Vorlesung "Entwurfsmethodik fr komplexe digitale Systeme", die ich an der Technischen Hochschule Darmstadt von 1985 bis 1990 hielt, so wie aus einer Reihe
englischsprachiger Berichte, die ich zum Zwecke der Selbstverstndigung ber das Gebiet geschrieben habe. Mein besonderer Dank gilt Prof. R. Piloty fr die jahrelange Frderung mei ner Arbeit. Er bot mir die Mglichkeit,
meine Ideen ber die Verifikation digitaler Systeme whrend meiner Zeit als Mitarbeiter und spter als Habi litand am Institut fr Datentechnik der Technischen Hochschule Darmstadt zu entwickeln.