Majority-based evolution state assignment algorithm for area and power optimisation of sequential circuits

State assignment (SA) for finite state machines (FSMs) is one of the crucial synthesis steps in the design and optimisation of sequential circuits. In this study, we propose a majority-based evolution (MBE) SA algorithm that can be considered a variant of the well known differential evolution algorithm. Each individual is evolved based on selecting three random individuals, one of which is selected to be the best individual with a 50% probability. Then, for each state in the individual a selection is made with a 50% probability between keeping the current state or replacing it with a newly computed state. The bit values of the new state are determined based on the majority values of the state of the three selected individuals under a randomly generated probability within a predetermined range. The proposed algorithm is used for FSM state encoding targeting the optimisation of both area and power. Experimental results demonstrate the effectiveness of the proposed MBE SA algorithm in comparison with other evolutionary algorithms including genetic algorithm, binary particle swarm optimisation, Tabu search and simulated evolution.

[1]  José Nelson Amaral,et al.  Designing genetic algorithms for the state assignment problem , 1995, IEEE Trans. Syst. Man Cybern..

[2]  Sadiq M. Sait,et al.  Binary particle swarm optimization (BPSO) based state assignment for area minimization of sequential circuits , 2013, Appl. Soft Comput..

[3]  Neil Urquhart,et al.  State assignment for sequential circuits using multi-objective genetic algorithm , 2011, IET Comput. Digit. Tech..

[4]  Juris Hartmanis,et al.  On the State Assignment Problem for Sequential Machines. I , 1961, IRE Trans. Electron. Comput..

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

[6]  Sadiq M. Sait,et al.  FSM State-Encoding for Area and Power Minimization Using Simulated Evolution Algorithm , 2012 .

[7]  Robert K. Brayton,et al.  Optimal State Assignment for Finite State Machines , 1985, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

[8]  Rainer Storn,et al.  Differential Evolution – A Simple and Efficient Heuristic for global Optimization over Continuous Spaces , 1997, J. Glob. Optim..

[9]  G. Ruxton The unequal variance t-test is an underused alternative to Student's t-test and the Mann–Whitney U test , 2006 .

[10]  A. E. A. Almaini,et al.  State assignment of finite state machines using a genetic algorithm , 1995 .

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

[12]  A. Richard Newton,et al.  MUSE: a multilevel symbolic encoding algorithm for state assignment , 1991, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

[13]  Walid Mohamed Aly Solving the State Assignment Problem Using Stochastic Search Aided with Simulated Annealing , 2009 .

[14]  Alberto L. Sangiovanni-Vincentelli,et al.  MUSTANG: state assignment of finite state machines targeting multilevel logic implementations , 1988, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..