TY  - BOOK
AU  - Vijayaraghavan, Srikanth.
TI  - Practical guide for system verilog assertions
SN  - 9788184893397
U1  - 006.66  1
PY  - 2009///
CY  - New Delhi
PB  - Springer
KW  - SVS simulation methodology
KW  - SVA for protocol interface
KW  - Checking the checker
ER  -