Generating finite state machines from SystemC.

Ali Habibi Haja Moinudeen Sofiène Tahar

Published in: DATE Designers' Forum (2006)

Keyphrases

finite state machines
model checking
finite state automata
hidden markov models
regular expressions
digital circuits
generation process
databases
natural language processing
domain specific