source: vis_dev/vis-2.3/share/help/build_partition_maigsCmd.txt @ 87

Last change on this file since 87 was 14, checked in by cecile, 13 years ago

vis2.3
File size: 853 bytes
Line 
1
2  build_partition_maigs - build a partition of MAIGs for the flattened network
3     _________________________________________________________________
4
5   build_partition_maigs [-h] [-d] [-n]
6
7   Build the multi-valued AND/INVERTER graph (MAIG) of a flattened network. It
8   builds  the  MAIG  for the combinational outputs (COs) in terms of the
9   combinational inputs (CIs). The pointer to this graph is stored in the
10   network to be used by other commands, such as bounded_model_check. This
11   command must be preceded by the commands flatten_hierarchy. This command
12   will remove any previous build to this graph.
13
14   Command options:
15
16   -n
17          Disable BDD sweeping.
18
19   -d
20          Build aig structure in depth first manner.
21            __________________________________________________________
22
23          Last updated on 20100410 00h02
Note: See TracBrowser for help on using the repository browser.