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 supports model callback functions only if the
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 supports test generation for models with bounded variable-size signals. For more information on how to generate test cases when input signals are of variable-size, see Achieve Coverage in Models with Variable-Size Inputs.
In addition, the following are the limitations for analysis:
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.
The software does not support models that contain MATLAB System
blocks that use
Block Execution Order
The software does not support models with blocks having