source: vis_dev/vis-2.1/share/help/build_partition_maigsCmd.txt @ 14

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

Add vis
File size: 904 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
8   network.  It  builds  the  MAIG for the combinational outputs (COs) in
9   terms  of the combinational inputs (CIs). The pointer to this graph is
10   stored  in  the  network  to  be  used  by  other  commands,  such  as
11   bounded_model_check.  This  command  must  be preceded by the commands
12   flatten_hierarchy. This command will remove any previous build to this
13   graph.
14
15   Command options:
16
17   -n
18          Disable BDD sweeping.
19
20   -d
21          Build aig structure in depth first manner.
22            __________________________________________________________
23
24          Last updated on 20050519 10h16
Note: See TracBrowser for help on using the repository browser.