Algorithms for Synthesis and Testing of Asynchronous Circuits by Luciano Lavagno

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 by Hachtel

Synthesis of Arithmetic Circuits: FPGA, ASIC and Embedded Systems by Gustavo D.

Logic Synthesis and Verification Algorithms