A new method for the state reduction of incompletely specified finite sequential machines

  • Authors:

  • M. J. Avedillo;J. M. Quintana;J. L. Huertas

  • Affiliations:

  • Universidad de Sevilla, Dpto. de Diseño de Circuitos Análogicos, Centro Nacional de Microelectrónica, 41012 Sevilla, Spain;Universidad de Sevilla, Dpto. de Diseño de Circuitos Análogicos, Centro Nacional de Microelectrónica, 41012 Sevilla, Spain;Universidad de Sevilla, Dpto. de Diseño de Circuitos Análogicos, Centro Nacional de Microelectrónica, 41012 Sevilla, Spain

  • Venue:
  • EURO-DAC '90 Proceedings of the conference on European design automation
  • Year:
  • 1990

Quantified Score

Hi-index 0.00

Visualization

Abstract

A new method for the state reduction of incompletely specified Finite Sequential Machines is proposed. Fundamental theorem of minimization theory states that, given an incomplete state table, another state table specifying the same external behavior corresponds to each closed set of compatibility classes which covers all internal states of the given table. The new heuristic algorithm builds up a closed cover for a given state table selecting maximal compatibles (MCs) one by one until both covering and closure requirements are satisfied. Near-minimal solutions are so incrementally generated. The process is dynamic as the consequences of adding a particular MC are precisely determine. The new algorithm is designed for speed and has proven to be extremely valuable in situations where fast but good optimization is required. The algorithm has been programmed and results on a wide set of machines shown.