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