Verifikation Digitaler Systeme: Eine Einf?hrung in Den Entwurf Korrekter Digitaler Systeme

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.

Author: Hans Eveking

Publisher: Vieweg+teubner Verlag

Publication Date: Oct 01, 1991

Number of Pages: 308 pages

Binding: Paperback or Softback

ISBN-10: 3519022494

ISBN-13: 9783519022497