source: vis_dev/vis-2.3/share/help/simulateCmd.txt @ 26

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

vis2.3
File size: 4.9 KB
RevLine 
[14]1
2  simulate - simulate the flattened network
3     _________________________________________________________________
4
5   simulate [ -I <0/1> ] [ -O <0/1> ] [ -P <0/1> ] [ -S <0/1> ] [ -h ] [ -i
6   <vectors_file> ] [ -n <vectors_number> ] [ -o <output_file> ] [ -p <0|1> ] [
7   -v ]
8
9   Simulates  a  network with a set of input vectors. Before calling this
10   command,  the  user  should  create  a  partition  (using  the command
11   build_partition_mdds). The simulation vectors can be provided by the user
12   (using -i vectors_file), or generated randomly.
13
14   Command options:
15
16   -I <0/1>
17          This option controls the printing the primary input variables. 0
18          implies printing is disabled, enabled otherwise. The default value is
19          1. The output file generated with this flag set to 0 may not be used
20          as input file for simulation (if there are some primary inputs to the
21          system).
22
23   -O <0/1>
24          This option controls the printing the primary output variables. 0
25          implies printing is disabled, enabled otherwise. The default value is
26          1.
27
28   -P <0/1>
29          This option controls the printing the pseudo input variables. 0
30          implies printing is disabled, enabled otherwise. The default value is
31          1. The output file generated with this flag set to 0 may not be used
32          as input file for simulation (if there are some pseudo-inputs to the
33          system).
34
35   -S <0/1>
36          This option controls the printing the state variables. 0 implies
37          printing is disabled, enabled otherwise. The default value is 1.
38
39   -h
40          Print a help message that details all options.
41
42   -i <vectors_file>
43          Give the simulation vector file name. If this option is not used,
44          vectors are generated randomly.
45
46   -n <N>
47          Simulate N vectors. This option should be used if vectors_file is not
48          specified. If a vectors_file is given, and if there are more than N
49          vectors in the file, only the first N vectors are simulated.
50
51   -o <output_file>
52          Give  the  name of a file where the simulation result should be
53          written.  If  this option is not used, the simulation result is
54          directed to standard output.
55
56   -p <0|1|2>
57          This option is available only with random vector generation mode, and
58          affects how values for pseudo-inputs (non-deterministic constants)
59          are generated. 0: pseudo-inputs are treated by user. 1: pseudo-inputs
60          are treated randomly. 2: pseudo-inputs are treated by choosing the
61          first possibility.
62
63   -v
64          Enable verbose mode. Prints CPU time usage.
65
66   The vectors_file has two main parts:
67
68   Declarations:
69
70        Inputs list:
71                Gives an ordering of the primary and pseudo inputs. Every input
72                must be reported in this field.
73
74        Latches list:
75                Gives an ordering of the latches. Every latch must be reported
76                in this field.
77
78        Outputs list:
79                Gives an ordering of the outputs. This list may be incomplete.
80                Simulation is performed only on outputs present in this list.
81
82        Initial state:
83                Value of an initial state. This value is given with respect to
84                the latch ordering.
85
86   Simulation Vectors:
87          One vector per line according to the given order of inputs.
88
89   Final State:
90          Prints the value of state variables after the last simulation vector
91          is applied.
92
93   An example of a simulation vectors file is:
94   # ----> Declarations
95       .inputs X1 X2
96       .latches L1 L2
97       .outputs O
98       .initial green 0
99       .start_vectors
100       # ----> Vectors
101       0 1
102       1 0
103       1 1
104
105   Note the keywords: .inputs, .latches, .outputs, .initial, .start_vectors. A
106   line started by a '#' is a comment line.
107
108   The simulation result is printed either in a file (using -o output_file) or
109   to standard output. It has the same format as vectors_file with additional
110   fields for latches and outputs. Here is the result of simulation on last
111   vectors_file example:
112   .inputs X1 X2
113       .latches L1 L2
114       .outputs O
115       .initial green 0
116       .start_vectors
117       #input; current_state; output
118       0 1 ; green 0 ; 0
119       1 0 ; blue 0 ; 1
120       1 1 ; red 1 ; 1
121       #Final State : green 1
122
123   Note that each input line has been extended by its simulation result with
124   current states and outputs listed in order. The output_file can be read by
125   simulate as vectors_file (latches and outputs values are ignored). When
126   starting simulation a good trick is to run simulate with random vectors
127   generation  mode;  the  resulting can be used as a template to write a
128   vectors_file. For example, executing "simulate -n 1 -o foo.output" will
129   generate a representative file.
130     _________________________________________________________________
131
132   Last updated on 20100410 00h02
Note: See TracBrowser for help on using the repository browser.