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