Simulated Annealing Based Parallel State Assignment of Finite State Machines.

Gagan Hasteer Prithviraj Banerjee

Published in: VLSI Design (1997)

Keyphrases

finite state machines
simulated annealing
model checking
state transition
finite state automata
cellular automaton
regular expressions
genetic algorithm
database
databases
hidden markov models
domain knowledge
tabu search
digital circuits