Verification techniques for system-level design [electronic resource] / Masahiro Fujita, Indradeep Ghosh, and Mukul Prasad.
Series: Morgan Kaufmann series in systems on siliconPublication details: Amsterdam ; Boston : Morgan Kaufmann Publishers, c2008.Description: viii, 240 p. : illISBN:- 0123706165 (pbk.)
- 9780123706164 (pbk.)
- 621.3815 22
- TK7895.E42 F95 2008eb

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.