Distance driven finite state machine traversal.

Andreas Hett Christoph Scholl Bernd Becker

Published in: DAC (2000)

Keyphrases

finite state machines
state machine
model checking
finite state automata
state transition
distance measure
data driven
euclidean distance
digital circuits
distance function
integrity constraints
regular expressions
cellular automaton