A Fully Implicit Algorithm for Exact State Minimization

State minimization of incompletely specifiedmachinesis an important step of FSM synthesis. An exact algorithm consists of generation of prime compatibles and solution of a binate covering problem. This paper presents an implicit algorithm for exact state minimization of FSM's. We describe how to do implicit prime computation and implicit binate covering. We show that we can handlesets of compatibles and prime compatibles of cardinality up to 21500 . We present the first published algorithm for fully implicit exact binate covering. We show that we can reduce and solve binate tables with up to 106 rows and columns. The entire branch-and-bound procedure is carried on implicitly. We indicate also where such examples arise in practice.

• Type: Conference
• Year: 1994
• Where: DAC
• Authors: Timothy Kam, Tiziano Villa, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli
• Keywords: Binate Covering, Computer Architecture, DAC 1994, Prime Compatibles, State Minimization