source: vis_dev/vis-2.3/share/help/write_orderCmd.txt @ 31

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

vis2.3
File size: 2.7 KB
Line 
1
2  write_order - write the current order of the MDD variables of the flattened
3  network
4     _________________________________________________________________
5
6   write_order [-h] [-o <type>] [<file>]
7
8   Write the current order of the MDD variables of the flattened network. If no
9   file name is specified, the output is written to stdout. A sample output is
10   shown here.
11  # name                 type            mddId vals levs
12  system.choosing0      primary-input       31    2 (61)
13  system.p0.pc          latch               32   11 (62, 63, 64, 65)
14 
15
16   The first column gives the full hierarchical path name of the node, starting
17   from the current hierarchical node. The second column gives the type of the
18   node in the flattened network (see the command print_network). The third
19   column gives the MDD id of the node; this can be thought of as just another
20   name for the node. The fourth column gives the number of values that the
21   multi-valued variable at the output of the node can assume. The last column
22   gives the levels of the BDD variables that encode the multi-valued variable
23   (0 is the topmost level of the BDD).
24
25   The bits of a multi-valued variable need not appear consecutively (due to
26   dynamic variable ordering). Each node appears at most once in the output
27   file. The nodes in the file appear in ascending order of the lowest level
28   bit in the encoding of the node's multi-valued variable (e.g. a node with
29   levels (12, 73) will appear before a node with levels (17, 21, 25)).
30
31   To specify a variable ordering for static_order, a convenient tactic is to
32   write out the current ordering, edit the file to rearrange the ordering (or
33   comment out some nodes, using "#"), and then read the file back in using
34   static_order. Note that everything after the first column is ignored when
35   the file is read in.
36
37   Command options:
38
39   -h
40          Print the command usage.
41
42   -o <type>
43          Specify  the network nodes to write out. Type can be one of the
44          following:
45
46          all: Write out all the nodes of the network. This option is allowed
47          only if all variables have been ordered.
48
49          input_and_latch: (default) Write out the primary inputs, pseudo
50          inputs, latches, and next state variables.
51
52          next_state_node: Write out the next state variables (node type is
53          "shadow"). This file can be modified and read back in using the
54          static_order -s next_state_node command.
55
56   <file>
57          File to which to write the ordering. By default, the ordering is
58          written to stdout.
59     _________________________________________________________________
60
61   Last updated on 20100410 00h02
Note: See TracBrowser for help on using the repository browser.