Sciweavers

Share
DAC
1994
ACM

A Fully Implicit Algorithm for Exact State Minimization

9 years 5 months ago
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.
Timothy Kam, Tiziano Villa, Robert K. Brayton, Alb
Added 09 Aug 2010
Updated 09 Aug 2010
Type Conference
Year 1994
Where DAC
Authors Timothy Kam, Tiziano Villa, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli
Comments (0)
books