[cadntws11:/home/wjiang/mvsis/examples/bob]
mvsis
UC
Berkeley, MVSIS
mvsis>
help
alias chng_name collapse
decomp delete echo
elim_part eliminate encode
extract_seq_dc factor fullsimp
fx gen_vec help
history merge pair_decode
print print_altname print_factor
print_io print_level print_part_value
print_range print_stats print_value
qcheck quit read_blif
read_blifmv reset_default reset_name
resub runtime set
simplify simulate source
sweep unalias undo
unset usage validate
write_blifmv
mvsis>
mvsis>
read_blifmv matmul-c
mvsis>
mvsis>
chng_name
changing
to short-name mode
mvsis>
print_stats
matmul: 4 nodes,
4 POs, 128 cubes(sop), 480 lits(sop)
mvsis>