Supported and Unsupported Simulink Blocks in Simulink Design Verifier
Simulink® Design Verifier™ provides various levels of support for the Simulink blocks:
Supported
Not supported
In order to improve the scalability of the analysis, automatic stubbing conservatively abstracts the block behavior. As a result, the analysis may not successfully analyze all the objectives. For more details about automatic stubbing, see Handle Incompatibilities with Automatic Stubbing.
The following tables summarize Simulink Design Verifier analysis support for Simulink blocks. Each table lists the blocks in a Simulink library and also describes support information for that particular block.
Additional Math and Discrete Library
The Commonly Used Blocks library includes blocks from other libraries. Those blocks are listed under their respective libraries.
Block | Support Notes |
---|---|
Derivative | Not supported |
Integrator | Not supported |
Integrator Limited | Not supported |
PID Controller | Not supported |
PID Controller (2DOF) | Not supported |
Second-Order Integrator | Not supported |
Second-Order Integrator Limited | Not supported |
State-Space | Not supported |
Transfer Fcn | Not supported |
Transport Delay | Not supported |
Variable Time Delay | Not supported |
Variable Transport Delay | Not supported |
Zero-Pole | Not supported |
Block | Support Notes |
---|---|
Delay | Supported |
Difference | Supported |
Discrete Derivative | Supported |
Discrete Filter | Supported |
Discrete FIR Filter | Supported |
Discrete PID Controller | Supported |
Discrete PID Controller (2DOF) | Supported |
Discrete State-Space | Not supported |
Discrete Transfer Fcn | Supported |
Discrete Zero-Pole | Not supported |
Discrete-Time Integrator | Supported |
Memory | Supported |
Tapped Delay | Supported |
Transfer Fcn First Order | Supported |
Transfer Fcn Lead or Lag | Supported |
Transfer Fcn Real Zero | Supported |
Unit Delay | Supported |
Zero-Order Hold | Supported |
Logic and Bit Operations Library
Block | Support Notes |
---|---|
Cosine | Supported |
Direct Lookup Table (n-D) | Supported |
Interpolation Using Prelookup | Not supported when:
or
|
1-D Lookup Table | Not supported when the Interpolation method or the
Extrapolation method parameter is
|
2-D Lookup Table | Not supported when the Interpolation method or the
Extrapolation method parameter is
|
n-D Lookup Table | Not supported when:
or
Not supported when the Interpolation
method or the Extrapolation
method parameter is |
Lookup Table Dynamic | Supported |
Prelookup | Supported |
Sine | Supported |
Block | Support Notes |
---|---|
Abs | Supported |
Add | Supported |
Algebraic Constraint | Supported |
Assignment | Supported |
Bias | Supported |
Complex to Magnitude-Angle | Supported |
Complex to Real-Imag | Supported |
Divide | Supported |
Dot Product | Supported |
Find Nonzero Elements | Not supported |
Gain | Supported |
Magnitude-Angle to Complex | Supported |
Math Function | Supported. Support for pow function is limited to integer exponents
only. |
Matrix Concatenate | Supported |
MinMax | Supported |
MinMax Running Resettable | Supported |
Permute Dimensions | Supported |
Polynomial | Supported |
Product | Supported |
Product of Elements | Supported |
Real-Imag to Complex | Supported |
Reciprocal Sqrt | Not supported |
Reshape | Supported |
Rounding Function | Supported |
Sign | Supported |
Signed Sqrt | Not supported |
Sine Wave Function | Not supported |
Slider Gain | Supported |
Sqrt | Supported |
Squeeze | Supported |
Subtract | Supported |
Sum | Supported |
Sum of Elements | Supported |
Trigonometric Function | Supported if Function is sin ,
cos , or
sincos , and Approximation
method is CORDIC . Partially
supported otherwise.
|
Unary Minus | Supported |
Vector Concatenate | Supported |
Weighted Sample Time Math | Supported |
Block | Support Notes |
---|---|
Block Support Table | Supported |
DocBlock | Supported |
Model Info | Supported |
Timed-Based Linearization | Not supported |
Trigger-Based Linearization | Not supported |
Block | Support Notes |
---|---|
Atomic Subsystem | Supported |
Code Reuse Subsystem | Supported |
Enable | Supported |
Enabled Subsystem | Design range checks do not consider specified minimum and maximum values for blocks connected to the output port of the subsystem. For more information on design range checks, see Check for Specified Minimum and Maximum Value Violations. Simulink Design Verifier treats Enabled Subsystems as short-circuited during test generation. |
Enabled and Triggered Subsystem | Not supported when the trigger control signal specifies a fixed-point data type. Design range checks do not consider specified minimum and maximum values for blocks connected to the output port of the subsystem. For more information on design range checks, see Check for Specified Minimum and Maximum Value Violations. Simulink Design Verifier treats Enabled and Triggered Subsystems as short-circuited during test generation. |
For Each | Supported with the following limitations:
|
For Each Subsystem | Supported with the following limitations:
|
For Iterator Subsystem | Supported |
Function-Call Feedback Latch | Supported |
Function-Call Generator | Supported |
Function-Call Split | Supported |
Function-Call Subsystem | Design range checks do not consider specified minimum and maximum values for blocks connected to the output port of the subsystem. For more information on design range checks, see Check for Specified Minimum and Maximum Value Violations. |
Function Element | Not supported |
Function Element Call | Not supported |
If | Parameter configurations are not supported. The analysis ignores parameter configurations that you specify for an If block. |
If Action Subsystem | Supported |
In Bus Element | Supported |
Inport | Supported |
Model | Supported except for the limitations described in Support Limitations for Model Blocks. |
Message Polling Subsystem | Not supported |
Message Triggered Subsystem | Not supported |
Out Bus Element | Supported |
Outport | Supported |
Resettable Subsystem | Supported |
Subsystem | Supported |
Variant Transitions in Stateflow (Stateflow) | Supported Only the active variant is analyzed. |
Switch Case | Supported |
Switch Case Action Subsystem | Supported |
Trigger | Supported |
Triggered Subsystem | Not supported when the trigger control signal specifies a fixed-point data type. Design range checks do not consider specified minimum and maximum values for blocks connected to the output port of the subsystem. For more information on design range checks, see Check for Specified Minimum and Maximum Value Violations. Simulink Design Verifier treats Enabled Subsystems as short-circuited during test generation. |
Variant Subsystem | Simulink
Design Verifier analyzes all variant choices when Variant
activation time is set to |
While Iterator Subsystem | Supported |
Block | Support Notes |
---|---|
Bus Assignment | Supported |
Bus Creator | Supported |
Bus Selector | Supported |
Data Store Memory | Not supported when Data Store Memory block is used to define a reference to a Data Store Memory block in a higher level in the model hierarchy |
Data Store Read | Supported |
Data Store Write | Supported |
Demux | Supported |
Environment Controller | Supported |
From | Supported |
Goto | Supported |
Goto Tag Visibility | Supported |
Index Vector | Supported |
Manual Switch | The Manual Switch block is compatible with the software, but the analysis ignores this block in a model. The analysis does not flag the coverage objectives for this block as satisfiable or unsatisfiable. Model coverage data is collected for the Manual Switch block. |
Merge | Supported |
Multiport Switch | Supported |
Mux | Supported |
Selector | Supported |
Switch | Supported |
Vector Concatenate | Supported |
Block | Support Notes |
---|---|
Display | Supported |
Floating Scope | Supported |
Outport (Out1) | Supported |
Out Bus Element | Supported |
Scope | Supported |
Stop Simulation | Not supported |
Terminator | Supported |
To File | Supported |
To Workspace | Supported |
Block | Support Notes |
---|---|
Band-Limited White Noise | Not supported |
Chirp Signal | Not supported |
Clock | Supported |
Constant | Supported unless Constant value is inf or
nan (in which case, it is not
supported). |
Counter Free-Running | Supported |
Counter Limited | Supported |
Digital Clock | Supported |
Enumerated Constant | Supported |
From File | Not supported. When MAT-file data is stored in MATLAB®
|
From Workspace | Not supported |
Ground | Supported |
Inport (In1) | Supported |
In Bus Element | Supported if Simulink.Bus type is defined for the
In Bus Element. |
Pulse Generator | Supported |
Ramp | Supported |
Random Number | Not supported |
Repeating Sequence | Not supported |
Repeating Sequence Interpolated | Not supported |
Repeating Sequence Stair | Supported |
Signal Editor | Not supported |
Signal Generator | Not supported if wave form is sine . Supported if wave form is
square . Not supported if wave form is
random . |
Sine Wave | Not supported |
Step | Supported |
Uniform Random Number | Not supported |
User-Defined Functions Library
Block | Support Notes |
---|---|
C Function | Not supported. The C Function block is stubbed out during the Simulink Design Verifier analysis. |
C Caller | Supported. |
Initialize Function |
|
Interpreted MATLAB Function | Not supported |
Level-2 MATLAB S-Function | Not supported. |
MATLAB Function | For limitations, see Support Limitations for MATLAB for Code Generation. |
MATLAB System |
Logical expressions within assignment statements are not analyzed for coverage objectives. |
Reset Function | Supported when harness is provided. |
Reinitialize Function | Supported when harness is provided. |
S-Function Builder | For limitations, see Support Limitations and Considerations for S-Functions and C/C++ Code. |
Simulink Function |
|
Terminate Function | Not supported.
|
Observer Reference (Simulink Test) | Supported with limitations. See Isolate Verification Logic with Observers. |
MATLAB Command
You clicked a link that corresponds to this MATLAB command:
Run the command by entering it in the MATLAB Command Window. Web browsers do not support MATLAB commands.
Select a Web Site
Choose a web site to get translated content where available and see local events and offers. Based on your location, we recommend that you select: .
You can also select a web site from the following list:
How to Get Best Site Performance
Select the China site (in Chinese or English) for best site performance. Other MathWorks country sites are not optimized for visits from your location.
Americas
- América Latina (Español)
- Canada (English)
- United States (English)
Europe
- Belgium (English)
- Denmark (English)
- Deutschland (Deutsch)
- España (Español)
- Finland (English)
- France (Français)
- Ireland (English)
- Italia (Italiano)
- Luxembourg (English)
- Netherlands (English)
- Norway (English)
- Österreich (Deutsch)
- Portugal (English)
- Sweden (English)
- Switzerland
- United Kingdom (English)