Sign in
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