Formal Verification of Circuits Rolf Drechsler
Material type:
TextPublication details: Boston Kluwer Academic Publishers 2000Description: viii, 179pISBN: 079237858XSubject(s): Electronic circuits --TestingDDC classification: 621.3815 DRE
| Item type | Current library | Collection | Call number | Vol info | Status | Date due | Barcode | Item holds |
|---|---|---|---|---|---|---|---|---|
REFERENCE BOOK
|
LRC_JUIT Electronics & Communication Engineering | REFERENCE SECTION | REF 621.3815 DRE (Browse shelf (Opens below)) | Copy 1 | Not for loan | 020565 |
Total holds: 0
Browsing LRC_JUIT shelves, Shelving location: Electronics & Communication Engineering, Collection: REFERENCE SECTION Close shelf browser (Hides shelf browser)
|
|
|
|
|
|
|
||
| REF 621.3815 DAV Random Testing of Digital Circuits: theory and applications | REF 621.3815 DIM Advanced Gate Stacks for High-Mobility Semiconductors | REF 621.3815 DIN High-Linearity CMOS RF Front-End Circuits | REF 621.3815 DRE Formal Verification of Circuits | REF 621.3815 DUT Technology CAD: computer simulation of IC processes and devices | REF 621.3815 ELK Silicon Devices and Process Integration: deep submicron and nano-scale technologies | REF 621.3815 ESM Advanced Simulation Methods for ESD Protection Development |
There are no comments on this title.