Synthesis of Finite State Machines for Low Static and Dynamic Power | IEEE Conference Publication | IEEE Xplore