Theory and algorithms for state minimization of nondeterministic FSM's

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems

Volumn 16, Issue 11, 1997, Pages 1311-1322

  Kam, Timothy ^a   Villa, Tiziano ^a   Brayton, Robert K ^a   Sangiovanni Vincentelli, Alberto L ^a  

^a INTEL CORPORATION   (United States)

Author keywords

Nondeterministic finite state machines; Permissible behaviors; State minimization

Indexed keywords

ALGORITHMS; COMPUTER AIDED DESIGN; DESIGN; MATHEMATICAL TECHNIQUES;

PERMISSIBLE BEHAVIORS; STATE MINIMIZATION;

FINITE AUTOMATA;

EID: 0031273122     PISSN: 02780070     EISSN: None     Source Type: Journal    
DOI: 10.1109/43.663820     Document Type: Article

References (12)

1. R. Bryant, "Graph based algorithm for Boolean function manipulation," in IEEE Trans. Comput., vol. C-35, pp. 667-691, Aug. 1986.
2. E. Cerny, "Verification of I/O trace set inclusion for a class of nondeterministic finite state machines," in Proc. Int. Conf. Comput. Design, Oct. 1992, pp. 526-530.
3. M. Damiani, "Nondeterministic finite-state machines and sequential don't cares," in European Conf. Design Automation, 1994, pp. 192-198.
4. A. Grasselli and F. Luccio, "A method for minimizing the number of internal states in incompletely specified sequential networks," IRE Trans. Electron. Comput., vol. EC-14, pp. 350-359, June 1965.
5. J. E. Hopcroft, "An n log n algorithm for minimizing states in a finite automaton," in Theory of Machines and Computations, Z. Kohavi and A. Paz, Eds. New York: Academic, 1971, pp. 189-196.
6. J. E. Hopcroft and J. D. Ullman, Introduction to Automata Theory, Languages, and Computation. Reading, MA: Addison-Wesley, 1979.
7. T. Kam, T. Villa, R. Brayton, and A. Sangiovanni-Vincentelli, "A fully implicit algorithm for exact state minimization," in Proc. Design Automation Conf., June 1994, pp. 684-690.
8. T. Kam, "State minimization of finite state machines using implicit techniques," Ph.D. dissertation, Electron. Res. Lab., Univ. California, Berkeley, May 1995, Memo. UCB/ERL M95/37.
9. B. Lin and A. R. Newton, "Implicit manipulation of equivalence classes using binary decision diagrams," in Proc. Int. Conf. Comput. Design, Sept. 1991, pp. 81-85.
10. J.-K. Rho, G. Hachtel, F. Somenzi, and R. Jacoby, "Exact and heuristic algorithms for the minimization of incompletely specified state ma-chines," IEEE Trans. Computer-Aided Design, vol. 13, pp. 167-177, Feb. 1994.
11. Y. Watanabe and R. K. Brayton, "State minimization of pseudo nondeterministic FSM's," in European Conf. Design Automation, Mar. 1994, pp. 184-191
12. Y. Watanabe, "Logic optimization of interacting components in syn-chronous digital systems," Ph.D. dissertation, Electron. Res. Lab., Univ. California. Berkeley, Apr. 1994, Tech. Rep. UCB/ERL M94/32.