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
AV  - TK7874.58 B68 2008
PY  - 2008///
CY  - Dordrecht
PB  - Springer Netherlands
KW  - Engineering
KW  - Computer science
KW  - Systems engineering
KW  - Circuits and Systems
KW  - Programming Languages, Compilers, Interpreters
UR  - http://dx.doi.org/10.1007/978-1-4020-8586-4
ER  -