Detailed analysis of implementation options for timed finite state machines in hardware.

Volnei A. Pedroni

Published in: MWSCAS (2014)

Keyphrases

finite state machines
model checking
low cost
real time
knowledge base
database
data analysis
statistical analysis
hardware and software
hardware architecture
digital circuits
vlsi implementation
finite state automata
graphics cards