Divide and conquer: a strategy for synthesis of low power finite state machines | IEEE Conference Publication | IEEE Xplore