Node Simplification
Multi-level (using don’t cares - inputs for which output can
be any value)
nCompatible observability don’t cares
(CODC)
(CODC)
nSatisfiability don’t cares (SDC)
nExternal don’t cares (XDC)
nGeneralization from binary case
Q1´Q2´...´Qr
image
i
Di
DCi
care set
P1´P2´...´Pn
mvsis> simplify
mvsis> fullsimp
mvsis> reset_default
Reference: Y. Jiang et. al. “Compatible Observable Don’t Cares for MV Logic, ICCAD’01