mvsis>
simplify
matmul: 12 nodes,
4 POs, 56 cubes(sop), 96 lits(sop), 96 lits(fact.)
mvsis>
mvsis>
reset_default
matmul: 12 nodes,
4 POs, 56 cubes(sop), 96 lits(sop), 96 lits(fact.)
mvsis>
mvsis>
fullsimp
matmul: 12 nodes,
4 POs, 56 cubes(sop), 96 lits(sop), 96 lits(fact.)
mvsis>