Support Limitations for Simulink Software Features
Simulink® Design Verifier™ does not support the following Simulink software features. Avoid using these unsupported features.
The software supports only fixed-step solvers.
For more information, see Fixed Step Solvers in Simulink.
The software does not execute model callback functions during the analysis. The results that the analysis generates, such as the harness model, may behave inconsistently with the expected behavior.
Model callback functions
The software only supports model callback functions if
The software does not support models that contain algebraic loops.
For more information, see Algebraic Loop Concepts.
Masked subsystem initialization functions
The software does not support models whose masked subsystem initialization:
The software does not support variable-size signals. A variable-size signal is a signal whose size (number of elements in a dimension), in addition to its values, can change during model execution.
For more information, see Variable-Size Signal Basics.
Multiword fixed-point data types
The software does not support multiword fixed-point data types larger than 128 bits.
Nonzero start times
Although Simulink allows you to specify a nonzero simulation start time, the analysis generates signal data that begins only at zero. If your model specifies a nonzero start time:
The software does not support nonfinite data (for example,
In the Relational Operator block, the software assigns the output as follows:
In the MATLAB Function block, the software assigns the return value as follows:
The software does not support models that are configured for concurrent execution.
Signals with nonzero sample time offset
The software does not support models with signals that have nonzero sample time offsets.
Models with no output ports
The software only supports models that have one or more output ports. If a model contains test condition or test objective blocks and no output ports are present in the model, then nominal test cases will be generated.
Large floating-point constants outside the range
The use of large floating-point constants can cause out of memory errors or substantial loss of precision. Avoid using such constants if possible.
The software does not support symbolic dimensions for test generation, property proving, or design error detection.
Models that contain blocks with string data types as block parameters are not supported. For more information, see Simulink Strings.
|Parameter Tuning||The software does not support parameter tuning for the parameters that are defined in the Model Workspace.|
The software does not support models that contain MATLAB System
blocks that use