Don't cares in logic minimization of extended finite state machines.

Yunjian Jiang Robert K. Brayton

Published in: ASP-DAC (2003)

Keyphrases

finite state machines
state machine
digital circuits
model checking
finite state automata
modal logic
regular expressions
monadic second order logic
databases
automated reasoning
black box
expressive power
convex functions
relational databases
data analysis
database systems
proof theory
knowledge base