Fujita, Masahiro <br/><br/>
Verification techniques for system - level design 

 - AMSTERDAM  Elsevier  2011 
 - 240 
<br/><br/><label>ISBN: </label>9780123706164 
<br/><br/><label>Subjects--Topical Terms: </label><br/>ELECTRONICS AND COMMUNICATION ENGINEERING
<br/><br/><label>Dewey Class. No.: </label>621.3815 FUJ/GHO