Minimization Method of Finite State Machines for Low Power Design

A new method for the minimization of finite state machines (FSMs) is proposed. In this method, such optimization criteria as the power consumption and possibility of merging other states are taken into account already at the stage of minimizing internal states. The method is based on sequential merging of two internal states. For this purpose, the set of all pairs of states that can be merged is found, and the pair that best satisfies the optimization criteria is chosen for merging. Algorithms for the estimation of optimization criteria values are described. Experimental results show, that the minimal number of states does not correspond to minimal dissipated power.

[1]  Maria J. Avedillo,et al.  SMAS: a program for the concurrent state reduction and state assignment of finite state machines , 1991, 1991., IEEE International Sympoisum on Circuits and Systems.

[2]  V. V. Solov’ev,et al.  Minimization of incompletely specified mealy finite-state machines by merging two internal states , 2013 .

[3]  R.K. Singh,et al.  Multiplexer targeted finite state machine encoding for area and power minimization , 2004, Proceedings of the IEEE INDICON 2004. First India Annual Conference, 2004..

[4]  Yinshui Xia,et al.  Genetic algorithm based state assignment for power and area optimisation , 2002 .

[5]  Wen-Tsong Shiue,et al.  Novel state minimization and state assignment in finite state machine design for low-power portable devices , 2005, Integr..

[6]  Christian Lindholm.  High frequency and low power semi-synchronous PFM state machine , 2011, 2011 IEEE International Symposium of Circuits and Systems (ISCAS).

[7]  Sadiq M. Sait,et al.  Finite state machine state assignment for area and power minimization , 2006, 2006 IEEE International Symposium on Circuits and Systems.

[8]  Chi-Ying Tsui,et al.  Power estimation methods for sequential logic circuits , 1995, IEEE Trans. Very Large Scale Integr. Syst..

[9]  Santanu Chattopadhyay,et al.  Genetic algorithm-based FSM synthesis with area-power trade-offs , 2009, Integr..

[10]  Tomasz Grzes,et al.  FSM State Assignment Methods for Low-Power Design , 2007, 6th International Conference on Computer Information Systems and Industrial Management Applications (CISIM'07).

[11]  Zhenyu Liu,et al.  An embedded low power reconfigurable fabric for finite state machine operations , 2006, 2006 IEEE International Symposium on Circuits and Systems.