A Practical Guide for SystemVerilog Assertions - Vijayaraghavan, Srikanth; Ramanathan, Meyyappan; SpringerLink (Online service) (Boston, MA : Springer US, 2005)
Keywords: Engineering; Electronics; Systems engineering; Engineering; Circuits and Systems; Electronic and Computer Engineering; Electronics and Microelectronics, Instrumentation