Optimum and heuristic algorithms for finite state machine decomposition and partitioning.
Pranav AsharSrinivas DevadasA. Richard NewtonPublished in: ICCAD (1989)
Keyphrases
- finite state machines
- model checking
- finite state automata
- functional decomposition
- state machine
- digital circuits
- state transition
- decomposition method
- cellular automaton
- regular expressions
- image segmentation
- decomposition algorithm
- partitioning algorithm
- hidden markov models
- wavelet packet
- graph partitioning
- microarray
- functional units
- relational databases