TY  - BOOK
AU  - Spear/Chris 
TI  - System verilog for verification
PY  - 2009///
PB  - Springer
KW  - Verilog
ER  -