Fujita, Masahiro. , <br/><br/>
Verification techniques for system-level design / 
Masahiro Fujita, Indradeep Ghosh, Mukul Prasad. 
 - viii, 240 pages :  illustrations ;  25 cm. 
 - The Morgan Kaufmann series in systems on silicon .
<br/><br/><label>ISBN: </label>0123706165 9780123706164 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Systems on a chip --Testing.<br/>Integrated circuits --Verification.<br/>Formal methods (Computer science).
<br/><br/><label>LC Class. No.: </label>TK7895.E42   / .F84 2008