Decomposition and factorization of sequential finite state machines.
Srinivas DevadasA. Richard NewtonPublished in: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. (1989)
Keyphrases
- finite state machines
- finite state automata
- model checking
- regular expressions
- functional decomposition
- hidden markov models
- database systems
- mutation testing
- pairwise
- matrix factorization
- decomposition algorithm
- decomposition methods
- digital circuits
- data warehouse
- non rigid structure from motion
- database
- kronecker product