Synthesis of Testable Finite State Machine Through Decomposition.
Biplab K. SikdarArijit SarkarSamir RoyDebesh K. DasPublished in: Asian Test Symposium (2005)
Keyphrases
- finite state machines
- functional decomposition
- digital circuits
- model checking
- finite state automata
- boolean functions
- hidden markov models
- state transition
- program synthesis
- logic circuits
- regular expressions
- state machine
- decomposition algorithm
- random graphs
- decomposition methods
- cellular automaton
- wavelet packet
- databases