Limit this search to....

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
Qty:
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.