doi dblp Finite State Machine Datapath Design, Optimization, and Implementation Justin Davis | Robert B. Reese 2007
doi dblp High-Speed Digital System Design Justin Davis 2006