FSM-based Sequential Circuits Optimization by Changing Initial State of Specification | IEEE Conference Publication | IEEE Xplore