Introduction to Logic Synthesis Using Verilog Hdl (Robert Reese/Mitchell Thornton)