Fujita, Masahiro <br/><br/>
Verification Techniques for System-Level Design:  

 - Amsterdam  Boston  Morgan Kaufmann Publishers  2008 
 - 240 
<br/><br/><label>ISBN: </label>9780123706164 (pbk.) 0123706165 (pbk.) 
<br/><br/><label>Dewey Class. No.: </label>621.3815  / MUK/V