TY  - BOOK
AU  - Bergeron, Janick
AU  - Nightingale, Andrew
AU  - Hunter, Alan
AU  - Cerny, Eduard
TI  - Verification Methodology Manual for System Verilog
SN  - 0387255389
U1  - 621.392 BER 
PY  - 2006///
CY  - New York
PB  - Springer Verlag, Netherlands
KW  - Integrated circuits - Verification
KW  - Verilog (Computer Hardware Description Language)
N1  - <p>Contents:</p>

<p>1. Introduction</p
ER  -