Generating Hardware Assertion Checkers For Hardware Verification, Emulation, Post-Fabrication Debugging and On-Line Monitoring - Boulé, Marc; Zilic, Zeljko (Springer Netherlands, 2008)