Node Simplification
Using non-determinism
nDerive Complete Flexibility at a node (an ND relation)
nMinimize ND relation
wEspresso
wISOP
wQM
nAutomatically finds best default
nUses 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.