This title is printed to order. This book may have been self-published. If so, we cannot guarantee the quality of the content. In the main most books will have gone through the editing process however some may not. We therefore suggest that you be aware of this before ordering this book. If in doubt check either the author or publisher’s details as we are unable to accept any returns unless they are faulty. Please contact us if you have any questions.
Die Korrektheit eines digitalen Systems vollstandig nachzuweisen - dieses Problem, das von grossem praktischen Interesse ist, wirft eine Reihe grund- legender Fragen der Modellierung von Hardware, der Entwicklung geeig- neter Reprasentationen, der Moeglichkeit formalen Argurnentierens und der technischen Realisierbarkeit von Verifikationswerkzeugen auf. Das vorliegende Buch gibt eine Einfuhrung fur diejenigen, die sich mit dem Gebiet der Hardwareverifikation vertraut machen wollen. Wahrend ein Buch uber dieses Thema - insbesondere auf Deutsch verfasst - vor einigen Jahren noch etwas fast missionarisches gehabt hatte, findet das Gebiet inzwischen verbreitetes Interesse, was sich in einer zunehmenden Anzahl an Konferen- zen und Veroeffentlichungen wiederspiegelt. Dieses Interesse hat seine Ur- sache einmal sicherlich in einem gesteigerten Problembewusstsein, dass man sich eben bei VLSI-Bausteinen keine Entwurfsfehler mehr leisten kann. Zum anderen wird immer mehr erkannt, dass das Problem der Verifikation fun- damental ist fur den gesamten Bereich des Hardwareentwurfs. Das Buch ist entstanden aus meiner Habilitationsschrift, aus Materialien zu einer Vorlesung Entwurfsmethodik fur 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 Selbstverstandigung uber das Gebiet geschrieben habe. Mein besonderer Dank gilt Prof. R. Piloty fur die jahrelange Foerderung mei- ner Arbeit. Er bot mir die Moeglichkeit, meine Ideen uber die Verifikation digitaler Systeme wahrend meiner Zeit als Mitarbeiter und spater als Habi- litand am Institut fur Datentechnik der Technischen Hochschule Darmstadt zu entwickeln.
