An integrated state assignment and flip-flop selection technique for FSM synthesis

Abstract In the automatic synthesis of Finite State Machines (FSMs), the state assignment and the choice of flip-flops significantly affect the cost of the combinational logic. To meet the demands of the increasing complexity of integrated circuits, we present an integrated state assignment and sequential element selection approach to synthesize area-efficient FSMs. The FSM synthesis approach is modeled as an optimization problem and is solved by using the guided evolutionary simulated annealing (GESA) technique. The GESA is a new type of parallel and distributed processing approach for searching the optimal solutions. Since the optimization problem at hand is NP-hard, a distributed algorithm for the GESA technique is developed and implemented on Network of Workstations (NOW) to speedup the search process. Promising speedups are obtained by running the distributed GESA algorithm on a NOW. Efficacy of the proposed technique is demonstrated by carrying out a comparison with other state-of-the-art techniques such as the MUSTANG, NOVA and JEDI for MCNC benchmarks. The proposed integrated state assignment and sequential element selection approach allows all types of flip-flops and offers considerable improvement in PLA area as compared to the existing techniques that use only D type flip-flops as the sequential element.

[1]  Jack Dongarra,et al.  MPI: The Complete Reference , 1996 .

[2]  Gerd Rietsche State assignment for finite state machines using T flip-flops , 1993, Proceedings of EURO-DAC 93 and EURO-VHDL 93- European Design Automation Conference.

[3]  David S. Johnson,et al.  Computers and Intractability: A Guide to the Theory of NP-Completeness , 1978 .

[4]  Peter S. Pacheco Parallel programming with MPI , 1996 .

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

[6]  Robert K. Brayton,et al.  Sequential circuit design using synthesis and optimization , 1992, Proceedings 1992 IEEE International Conference on Computer Design: VLSI in Computers & Processors.

[7]  Kenneth Steiglitz,et al.  Combinatorial Optimization: Algorithms and Complexity , 1981 .

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

[9]  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..

[10]  C. D. Gelatt,et al.  Optimization by Simulated Annealing , 1983, Science.

[11]  Anthony Skjellum,et al.  A High-Performance, Portable Implementation of the MPI Message Passing Interface Standard , 1996, Parallel Comput..

[12]  Jack Dongarra,et al.  PVM: Parallel virtual machine: a users' guide and tutorial for networked parallel computing , 1995 .

[13]  Mahesh Mehendale,et al.  An integrated approach to state assignment and sequential element selection for FSM synthesis , 1994, Proceedings of 7th International Conference on VLSI Design.

[14]  Massoud Pedram,et al.  State assignment based on two-dimensional placement and hypercube mapping , 1997, Integr..

[15]  William Gropp,et al.  Skjellum using mpi: portable parallel programming with the message-passing interface , 1994 .

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

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

[18]  Yoh-Han Pao,et al.  Combinatorial optimization with use of guided evolutionary simulated annealing , 1995, IEEE Trans. Neural Networks.

[19]  Santanu Chattopadhyay,et al.  Genetic algorithm based approach for integrated state assignment and flipflop selection in finite state machine synthesis , 1998, Proceedings Eleventh International Conference on VLSI Design.

[20]  Prithviraj Banerjee,et al.  A Parallel Algorithm for State Assignment of Finite State Machines , 1998, IEEE Trans. Computers.

[21]  Anthony Skjellum,et al.  Using MPI - portable parallel programming with the message-parsing interface , 1994 .

[22]  Percy P. C. Yip,et al.  A Guided Evolutionary Simulated Annealing Approach to the Quadratic Assignment Problem , 1994, IEEE Trans. Syst. Man Cybern. Syst..

[23]  Bernhard Eschermann,et al.  State assignment for hardwired VLSI control units , 1993, CSUR.