UCLOCK: automated design of high-performance unclocked state machines | IEEE Conference Publication | IEEE Xplore