Login / Signup

CPLD-oriented Synthesis of Finite State Machines.

Robert CzerwinskiDariusz Kania
Published in: DSD (2009)
Keyphrases
  • finite state machines
  • model checking
  • finite state automata
  • functional decomposition
  • regular expressions
  • programmable logic
  • digital circuits
  • program synthesis
  • relational databases
  • hidden markov models