2 books • 3 series
Book #2: Logic Minimization Algorithms for VLSI Synthesis
Book #20: Relaxation Techniques for the Simulation of VLSI Circuits
Book #94: Steady-State Methods for Simulating Analog and Microwave Circuits
Book #139: Integrating Functional and Temporal Domains in Logic Design
Book #232: Algorithms for Synthesis and Testing of Asynchronous Circuits
