-
RecordNumber
157
-
Author
Lam, William K. C.,1962-
-
Title
Hardware design verification simulation and formal method-based approaches
-
Author Statement
William K. Lam.
-
Publication
Prentice Hall Professional Technical Reference
-
Publication Year
c2005
-
Collation
xxv, 585 p. ill. 24 cm
-
Series
Prentice Hall modern semiconductor design series
-
Notes
Includes bibliographical references (p. 539-559) and index.
-
Subject
Integrated circuits
-
Link To Document :
