Verification methodology manual for System Verilog  / 
Janick Bergeron 
 - New York :  Springer ,  c2005 
 - xvi, 503p. :  ill, ;  24 cm. 
<br/><br/>Includes bibliographical references and index 
<br/><br/><label>ISBN: </label>0387255389 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Verilog (Computer hardware description language)<br/>Intergrated circuits--Verification