01581nam a22003974a 4500 ebr10203637 CaPaEBR m u cr cn||||||||| 070705s2008 ne a sb 001 0 eng 2007028038 GBA774751 bnb 013950010 Uk 9780123706164 (pbk.) 0123706165 (pbk.) CaPaEBR CaPaEBR (OCoLC)182548558 TK7895.E42 F95 2008eb 621.3815 22 Fujita, Masahiro, 1956- Verification techniques for system-level design [electronic resource] / Masahiro Fujita, Indradeep Ghosh, and Mukul Prasad. Amsterdam ; Boston : Morgan Kaufmann Publishers, c2008. viii, 240 p. : ill. The Morgan Kaufmann series in systems on silicon Includes bibliographical references and index. Electronic reproduction. Palo Alto, Calif. : ebrary, 2013. Available via World Wide Web. Access may be limited to ebrary affiliated libraries. Systems on a chip Testing. Integrated circuits Verification. Formal methods (Computer science) Electronic books. local Ghosh, Indradeep, 1970- Prasad, Mukul. ebrary, Inc. Morgan Kaufmann series in systems on silicon. http://site.ebrary.com/lib/rucke/Doc?id=10203637 An electronic book accessible through the World Wide Web; click to view 120986 120986