State assignment and logic optimization for finite state machines.

Robert Czerwinski Dariusz Kania

Published in: PDeS (2009)

Keyphrases

finite state machines
state machine
digital circuits
model checking
hidden markov models
finite state automata
cellular automaton
global optimization
state transition
classical logic
state space
domain knowledge
modal logic
regular expressions
optimization algorithm
logic programming
video sequences