Algorithms for Synthesis and Testing of Asynchronous Circuits by Luciano Lavagno

Algorithms and Techniques for VLSI Layout Synthesis (The Springer Internatio...

Logic Minimization Algorithms for VLSI Synthesis (The Springer International...

Lavagno - Algorithms for Synthesis and Testing of Asynchronous Circuit - X555z

Logic Minimization Algorithms for VLSI Synthesis

Synthesis Of Arithmetic Circuits : FPGA, ASIC, And Embedded Systems, Hardcove...

Logic Synthesis and Verification Algorithms - Hachtel, Gary D. D.,Somenzi, Fabio