Simulink® Design Verifier™ software can treat parameters in your model as variables during its analysis. For example, suppose you specify a variable that is defined in the MATLAB® workspace as the value of a block parameter in your model. You can instruct Simulink Design Verifier to use additional values for that parameter in its analysis.
This allows you to, for example:
Extend the results of design error detection or property proving analysis to consider the impact of additional parameter values.
Generate comprehensive test cases for situations in which parameter values must vary to achieve more complete coverage results. For more information, see Specify Parameter Constraint Values for Full Coverage.
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.
Use the Parameter Table to manage constraints on your model parameters for analysis. In the Parameter Table, you can:
Autogenerate value ranges for parameters in your model. See Autogenerate Parameter Constraint.
Enter your own value ranges for parameters in your model. See Define Constraint Values for Parameters.
Highlight objects in your model that have parameters configured to act as variables during analysis. See Highlight Constrained Parameters in Model.
Import and export parameter configurations from MATLAB code files. See Store Parameter Constraints in MATLAB Code Files.
Consider the following issues related to data types when constraining parameter values:
If the data type of a parameter in the MATLAB workspace is struct, Simulink
Design Verifier does not support generating values for that parameter during the
analysis.
If your model references a base workspace parameter whose data type is
auto, single, or
double, and the model converts that parameter to a
fixed-point data type, you must define the constraints for that parameter
according to its fixed-point type.
Simulink.Parameter and Referenced by Multiple LocationsFor a parameter defined as Simulink.Parameter or an
inherited class of Simulink.Parameter whose data type is
auto, if the parameter is referenced by multiple
locations with different data types, Simulink
Design Verifier cannot generate values for that parameter during the
analysis.
If the data type of a parameter in the MATLAB workspace is complex, Simulink Design Verifier does not support generating values for that parameter during the analysis.
Parameters can be used to select variants in Variant Subsystem blocks. These parameters are listed in the Parameter Table. However, Simulink Design Verifier only supports analyzing the active variant.