Synthesis of Multiple-Input Change Asynchronous Finite state Machines.

Maureen Ladd William P. Birmingham

Published in: DAC (1991)

Keyphrases

domain knowledge
finite state machines
multiple input
model checking
finite state automata
multiple output
functional decomposition
digital circuits
state machine
hidden markov models
databases
regular expressions
discussion forums