TY  - BOOK
AU  - Bergeron, Janick...[et al]
TI  - Verification methodology manual for SystemVerilog
SN  - 9780387255385
U1  - 621.392 BER 
PY  - 2006///
CY  - New York 
PB  - : Springer, 
KW  -  Verilog (Computer hardware description language)
KW  -  Integrated circuits -- Verification.
KW  - Verification methodology manual for SystemVerilog
KW  - Janick Bergeron
ER  -