Evolutionary Synthesis of Synchronous Finite State Machines

Synchronous finite state machines are very important for digital sequential designs. They allow the synchronisation of the hardware system components so that these may cooperate adequately in the fulfillment of the main objective of the design. In this paper, assuming that the state assignment problem has been solved and so a specific state coding is provided, we propose to me the evolutionary methodology to yield optimal evolvable hardware that implements the state machine control component. The evolved hardware requires a minimal hardware area and introduces a minimal propagation delay of the machine output signals

[1]  Zbigniew Michalewicz,et al.  Genetic Algorithms + Data Structures = Evolution Programs , 1992, Artificial Intelligence.

[2]  Peter J. Fleming,et al.  An Overview of Evolutionary Algorithms in Multiobjective Optimization , 1995, Evolutionary Computation.

[3]  David E. Goldberg,et al.  Genetic Algorithms in Search Optimization and Machine Learning , 1988 .

[4]  Mohamed Rafiquzzaman,et al.  Introduction to Digital Systems , 2005 .

[5]  V. Thomas Rhyne,et al.  Fundamentals of digital systems design , 1973 .

[6]  Watts S. Humphrey,et al.  Switching circuits with computer applications , 1958 .

[7]  Kenneth A. De Jong,et al.  Using Genetic Algorithms to Solve NP-Complete Problems , 1989, ICGA.

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

[9]  Lawrence. Davis,et al.  Handbook Of Genetic Algorithms , 1990 .

[10]  Nadia Nedjah,et al.  Evolutionary algorithm for state assignment of finite state machines , 2002, Proceedings Euromicro Symposium on Digital System Design. Architectures, Methods and Tools.

[11]  Vidroha Debroy,et al.  Genetic Programming , 1998, Lecture Notes in Computer Science.

[12]  Alfred V. Aho,et al.  Compilers: Principles, Techniques, and Tools , 1986, Addison-Wesley series in computer science / World student series edition.

[13]  Chang Wook Ahn,et al.  On the practical genetic algorithms , 2005, GECCO '05.

[14]  D. E. Goldberg,et al.  Genetic Algorithms in Search , 1989 .

[15]  Douglas B. Armstrong,et al.  A Programmed Algorithm for Assigning Internal Codes to Sequential Machines , 1962, IRE Trans. Electron. Comput..

[16]  Tiziano Villa,et al.  NOVA: State Assignment of Finite State Machines for Optimal Two-Level Logic Implementations , 1989, 26th ACM/IEEE Design Automation Conference.

[17]  Kenneth A. De Jong,et al.  An Analysis of the Interacting Roles of Population Size and Crossover in Genetic Algorithms , 1990, PPSN.