Finite state machine datapath design, optimization, and implementation - Davis, Justin S. 1975- (Synthesis lectures on digital circuits and systems, 2008)