doi dblp
Introduction to Logic Synthesis using Verilog HDL
Robert B. Reese | Mitchell A. Thornton