OPTIMISTA: state minimization of asynchronous FSMs for optimum output logic.

Robert M. Fuhrer Steven M. Nowick

Published in: ICCAD (1999)

Keyphrases

finite state machines
asynchronous circuits
delay insensitive
real time
information retrieval
database
databases
image processing
objective function
multi objective
expressive power
state transition