Node Simplification
w
Using
non-determinism
n
Derive Complete Flexibility at a node (an
ND relation)
n
Minimize ND relation
w
Espresso
w
ISOP
w
QM
n
Automatically finds best default
n
Uses external specification (relation)
mvsis> complete_simplify -m [ISOP, ESP, QM]
Reference
: A. Mishchenko and R.
Brayton, “Simplification of Non-
Deterministic MV Networks”,
IWLS, June 2002.