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/><label>ISBN: </label>9780521859721 
<br/><br/><label>ISSN: </label>2008050653 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Integrated circuits - Verification
<br/><br/><label>Dewey Class. No.: </label>621.381548 PRA