Micro-Coded Datapaths: Populating the Space Between Finite State Machine and Processor.

Chidamber Kulkarni Gordon J. Brebner

Published in: FPL (2006)

Keyphrases

finite state machines
model checking
space time
state machine
parallel processing
finite state automata
search space
relational databases
domain specific
low dimensional
state transition
functional decomposition