Marc Boulé and Zeljko Zilic <br/><br/>
Generating hardware assertion checkers for hardware verification, emulation, post-fabrication debugging and on-line monitoring 

<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer science, information & general works