doi dblp Finite State Machine Datapath Design, Optimization, and Implementation Justin Davis | Robert B. Reese