Set a Default Logic Solver

This topic describes how to set a default Logic Solver from among those linked to an SIL Analysis.

Note: You can set only one Logic Solver as default. If an analysis already has a default Logic Solver and you set another Logic Solver as default, then the latter one becomes the default Logic Solver.

When you create an Instrumented Function, the default Logic Solver is linked automatically to that Instrumented Function. You can, however, link a different Logic Solver to that Instrumented Function.

Steps

Access the SIL Analysis that is linked to the Logic Solver that you want to set as the default one.
In the left pane, select Logic Solvers.

A list of Logic Solvers appears.
Select the Logic Solver that you want to set as the default one.

The datasheet for the Logic Solver appears in the workspace.
In the upper-right corner of the datasheet, select Set as Default.

Note: If the selected Logic Solver is already set as default, then the Set as Default button does not appear.

The selected Logic Solver is set as the default one for the SIL Analysis.

Results

When you create an Instrumented Function for the SIL Analysis, the ID of the default Logic Solver is populated in the SIS System ID field on the Instrumented Function datasheet. You can, however, select a different logic solver from the Logic Solver list.