TY  - BOOK
AU  - Marc Boulé and Zeljko Zilic
TI  - Generating hardware assertion checkers for hardware verification, emulation, post-fabrication debugging and on-line monitoring
KW  - Computer science, information & general works
UR  - https://new.zodml.org/sites/default/files/2023-07/epdf.pub_generating-hardware-assertion-checkers-for-hardwar.pdf
ER  -