Verification techniques for system-level design

Saved in:
Bibliographic Details
Main Authors: Fujita Masahiro, 1956-
Group Author: Ghosh Indradeep, 1970-; Prasad Mukul.
Published: Morgan Kaufmann Publishers,
Publisher Address: Amsterdam Boston
Publication Dates: c2008.
Literature type: Book
Language: English
Series: The Morgan Kaufmann series in systems on silicon
Subjects:
Carrier Form: viii, 240 p.: ill. ; 25 cm.
ISBN: 9780123706164 (pbk.)
0123706165 (pbk.)
Index Number: TP302
CLC: TP302.1
Call Number: TP302.1/F961
Contents: Includes bibliographical references and index.