4 books • 2 series
Book #4: Efficient Branch and Bound Search with Application to Computer-Aided Design
Book #17: Essentials of Electronic Testing for Digital, Memory, and Mixed-Signal VLSI Circuits
Book #73: Unified Methods for VLSI Simulation and Test Generation