Formal Verification of Circuits
By: Drechsler, Rolg.
Material type:
BookPublisher: London: Kluwer Academic Publishers, 2000Description: 179 p.; Illus. Index.: 24 cm.ISBN: 079237858X .Subject(s): Arithmetic Circuits | Circuits | Digital Systems | Minimization of DDS | TechnologyDDC classification: 621.38150287
| Item type | Current location | Call number | Status | Date due | Barcode |
|---|---|---|---|---|---|
| Books | 621.38150287 DRE (Browse shelf) | Available | 002104 |
Browsing DAIICT Shelves Close shelf browser
| 621.3815011353 ROB Spice | 621.3815011353 ROB Spice | 621.38150285 RUT Computer-aided design of analog integrated circuits and systems | 621.38150287 DRE Formal Verification of Circuits | 621.38152 ACH Fundamentals of semiconductor devices | 621.38152 AND Fundamentals of semiconductor devices | 621.38152 BAC Fabrication of GaAs devices |
There are no comments for this item.