Recording a Simulation Session
Setting the Simulation Parameters
The Simulation tool is controlled by a number of user-specified parameters. These parameters are set from the Execution Parameters dialog box. This dialog box is accessed as follows:
Select Options > Execution Options from the Simulation Profile window menu bar.. The Execution Parameters dialog box opens.
A description of each selection on the Execution Parameters dialog box follows.
● Steps per Go – Sets the maximum number of steps that can be performed when executing aGo
command.
When the phase limit is reached, the Simulation tool assumes an infinite loop and interrupts the execution of theGo
command. At this point theSIM>
prompt is displayed.
If theGo
was performed by a batch program (SCP), the predefined SCL variableinfinite_loop
is set to true and Set Interactive is automatically started if there is no defined breakpoint triggered byinfinite_loop
.Default value: 100
SCL command: Set Infinite loop number
● Infinite Loop – For anyWHILE
loop executed in the simulation, Infinite Loop forces it to completion when the number of repetitions exceeds this parameter.Graphic procedures can have an infinite loop or a loop on a transition. This stops when the preset parameter is reached.
● Goback Limit – Determines the maximum number in succession theGoBack
command may be used.Default value: 5
SCL command: SET GO BACK number
● Racing Read/Write – Enables/disables the reporting of read/write racing conditions within/between Statecharts. Messages appear on the workstation terminal.
Default value: OFF
SCL command: none
In the following example, although a racing condition is reported, the language semantics would causey
to be updated beforex
.
● Racing Write/Write – Enables/disables the reporting of write/write racing conditions within/between Statecharts. The following messages appear on the workstation terminal.
Default value: OFF
SCL command: NONE
The value of x is unknown because we cannot determine if x gets 1 before or after x gets 2.
● Automatically Record New Trace Version – This feature causes a trace file to be recorded every time the Simulation profile is executed. For more information, refer to Tracing a Simulation later in this section.
● Automatically Record New SCP Version – This feature causes an SCP file to be recorded every time the Simulation profile is executed.