mvsis> validate -m mdd matmul-c
Networks are combinationally equivalent according to MDD method.
matmul:
12 nodes,
4 POs,
56 cubes(sop),
96 lits(sop),
96 lits(fact.)
mvsis>