Verifikation Digitaler Systeme: Eine Einführung in Den Entwurf Korrekter Digitaler Systeme [German]

By Hans Eveking

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 missionarisches gehabt h tte, findet das Gebiet inzwischen verbreitetes Interesse, was sich in einer zunehmenden Anzahl an Konferen- zen und Ver ffentlichungen wiederspiegelt. Dieses Interesse hat seine Ur- sache einmal sicherlich in einem gesteigerten Problembewu tsein, 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 f r den gesamten Bereich des Hardwareentwurfs. Das Buch ist entstanden aus meiner Habilitationsschrift, aus Materialien zu einer Vorlesung "Entwurfsmethodik f r 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 Selbstverst ndigung ber das Gebiet geschrieben habe. Mein besonderer Dank gilt Prof. R. Piloty f r die jahrelange F rderung mei- ner Arbeit. Er bot mir die M glichkeit, meine Ideen ber die Verifikation digitaler Systeme w hrend meiner Zeit als Mitarbeiter und sp ter als Habi- litand am Institut f r Datentechnik der Technischen Hochschule Darmstadt zu entwickeln.

• Format: Paperback
• Language: German
• ISBN: 3519022494
• ISBN13: 9783519022497
• Release Date: October 1991
• Publisher: Vieweg+teubner Verlag
• Length: 308 Pages
• Weight: 1.14 lbs.
• Dimensions: 0.7" x 6.7" x 9.6"