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