Main Content

Parameter Configuration

Overview of parameter configuration for Simulink® Design Verifier™ analysis

You can direct Simulink Design Verifier to consider additional values for model parameters during its analysis other than their defaults set in the base workspace or a data dictionary. This allows Simulink Design Verifier can handle parameters in your model as variables throughout the analysis process. A parameter configuration defines the range of permissible values for a parameter.

For example, consider a model that contains a Switch block with the default value set to 0, and its control port influenced by a calibration parameter value K. Different values of K influence whether the control port condition is reported as dead or active logic and impact test case parameter values. For more information, see Use Parameter Configuration in Analysis.

When you configure parameters depends on which workflow you use.

  • Configure parameters when you generate test cases for coverage - In this workflow, you vary the parameters after assessing whether the parameter values impact model coverage objectives.

    Flowchart to describe parameter configuration during test generation analysis.
  • Configure parameters during design error detection analysis - In this workflow you vary parameters after detecting design errors to check if any parameter values result in a run-time error in the logic that uses these values.

    Flowchart to describe parameter configuration during design error detection analysis.

Topics

Basics of Parameter Configuration

Example Workflows

Featured Examples