Practical design verification 
edited by Dhiraj K. Pradhan and Ian G. Harris 
 - Cambridge  Cambridge University Press  2009 
 - xi,276p. ;  24cm. 
<br/><br/><label>ISBN: </label>978-0-521-85972-1 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Integrated circuits-Verification
<br/><br/><label>Dewey Class. No.: </label>621.381548  / PRA