Login / Signup
Interface finite-state machines: definition, minimization, and decomposition.
Ajay J. Daga
William P. Birmingham
Published in:
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. (1997)
Keyphrases
</>
finite state machines
finite state automata
model checking
functional decomposition
regular expressions
hidden markov models
objective function
digital circuits
direct manipulation
query language
decomposition method
friendly interface
wavelet packet
pattern matching
decomposition methods