VLSI Specification, Verification and Synthesis (The Springer International Series in Engineering and Computer Science)
Computer Design Aids for VLSI Circuits (Nato Science Series E:)
BiCMOS Technology and Applications (The Springer International Series in Engineering and Computer Science)
Computer-Aided Design of Analog Circuits and Systems (The Springer International Series in Engineering and Computer Science, 226)
Introduction to VLSI Process Engineering
Computer-Aided Design and VLSI Device Development (The Springer International Series in Engineering and Computer Science)
Circuit Design for CMOS VLSI
Reuse Techniques for VLSI Design
Algorithmic and Knowledge Based CAD for VLSI
Hardware/Software Co-Design (Nato Science Series E: (closed))