Symbolic hazard-free minimization and encoding of asynchronous finite state machines.

Robert M. Fuhrer Bill Lin Steven M. Nowick

Published in: ICCAD (1995)

Keyphrases

finite state machines
state transition
model checking
finite state automata
state machine
regular expressions
objective function
data model
hidden markov models
encoding scheme
fractal image compression
asynchronous communication
databases
symbolic representation
digital circuits
online discussion
high level