doi dblp Finite State Machine Datapath Design, Optimization, and Implementation Justin Davis | Robert B. Reese 2007
doi dblp Introduction to Logic Synthesis using Verilog HDL Robert B. Reese | Mitchell A. Thornton 2006