Login / Signup
Optimum and heuristic algorithms for an approach to finite state machine decomposition.
Pranav Ashar
Srinivas Devadas
A. Richard Newton
Published in:
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. (1991)
Keyphrases
</>
finite state machines
model checking
finite state automata
state machine
functional decomposition
hidden markov models
digital circuits
decomposition method
global optimum
state transition
image decomposition
functional units