TY  - BOOK
AU  - Vijayaraghavan, Srikanth
TI  - A practical guide for systemverilog assertions
SN  - 0387260498
U1  - 621.392 
PY  - 2005///
CY  - New York
PB  - Springer
KW  - System Verilog Assertions
ER  -