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