Hachtel and Somenzi, Logic Synthesis and Verification Algorithms
Text Book Hatchel_Somenzi (Needs Netid and password)
E. J. McCluskey, Logic Design Principles
Randy H. Katz, Contemporary Logic Design
Weste and Eshraighan, Principles of CMOS VLSI Design
Giovanni De Micheli, Synthesis and Optimization of Digital Circuits
Srinivas Devadas, Logic Synthesis