Experiments on the synthesis and testability of non-scan finite state machines.

Michael Pabst Tiziano Villa A. Richard Newton

Published in: EURO-DAC (1992)

Keyphrases

finite state machines
model checking
finite state automata
digital circuits
functional decomposition
program synthesis
hidden markov models
data sets
data model
regular expressions
database
databases
data mining
low level