Kundu, Sudipta <br/><br/>
High-Level Verification: methods and tools for verification of system-level designs 
by Sudipta Kundu 
 - New York  Springer Verlag, Netherlands  2011 
 - xiii, 167p. 
<br/><br/><p>Table of Contents:</p><br/><br/><p>1. Introd 
<br/><br/><label>ISBN: </label>9781441993588 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Systems on a chip -- Design<br/>Systems on a chip -- Testing
<br/><br/><label>Dewey Class. No.: </label>621.381548 KUN