Fujita, Masahiro,  1956- <br/><br/>
Verification techniques for system-level design  [electronic resource] / 
Masahiro Fujita, Indradeep Ghosh, and Mukul Prasad. 
 - Amsterdam ;  Boston :  Morgan Kaufmann Publishers,  c2008. 
 - 1 online resources (viii, 240 p. : ill.) 
 - The Morgan Kaufmann series in systems on silicon .
 - Morgan Kaufmann series in systems on silicon. .
<br/><br/>Includes bibliographical references and index. 
<br/><br/><br/>Electronic reproduction. <br/>Palo Alto, Calif. : <br/>ebrary, <br/>2009. <br/>Available via World Wide Web. <br/>Access may be limited to ebrary affiliated libraries. 
<br/><br/><label>ISBN: </label>9780080553139 (ebk.) 
<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>Index Terms--Genre/Form: </label><br/>Electronic books.
<br/><br/><label>Dewey Class. No.: </label>621.3815