Rev | Line | |
---|
[14] | 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.