Introduction to Logic Synthesis Using Verilog Hdl by Robert B. Reese, Mitchell Thornton & Mitchell A. Thornton