mvsis>
simplify
red_adder: 3 nodes,
3 POs, 15 cubes(sop), 44 lits(sop), 28 lits(fact.)
mvsis>
mvsis>
fullsimp
red_adder: 3 nodes,
3 POs, 15 cubes(sop), 44 lits(sop), 28 lits(fact.)
mvsis>
mvsis>
print_io
primary
inputs: i j k l m n o p q r s t u v
w
primary
outputs: {f} {g} {h}
red_adder: 3 nodes,
3 POs, 15 cubes(sop), 44 lits(sop), 28 lits(fact.)
mvsis>