Masahiro Fujita-Indradeep Ghosh-Mukul Prasad <br/><br/>
Verification Techniques for System-Level Design 

 -  Morgan Kaufmann  2008 
 - The Morgan Kaufmann Series in Systems on Silicon .
<br/><br/><label>ISBN: </label>9780080553139 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Formal methods (Computer science),Integrated circuits--Verification.,Systems on a chip--Testing.
<br/><br/><label>Subjects--Index Terms: </label>TECHNOLOGY & ENGINEERING / Industrial Design / Product 
<br/><br/><label>LC Class. No.: </label>TK7895.E42 F95 2008eb 
<br/><br/><label>Dewey Class. No.: </label>621.3815