Verifikation Digitaler Systeme: Eine Einführung in Den Entwurf Korrekter Digitaler Systeme 1991 Edition Contributor(s): Eveking, Hans (Author) |
|
![]() |
ISBN: 3519022494 ISBN-13: 9783519022497 Publisher: Vieweg+teubner Verlag OUR PRICE: $66.45 Product Type: Paperback Language: German Published: October 1991 |
Additional Information |
BISAC Categories: - Technology & Engineering | Engineering (general) |
Dewey: 620 |
Series: Leitfaden Und Monographien Der Informatik |
Physical Information: 0.68" H x 6.69" W x 9.61" (1.14 lbs) 308 pages |
Descriptions, Reviews, Etc. |
Publisher Description: 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. |