mvsis> set autoexec pfs
matmul:  4 nodes,  4 POs,  128 cubes(sop),  480 lits(sop),  216 lits(fact.)
mvsis>
mvsis> print_range
{i}: 3
{j}: 3
{k}: 3
{l}: 3
a: 3
b: 3
c: 3
d: 3
e: 3
f: 3
g: 3
h: 3
matmul:  4 nodes,  4 POs,  128 cubes(sop),  480 lits(sop),  216 lits(fact.)
mvsis>
mvsis> print_io
primary inputs:   a b c d e f g h
primary outputs:  {i} {j} {k} {l}
mvsis>
mvsis> simplify
matmul:  4 nodes,  4 POs,  96 cubes(sop),  320 lits(sop),  160 lits(fact.)
mvsis>
mvsis> reset_default
matmul:  4 nodes,  4 POs,  96 cubes(sop),  320 lits(sop),  160 lits(fact.)
mvsis>