A new approach to synthesis of PLA-based FSM´s

The logic design phase in the synthesis of PLA-based FSM´s, includes techniques of state assignment, factorization of FSM´s and decomposition of FSM´s. Since all these techniques assume that the state transition table (STT) of the given FSM is fixed, the increase in the extent of optimization obtained by improvements in these techniques, is constrained by the STT. In this work, we have suggested a new model of implementation called the MAR model, which gives the provision of modifying the output space in the STT of the given FSM, without loss in functionality. With this new model, we have attempted to achieve optimization of PLA-based FSM´s, by improving factorization, two-level area minimization of the combinational component and decomposition of the given FSM. We have also developed a new state assignment algorithm for interacting FSM´s. Experimental results on MCNC Benchmark examples have shown that the MAR model yields superior realizations in terms of area and performance for the three optimization techniques