Umfang:
XVI, 195 S.
,
Ill., graph. Darst.
,
24 cm
ISBN:
3540213066
Serie:
Lecture notes in computer science 2963
Anmerkung:
Zugl. revised version of: Cambridge, Univ., Diss., 2003
Weitere Ausg.:
Erscheint auch als Online-Ausgabe Sharp, Richard Higher-Level Hardware Synthesis Berlin, Heidelberg : Springer Berlin Heidelberg, 2004 ISBN 9783540213062
Sprache:
Englisch
Fachgebiete:
Informatik
Schlagwort(e):
Hardwareentwurf
;
Logiksynthese
;
Hardwarebeschreibungssprache
;
Hardwareverifikation
;
Einführung
;
Hochschulschrift
URL:
http://www.loc.gov/catdir/enhancements/fy0813/2004046616-d.html