A Unified Approach for the Synthesis of Self-Testable Finite State Machines.

Bernhard Eschermann Hans-Joachim Wunderlich

Published in: DAC (1991)

Keyphrases

finite state machines
model checking
finite state automata
functional decomposition
regular expressions
state transition
digital circuits
program synthesis
knowledge base
database
databases
hidden markov models
texture synthesis
regular languages