- Logic Synthesis for Field-Programmable Gate Arrays (The Springer International Series in Engineering and Computer Science)
- Synchronous Equivalence: Formal Methods for Embedded Systems
- Function/Architecture Optimization and Co-Design of Embedded Systems (The Springer International Series in Engineering and Computer Science)
- Steady-State Methods for Simulating Analog and Microwave Circuits
- Cross-Talk Noise Immune VLSI Design Using Regular Layout Fabrics