TY  - DATA
AU  - Boulé,Marc
AU  - Zilic,Zeljko
ED  - SpringerLink (Online service)
TI  - Generating Hardware Assertion Checkers: For Hardware Verification, Emulation, Post-Fabrication Debugging and On-Line Monitoring 
SN  - 9781402085864
PY  - 2008///
CY  - Dordrecht
PB  - Springer Science + Business Media B.V
KW  - Computer Science
KW  - engineering
KW  - Systems engineering
KW  - Engineering
KW  - Circuits and Systems
KW  - Programming Languages, Compilers, Interpreters
UR  - http://dx.doi.org/10.1007/978-1-4020-8586-4
ER  -