Liknande verk: Logic Synthesis and Verification Algorithms /
- Introduction to Formal Hardware Verification /
- Essentials of Electronic Testing for Digital, Memory and Mixed-Signal VLSI Circuits /
- Principios de diseño digital /
- Analog VLSI design Automation /
- Computer Aided Logical Design with Emphasis on VLSI /
- Handbook of Algorithms for Physical Design Automation /