A practical guide for SystemVerilog assertions. - Vijayaraghavan, Srikanth; Ramanathan, Meyyappan (Springer-Verlag, 2005)