- Logic Synthesis for Field-Programmable Gate Arrays (The Springer International Series in Engineering and Computer Science)
- Function/Architecture Optimization and Co-Design of Embedded Systems (The Springer International Series in Engineering and Computer Science)
- Relaxation Techniques for the Simulation of VLSI Circuits (The International Series in Engineering and Computer Science)
- Algorithms for Synthesis and Testing of Asynchronous Circuits
- Noise Analysis of Radio Frequency Circuits