TY  - BOOK
AU  - Vijayaraghavan, Srikanth.
AU  - Ramanathan, Meyyappan.
TI  - A Practical Guide for SystemVerilog Assertions
SN  - 9780387261737
UR  - http://dx.doi.org/10.1007/b137011
ER  -