mvsis>
fullsimp
matmul: 4 nodes,
4 POs, 96 cubes(sop), 320 lits(sop), 160 lits(fact.)
mvsis>
mvsis>
pair_decode 1
m{0}
= a{0}e{2} + e{0}
m{1}
= a{0}e{1}
m{3}
= a{1}e{2} + a{2}e{1}
n{0}
= a{0}f{2} + f{0}
n{1}
= a{0}f{1}
n{3}
= a{1}f{2} + a{2}f{1}
o{0}
= e{0}c{2} + c{0}
o{1}
= e{0}c{1}
o{3}
= e{1}c{2} + e{2}c{1}
p{0}
= f{0}c{2} + c{0}
p{1}
= f{0}c{1}
p{3}
= f{1}c{2} + f{2}c{1}
q{0}
= b{0}g{2} + g{0}
q{1}
= b{0}g{1}
q{3}
= b{1}g{2} + b{2}g{1}
r{0}
= b{0}h{2} + h{0}
r{1}
= b{0}h{1}
r{3}
= b{1}h{2} + b{2}h{1}
s{0}
= g{0}d{2} + d{0}
s{1}
= g{0}d{1}
s{3}
= g{1}d{2} + g{2}d{1}
t{0}
= h{0}d{2} + d{0}
t{1}
= h{0}d{1}
t{3}
= h{1}d{2} + h{2}d{1}
matmul: 12 nodes,
4 POs, 64 cubes(sop), 184 lits(sop), 160 lits(fact.)
mvsis>