TY  - BOOK
AU  - Boule, Marc
AU  - Zilic, Zeljko
TI  - Generating hardware assertion checkers: for hardware verification, emulation, post-fabrication debugging and on-line monitoring
SN  - 9781402085857
U1  - 621.3815 
PY  - 2008///
CY  - U.K.
PB  - Springer Science+Business Media
KW  - Integrated circuits
ER  -