edited by Pradhan, Dhiraj K. <br/><br/>
Practical design verification / 
edited by Dhiraj K. Pradhan, Ian G. Harris. 
 - Cambridge  Cambridge University Press  2009 
 - 276 p. 
<br/><br/><label>ISBN: </label>9780521859721 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Integrated circuits --Verification.
<br/><br/><label>Dewey Class. No.: </label>621.381548 PRA-D