Rashinkar, Prakash <br/><br/>
System on a chip verification: Methodology and techniques 

 - Boston  Kluwer Academic Publishers  2000 
 - xiii, 372 p. 
<br/><br/> 4269 25/11/2013 2284 23/01/2014 Main Budget 
<br/><br/><label>ISBN: </label> EUR164.95 
<br/><br/><label>Dewey Class. No.: </label>621.295 R183S