{ "item_title" : "Verifikation Digitaler Systeme", "item_author" : [" Hans Eveking "], "item_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 Buchber 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, daman sich eben bei VLSI-Bausteinen keine Entwurfsfehler mehr leisten kann. Zum anderen wird immer mehr erkannt, dadas 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 ndigungber 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 Ideenber 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.", "item_img_path" : "https://covers2.booksamillion.com/covers/bam/3/51/902/249/3519022494_b.jpg", "price_data" : { "retail_price" : "69.95", "online_price" : "69.95", "our_price" : "69.95", "club_price" : "69.95", "savings_pct" : "0", "savings_amt" : "0.00", "club_savings_pct" : "0", "club_savings_amt" : "0.00", "discount_pct" : "10", "store_price" : "" } }

Overview

Customers Also Bought

Details