Two-Criterion Optimization in State Assignment for Synchronous Finite State Machines using NSGA-II

  • Nitin Gupta
  • Vivek Kumar Agrawal


One of the challenging problems in circuit implementations is finding the best state assignment for implementing a synchronous sequential circuit which are also represented as Finite State Machines. This problem, commonly known as State Assignment Problem (S.A.P.), has been studied extensively because of its importance in reducing the cost of implementation of circuits. The previous work on this problem assumes the number of coding bits as constant, making it a single objective problem with the only objective being to reduce the cumulative cost of transition between the connected states.

In this work, we add another dimension to this optimization problem by introducing a second objective of minimizing the number of bits used for assignment. This is desirable to reduce the complexity and the cost of a circuit. The two objectives are conflicting and thus the optimal solution requires a tradeoff. We present an evoluationary algorithms based approach to solve this multi-dimensional optimization problem. We compare the results from two algorithms, and find that an NSGA-II based approach, with some modifications to constraint handling, gives better results and running time than NSGA. We also gain some insights about the shape of the efficient frontier.


Finite State Machine State Assignment Efficient Frontier Sequential Machine Programmable Logic Array 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [1]
    Armstrong, DB, ”A programmed algorithm for assigning internal codes to sequential machines”, IRE Trans, 1962, EC11, pp 466–472.MathSciNetGoogle Scholar
  2. [2]
    Dolotta, TA, and McCluskey, E, ”The coding of internal states of sequential machines”, IEEE Trans, 1964, EC13, pp 549–562.Google Scholar
  3. [3]
    Hartmanis, J, ”On the state assignment problem for sequential machines I”, IRE Trans, 1961, EC10, pp 157–165.MathSciNetGoogle Scholar
  4. [4]
    Stearns, RE, and Hartmanis, J, ”On the state assignment problem for sequential machines II”, IRE Trans, 1961, EC10, pp 593–603.MathSciNetGoogle Scholar
  5. [5]
    Villa T., Sangiovanni-Vincentelli A., NOVA: State Assignment of Finite State Machines for Optimal Two-Level Logic Implementation, IEEE Transactions on Computer-Aided Design, 1990, 9,(9), pp. 905–924.CrossRefGoogle Scholar
  6. [6]
    Devadas S., Ma H.-K., Newton R., Sangiovanni-Vincentelli A., MUSTANG: State Assignment of Finite State Machines Targeting Multilevel Logic Implementations, IEEE Transactions on Computer-Aided Design, 7,(12), (1988), pp. 1290–1300.CrossRefGoogle Scholar
  7. [7]
    Lin B., Newton R., Synthesis of Multiple Level Logic from Symbolic High-Level Description Languages, Proc. of the Int. Conf. on VLSI, Munchen, 1989, pp. 187–206.Google Scholar
  8. [8]
    Deniziak S., Sapiecha K., A Comparison of State Encoding Algorithms for Different Reprogrammable Architectures, Proc. of the RUC Conference., Szczecin, Poland 1998.Google Scholar
  9. [9]
    Gaat A., A system of data collection for small satellite systems with interfaces built with the use of FPGAs, Proc. of the RUC Conference, Szczecin, Poland 1999, pp.301–308.Google Scholar
  10. [10]
    Michalewicz Z., Genetic Algorithms + Data Structures = Evolution Programs, Springer-Verlag, Berlin Heidelberg 1996, 3rd edition.MATHGoogle Scholar
  11. [11]
    De Micheli G., Synthesis and Optimization of Digital Circuits, McGraw-Hill, 1994.Google Scholar
  12. [12]
    Srinivas N. and Deb K. Multi-objective function optimization using non-dominated sorting genetic algorithms. Evolutionary Computation Journal 2(3):221–248, 1994.CrossRefGoogle Scholar
  13. [13]
    Deb K., Agrawal S., Pratap K. and Meyarivan T. A fast and elitist multi-objective genetic algorithm: NSGA-II IEEE Transactions on Evolutionary Computation. 6(2): 182–197, 2002.Google Scholar
  14. [14]
    Goldberg D. E. Genetic Algorithms in search, optimization and machine learning. Addison-Wesley, Reading, Massachusetts, 1989.MATHGoogle Scholar

Copyright information

© Springer-Verlag/Wien 2005

Authors and Affiliations

  • Nitin Gupta
    • 1
  • Vivek Kumar Agrawal
    • 2
  1. 1.Department of Computer Science and EngineeringIndian Institute of TechnologyKanpur
  2. 2.Department of Mechanical EngineeringIndian Institute of TechnologyKanpurIndia

Personalised recommendations