Verification techniques for system-level design
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 . - 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.
GBA774751 bnb
Uk
Systems on a chip--Testing.
Integrated circuits--Verification.
Formal methods (Computer science)
Electronic books.
TK7895.E42 / F95 2008eb
621.3815
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 . - 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.
GBA774751 bnb
Uk
Systems on a chip--Testing.
Integrated circuits--Verification.
Formal methods (Computer science)
Electronic books.
TK7895.E42 / F95 2008eb
621.3815