Image from Amazon.com
Hardware design verification : simulation and formal method-based approaches / William K. Lam
Series: Prentice Hall modern semiconductor design seriesPublication details: Upper Saddle River, NJ : Prentice Hall Professional Technical Reference, 2005Description: xxv, 585 p. : ill. ; 24 cmISBN:- 0131433474 (alk. paper)
| Item type | Current library | Home library | Collection | Call number | Materials specified | Copy number | Status | Date due | Barcode | |
|---|---|---|---|---|---|---|---|---|---|---|
| AM | PERPUSTAKAAN LINGKUNGAN KEDUA | PERPUSTAKAAN LINGKUNGAN KEDUA KOLEKSI AM-P. LINGKUNGAN KEDUA | - | TK7874.58.L36 3 (Browse shelf(Opens below)) | 1 | Available | 00001469055 |
Browsing PERPUSTAKAAN LINGKUNGAN KEDUA shelves, Shelving location: KOLEKSI AM-P. LINGKUNGAN KEDUA Close shelf browser (Hides shelf browser)
|
|
|
|
|
|
|
||
| TK7874.54.B348 Lumped elements for RF and microwave circuits / | TK7874.55.H366 Handbook of algorithms for physical design automation / | TK7874.55.P339 2017 3 Three-dimensional integrated circuit design / | TK7874.58.L36 3 Hardware design verification : simulation and formal method-based approaches / | TK7874.58.O83 3 Oscillation-based test in mixed-signal circuits / | TK7874.6.B376 3 ASIC design in the silicon sandbox : a complete guide to building mixed-signal integrated circuits / | TK7874.6.S64 Application-specific integrated circuits |
Includes bibliographical references (p. 539-559) and index
There are no comments on this title.
Log in to your account to post a comment.