Other Commands
*Network manipulations
nmvsis> eliminate
nmvsis> collapse
nmvsis> sweep
*IO interface
nmvsis> read(write)_blifmv
nmvsis> read(write)_blif
*Verification
nmvsis> validate -n # (uses    simulation)
nmvsis> verify
nmvsis> gen_vec
nmvsis> simulate
nmvsis> qcheck (quick check for ND network)
*Printing
§mvsis> print
§mvsis> print_stats
§mvsis> print_factor
§mvsis> print_range
§mvsis> print_io
§mvsis> print_value
*Sequential
§mvsis> extract_seq_dc
*
Define: non-determinism is the specification allows the same input minterm to produce different values at the primary output.
Define: don’t care is a minterm that is not specified and the output is allowed to produce any value.
Value of a part/node: the cost associated with this part/node, if eliminated, the cost being literal count or cube count.