Login / Signup

Multilevel Synthesis of Finite State Machines Based on Symbolic Functional Decomposition.

Mariusz RawskiHenry SelvarajTadeusz LubaPiotr 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