Practical design verification / 
edited by Dhiraj K. Pradhan, Ian G. Harris 
 - Cambridge :  Cambridge University Press,  2009 
 - xi, 276 p. :  ill. ;  26 cm. 
<br/><br/>Includes bibliographical references and index 
<br/><br/>Model checking and equivalence checking -- Transaction-level system modeling -- Response checkers, monitors, and assertions -- System debugging strategies -- Test generation and coverage metrics -- SystemVerilog and Vera in a verification flow -- Decision diagrams for verification -- Boolean satisfiability and EDA applications 
<br/><br/><label>ISBN: </label>9780521859721 (hardback) 0521859727 (hardback) 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Integrated circuits--Verification