Synthesis of finite state machines for CPLDs.

Robert Czerwinski Dariusz Kania

Published in: Int. J. Appl. Math. Comput. Sci. (2009)

Keyphrases

finite state machines
model checking
functional decomposition
finite state automata
regular expressions
state transition
texture synthesis
hidden markov models
pattern matching
program synthesis
knowledge base
relational databases
domain knowledge
digital circuits