Practical design verification  [electronic resource] / 
Diraj Pradhan, Ian G. Harris. 
 - New York :  Cambridge University Press,  c2009. 
 - xi, 276 p. :  ill. 
<br/><br/>Includes bibliographical references and index. 
<br/><br/><br/>Electronic reproduction. Ann Arbor, MI : ProQuest, 2015. Available via World Wide Web. Access may be limited to ProQuest affiliated libraries. 
<br/><br/><label>ISBN: </label>
<br/><br/><label>LCCN: </label>
<br/><br/><label>Subjects--Topical Terms: </label><br/>Integrated circuits--Verification.<br/>Electronic circuits.
<br/><br/><label>Index Terms--Genre/Form: </label><br/>Electronic books.
<br/><br/><label>LC Class. No.: </label>TK7874.58  / .P73 2009 
<br/><br/><label>Dewey Class. No.: </label>621.3815/48