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
Browsing IIITD shelves, Shelving location: General Stacks, Collection: Engineering and Allied Operation Close shelf browser (Hides shelf browser)
No cover image available | ||||||||
621.382 STA-W Wireless communications and networking | 621.382 TRA-P Principles of communication systems simulation with wireless applications | 621.384 BIS-W Wireless communication : | 621.392 LAM-H Hardware design verification : | 621.392 VIJ-P A practical guide for system verilog assertions | 621.902 MAT-C CNC programming : principles and applications | 621.988 JOR-3 3D printing |
Includes bibliographical references (p. 539-559) and index.
There are no comments on this title.