Generating Hardware Assertion Checkers : For Hardware Verification, Emulation, Post-Fabrication Debugging and On-Line Monitoring - Boulé, Marc.; Zilic, Zeljko; SpringerLink (Online service) (Dordrecht : Springer Netherlands : Imprint: Springer, 2008)
Assertions and the Verification Landscape -- Basic Techniques Behind Assertion Checkers -- PSL and SVA Assertion Languages -- Automata for Assertion Checkers -- Construction of PSL Assertion Checkers -- Enhanced Features and Uses of PSL Checkers -- Evaluating and Verifying PSL Assertion Checkers -- Checkers for SystemVerilog Assertions -- Conclusions and Future Work.
Keywords: Electronic circuits; Computers; Programming languages (Electronic computers).; Circuits and Systems; Theory of Computation; Programming Languages, Compilers, Interpreters