Retiming finite state machines to control hardened data-paths | IEEE Conference Publication | IEEE Xplore