8 books • 5 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
Book #404: Hardware-Software Co-Design of Embedded Systems
Book #425: Analysis and Simulation of Noise in Nonlinear Electronic Circuits and Systems
Book #8: Logic Synthesis for Asynchronous Controllers and Interfaces
