mvsis>
read_blifmv red-add.mv
red_adder: 3 nodes,
3 POs, 48 cubes(sop), 240 lits(sop), 69 lits(fact.)
mvsis>
mvsis>
help encode
Feb 16, 2001
MVSIS(1)
encode [-i] [-n] [-s]
Encode the whole network into a binary
one, considering both output
and input constraints. For sequential
networks, a latch is encoded
with constraints generated from both its
inputs and outputs
-i
keep primary inputs and outputs as multi-valued; add interface
nodes between the internal encoded
binary network and PI/POs.
This option allows validation of the
result.
-n
use natural code
-s
use NO_COMP rather than ESPRESSO as the intermediate minimization
method. The difference is only in
performance. Ordinary users
should not be concerned with this
option.
red_adder: 3 nodes,
3 POs, 48 cubes(sop), 240 lits(sop), 69 lits(fact.)
mvsis>
mvsis>
encode -n
red_adder: 3 nodes,
3 POs, 1251 cubes(sop), 9432 lits(sop), 577 lits(fact.)
mvsis>