Introduction to Logic Synthesis using Verilog HDL - Reese, Robert B. (Springer International Publishing,)