[cadntws11:/home/wjiang/mvsis/examples/bob]
mvsis
UC
Berkeley, MVSIS
mvsis>
mvsis>
read_blifmv red-add.mv
mvsis>
mvsis>
chng_name
changing
to short-name mode
mvsis>
mvsis>
print_io
primary
inputs: a b c d e
primary
outputs: {f} {g} {h}
mvsis>
mvsis>
set autoexec pfs
red_adder: 3 nodes,
3 POs, 48 cubes(sop), 240 lits(sop), 69 lits(fact.)
mvsis>
mvsis>
reset_default
red_adder: 3 nodes,
3 POs, 48 cubes(sop), 240 lits(sop), 69 lits(fact.)
mvsis>
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>