An Implementation of a State Assignment Heuristic

This paper presents the results of developing and integrating a Finite State Machine(FSM) state-assignment tool into the functional design part of the Intel PLA-based synthesis system. The tool developed is an heuristic adjacency-based state assignment program, based on the KISS program [DeMicheli 85]. Statistics are presented, relative to the tool, on 28 FSM's. The current state of the functional design tool is described, as is the interface with the new tool. A new abstract mathematical method, which joins the adjacency and partition methods of assigning states is outlined.

[1]  J. Hartmanis.  Algebraic structure theory of sequential machines (Prentice-Hall international series in applied mathematics) , 1966 .

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

[3]  Doran Wilde,et al.  A Logic Minimizer for VLSI PLA Design , 1982, DAC 1982.

[4]  Christopher R. Clare.  Designing logic systems using state machines , 1973 .

[5]  Michel Dagenais,et al.  The McBoole Logic Minimizer , 1985, DAC 1985.

[6]  Tiziano Villa,et al.  Computer-aided synthesis of PLA-based finite-state machines , 1983 .

[7]  J. Hartmanis,et al.  Algebraic Structure Theory Of Sequential Machines , 1966 .

[8]  J. Roth.  Algebraic topological methods for the synthesis of switching systems. I , 1958 .

[9]  Alberto L. Sangiovanni-Vincentelli,et al.  An Algorithm for Optimal PLA Folding , 1982, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

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

[11]  C. H. Roth,et al.  Fundamentals of logic design , 1975 .

[12]  Robert K. Brayton,et al.  Logic Minimization Algorithms for VLSI Synthesis , 1984, The Kluwer International Series in Engineering and Computer Science.

[13]  Giovanni De Micheli.  Computer-aided synthesis of pla-based systems , 1983 .

[14]  Sungho Kang,et al.  Synthesis and optimization of programmable logic arrays , 1981 .

[15]  Frederick J. Hill,et al.  Introduction to Switching Theory and Logical Design , 1968 .