TY  - BOOK
AU  - Vijayaraghavan, Srikanth
TI  - Practical Guide for System Verilog Assertions
U1  - 621.392 VIJ 
PY  - 2005///
CY  - Switzerland
PB  - Springer, 
ER  -