A Practical Guide for SystemVerilog Assertions - Vijayaraghavan, Srikanth; Ramanathan, Meyyappan; SpringerLink (Online service) (Boston, MA : Springer Science+Business Media, Inc., 2005)
Keywords: Verilog (Computer hardware description language); Engineering; Electronic and Computer Engineering; Electronics and Microelectronics, Instrumentation; Circuits and Systems