Finite state machine state assignment for area and power minimization.

Aiman H. El-Maleh Sadiq M. Sait F. Nawaz Khan

Published in: ISCAS (2006)

Keyphrases

finite state machines
model checking
finite state automata
databases
state machine
data sets
neural network
regular expressions
digital circuits
knowledge base
high level
state space
data management