Recording a Simulation Session

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 a Go command.

When the phase limit is reached, the Simulation tool assumes an infinite loop and interrupts the execution of the Go command. At this point the SIM> prompt is displayed.

If the Go was performed by a batch program (SCP), the predefined SCL variable infinite_loop is set to true and Set Interactive is automatically started if there is no defined breakpoint triggered by infinite_loop.

Default value: 100

SCL command: Set Infinite loop number
Infinite Loop – For any WHILE 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 the GoBack 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 cause y to be updated before x.
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.