Books by Alberto L. Sangiovanni-Vincentelli
Algorithms for Synthesis and Testing of Asynchronous Circuits
Languages and tools for hybrid systems design
Noise analysis of radio frequency circuits
Cross-talk noise immune VLSI design using regular layout fabrics
Function/architecture optimization and co-design of embedded systems
Synthesis of finite state machines