Verifikation Digitaler Systeme - Eine Einfuhrung in Den Entwurf Korrekter Digitaler Systeme (German, Paperback, 1991 ed.)

Die Korrektheit eines digitalen Systems vollstandig nachzuweisen - dieses Problem, das von grossem praktischen Interesse ist, wirft eine Reihe grund legender Fragen der Modellierung von Hardware, der Entwicklung geeig neter Reprasentationen, der Moglichkeit formalen Argurnentierens und der technischen Realisierbarkeit von Verifikationswerkzeugen auf. Das vorliegende Buch gibt eine Einfuhrung fur diejenigen, die sich mit dem Gebiet der Hardwareverifikation vertraut machen wollen. Wahrend ein Buch uber dieses Thema - insbesondere auf Deutsch verfasst - vor einigen Jahren noch etwas fast missionarisches gehabt hatte, findet das Gebiet inzwischen verbreitetes Interesse, was sich in einer zunehmenden Anzahl an Konferen zen und Veroffentlichungen wiederspiegelt. Dieses Interesse hat seine Ur sache einmal sicherlich in einem gesteigerten Problembewusstsein, dass man sich eben bei VLSI-Bausteinen keine Entwurfsfehler mehr leisten kann. Zum anderen wird immer mehr erkannt, dass das Problem der Verifikation fun damental ist fur den gesamten Bereich des Hardwareentwurfs. Das Buch ist entstanden aus meiner Habilitationsschrift, aus Materialien zu einer Vorlesung "Entwurfsmethodik fur 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 Selbstverstandigung uber das Gebiet geschrieben habe. Mein besonderer Dank gilt Prof. R. Piloty fur die jahrelange Forderung mei ner Arbeit. Er bot mir die Moglichkeit, meine Ideen uber die Verifikation digitaler Systeme wahrend meiner Zeit als Mitarbeiter und spater als Habi litand am Institut fur Datentechnik der Technischen Hochschule Darmstadt zu entwickeln."

General

Imprint:	Vieweg+teubner Verlag
Country of origin:	Germany
Series:	Leitfaden Und Monographien Der Informatik
Release date:	October 1991
First published:	October 1991
Authors:	Hans Eveking
Dimensions:	244 x 170 x 17mm (L x W x T)
Format:	Paperback - Trade
Pages:	308
Edition:	1991 ed.
ISBN-13:	978-3-519-02249-7
Languages:	German
Subtitles:	German
Categories:	Books > Professional & Technical > Technology: general issues > Engineering: general
LSN:	3-519-02249-4
Barcode:	9783519022497

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!