Format:
XX, 177 S.
,
graph. Darst.
ISBN:
0387244115
,
9780387244112
Note:
Literaturverz. S. 168 - 174
Additional Edition:
Erscheint auch als Online-Ausgabe Scalable Hardware Verification with Symbolic Simulation Boston, MA : Springer Science+Business Media, Inc, 2006 ISBN 9780387299068
Language:
English
Subjects:
Engineering
Keywords:
Hardwareverifikation
;
Simulation