Format:
XVI, 195 S.
,
Ill., graph. Darst.
,
24 cm
ISBN:
3540213066
Series Statement:
Lecture notes in computer science 2963
Note:
Zugl. revised version of: Cambridge, Univ., Diss., 2003
Additional Edition:
Erscheint auch als Online-Ausgabe Sharp, Richard Higher-Level Hardware Synthesis Berlin, Heidelberg : Springer Berlin Heidelberg, 2004 ISBN 9783540213062
Language:
English
Subjects:
Computer Science
Keywords:
Hardwareentwurf
;
Logiksynthese
;
Hardwarebeschreibungssprache
;
Hardwareverifikation
;
Einführung
;
Hochschulschrift
URL:
http://www.loc.gov/catdir/enhancements/fy0813/2004046616-d.html