TY  - BOOK
AU  - Boule,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 (electronic bk.)
AV  - TK7874.75 .F67 1997
U1  - 621.395 21
PY  - 2008///
CY  - Dordrecht
PB  - Springer Science + Business Media B.V
KW  - Online data processing
KW  - Integrated circuits
KW  - Verification
UR  - https://eresourcesptsl.ukm.remotexs.co/user/login?url=http://dx.doi.org/10.1007/978-1-4020-8586-4
ER  -