Synthesis of High-Speed Finite State Machines in FPGAs by State Splitting.

Valery Salauyou

Published in: CISIM (2016)

Keyphrases

finite state machines
high speed
model checking
finite state automata
state transition
relational databases
digital circuits
state space
regular expressions
cellular automaton
database systems
video sequences
hidden markov models
hardware implementation
functional decomposition