Finite state machine optimization algorithms for pipelined data path controllers | IEEE Conference Publication | IEEE Xplore