VLSI Specification, Verification and Synthesis (The Springer International Series in Engineering and Computer Science)
BiCMOS Technology and Applications (The Springer International Series in Engineering and Computer Science)
Computer-Aided Design and VLSI Device Development (The Springer International Series in Engineering and Computer Science)
Computer Design Aids for VLSI Circuits (Nato Science Series E:)
Algorithmic and Knowledge Based CAD for VLSI
Digital CMOS Circuit Design (The Springer International Series in Engineering and Computer Science)
Introduction to Analog VLSI Design Automation (The Springer International Series in Engineering and Computer Science, 95)
Artificial Intelligence in Design '94
Evolutionary Algorithms for VLSI CAD
Circuit Design for CMOS VLSI