Format:
XII, 426 S.
,
graph. Darst.
ISBN:
354020363X
Series Statement:
Lecture notes in computer science 2860
Note:
Literaturangaben
Additional Edition:
Erscheint auch als Online-Ausgabe Geist, Daniel Correct Hardware Design and Verification Methods Berlin, Heidelberg : Springer Berlin Heidelberg, 2003 ISBN 9783540203636
Language:
English
Subjects:
Computer Science
Keywords:
Hardwareentwurf
;
Formale Methode
;
Hardwareverifikation
;
Formale Methode
;
Model Checking
;
System-on-Chip
;
Entwurfsautomation
;
Formale Methode
;
Entwurfssprache
;
Konferenzschrift
URL:
http://www.loc.gov/catdir/enhancements/fy0818/2003057017-d.html