Synthesis for logical initializability of synchronous finite-state machines.

Montek Singh Steven M. Nowick

Published in: IEEE Trans. Very Large Scale Integr. Syst. (2000)

Keyphrases

finite state machines
model checking
functional decomposition
finite state automata
regular expressions
program synthesis
hidden markov models
digital circuits
mutation testing
neural network
asynchronous communication
data mining
video sequences
data management
functional programs