A practical guide for SystemVerilog assertions - Vijayaraghavan, Srikanth (Springer-Verlag, 2005)