-
RecordNumber
58902
-
Author
Boulé, Marc
-
Title
Generating hardware assertion checkers
-
SubTitle
for hardware verification, emulation, post-fabrication debugging and on-line monitoring
-
Author Statement
Marc Boulé, Zeljko Zilic
-
Publication
Springer Dordrecht
-
Publication Year
2008
-
Collation
xx, 279 p.: ill
-
Notes
Includes bibliographical references (p. 265-273) and index , 9781402085857
-
Subject
Integrated circuits Very large scale integration Computer-aided design , Integrated circuits Verification , Error analysis (Mathematics)
-
ADDED ENTRIES
AU Zilic, Zeljko , TI
-
LC Class
TK
-
LC Number
7874.58
-
LC CutterNumber
.B68
-
LC Date
2008
-
Link To Document :
