SAT-Based scalable formal verification solutions
By: Ganai, Malay.
Contributor(s): Gupta, Aarti.
Material type:
BookSeries: Series on Integrated Circuits and Systems.Publisher: Boston: Springer, 2007Description: xxix, 326 p.; ill.: 24 cm.ISBN: 9780387691664 .Subject(s): Gupta, Aarti | Computer aided design | Computer engineering | Other Authors | Systems engineeringDDC classification: 621.381548
| Item type | Current location | Call number | Status | Date due | Barcode |
|---|---|---|---|---|---|
| Books | 621.381548 GAN (Browse shelf) | Available | 021671 |
Browsing DAIICT Shelves Close shelf browser
| 621.381548 CAR Metric driver design verification : an engineer's and executive's guide to first pass success | 621.381548 CAR Elements of electronic instrumentation and measurements | 621.381548 DAN Digital signal processing for measurement systems : theory and applications | 621.381548 GAN SAT-Based scalable formal verification solutions | 621.381548 JHA Testing of digital systems | 621.381548 MIC Digital logic testing and simulation | 621.381548 MON Electronic test equipment handbook |
There are no comments for this item.