Parameter Configuration Workflow

If you place a constraint on a parameter in your model, during analysis that parameter takes only your specified constraint value or values. A group of constraints on parameters in the same model is also called a parameter configuration.

This section provides:

• Ways to Configure Parameter Configuration: Different ways in which you can specify parameter configuration during analysis.

• Specify Parameter Constraints for Models Using Referenced Configuration Set: How you can specify parameter configuration when model uses reference configuration set.

Ways to Configure Parameter Configuration

To enable parameter configuration, on the Design Verifier tab, in the Prepare section, from the drop-down menu for the mode settings, click Settings. In the Configuration Parameters dialog box, on the Design Verifier > Parameters and Variants pane.

Simulink^® Design Verifier™ provides the following workflows to specify parameter configuration:

Parameter Configuration Workflows

Parameter Configuration	How to Select Parameters Constraints?
Treat all parameters as constants	Retains the initial value for all parameters during the analysis. Thus, analysis considers all parameters as constants.
Automatically infer parameter specification	For each parameter, the minimum or maximum value configured in Simulink.Parameter object is used as the parameter configuration for analysis. When test generation target is Model, Simulink Design Verifier selects as many parameters as possible for parameter configuration. When test generation target is Code Generated as Top Model or Code Generated as Model Reference, parameters whose value can be changed in the generated code are selected for parameter configuration. Automatically Infer Parameter Specification for Analysis
Determine from generated code	Parameters whose value can be changed in the generated code are selected for parameter configuration during the analysis. For such parameters, the minimum or maximum value from Simulink.Parameter object is used as the parameter configuration for analysis. Determine Parameters from Generated Code
Use parameter table	Parameters and constraints in the parameter table must be specified. Use Parameter Table to Find Constraints
Use parameter configuration files	Parameters and constraints in the input file must be specified. Set Parameters Using Parameter Configuration File

Specify Parameter Constraints for Models Using Referenced Configuration Set

If your model uses reference configuration set, you can use Override capability to specify parameter constraints. Before you work with parameter table in a referenced configuration set, follow these steps:

1. Open the model.

2. On the Design Verifier tab, click Settings to open the Configuration parameters window. The Configuration parameters window shows the Configuration reference for the model.

3. Click on Parameters and Variants from Design Verifier pane.

4. To edit and save the constraints locally, right-click on the Parameters configuration and select Override.

   

5. Similarly, override the values in Parameter table. Right-click in the Parameter table area and select Override and specify the values for the model by clicking on Find parameters.

   

6. The Parameter table area highlights the override settings for the model.

You can perform the analysis after specifying the values for the parameter table. For more information on how to specify constraint values, see Use Parameter Table to Find Constraints.