Hardware design verification : simulation and formal method-based approaches
Material type: TextSeries: Prentice Hall modern semiconductor design seriesPublication details: Boston : PHI Learning, ©2005.Description: xxv, 585 p. : ill. ; 24 cmISBN:- 9780137010929
- 621.392 22 LAM-H
- TK7874.58 .L36 2005
Item type | Current library | Collection | Call number | Status | Date due | Barcode | Item holds |
---|---|---|---|---|---|---|---|
Books | IIITD General Stacks | Engineering and Allied Operation | 621.392 LAM-H (Browse shelf(Opens below)) | Available | 008129 |
Total holds: 0
Includes bibliographical references (p. 539-559) and index.
There are no comments on this title.