Sign in
Multilevel Synthesis of Finite State Machines Based on Symbolic Functional Decomposition.
Mariusz Rawski
Henry Selvaraj
Tadeusz Luba
Piotr Szotkowski
Published in:
Int. J. Comput. Intell. Appl. (2006)
Keyphrases
</>
functional decomposition
finite state machines
digital circuits
state transition
model checking
finite state automata
hidden markov models
high level
metadata
low cost
regular expressions
logic circuits