Don't Care Sequences and the Optimization of Interacting Finite State Machines.

June-Kyung Rho Gary D. Hachtel Fabio Somenzi

Published in: ICCAD (1991)

Keyphrases

finite state machines
hidden markov models
finite state automata
model checking
optimization algorithm
optimization method
constrained optimization
long term
database
optimization process
global optimization
neural network
knowledge base
object oriented
optimization problems
building blocks