Finite State Machine Decomposition by Transition Pairing.

James H. Kukula Srinivas Devadas

Published in: ICCAD (1991)

Keyphrases

finite state machines
state transition
model checking
state machine
functional decomposition
finite state automata
hidden markov models
digital circuits
regular expressions
decomposition method
databases
data model
keywords
wavelet packet
cellular automaton