Supported and Unsupported Simulink Blocks in Simulink Design Verifier
Simulink® Design Verifier™ provides various levels of support for Simulink blocks:
Fully supported
Partially supported
Not supported
If your model contains unsupported blocks, you can enable automatic stubbing. Automatic stubbing considers the interface of the unsupported blocks, but not their behavior. If any of the unsupported blocks affect the simulation outcome, however, the analysis might achieve only partial results. For details about automatic stubbing, see Handle Incompatibilities with Automatic Stubbing.
To achieve 100% coverage, avoid using unsupported blocks in models that you analyze. Similarly, for partially supported blocks, specify only the block parameters that Simulink Design Verifier recognizes.
The following tables summarize Simulink Design Verifier analysis support for Simulink blocks. Each table lists the blocks in a Simulink library and 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 and not stubbable |
| Integrator Limited | Not supported and not stubbable |
| PID Controller | Not supported |
| PID Controller (2 DOF) | Not supported |
| Second Order Integrator | Not supported and not stubbable |
| Second Order Integrator Limited | Not supported and not stubbable |
| State-Space | Not supported and not stubbable |
| Transfer Fcn | Not supported and not stubbable |
| Transport Delay | Not supported |
| Variable Time Delay | Not supported |
| Variable Transport Delay | Not supported |
| Zero-Pole | Not supported and not stubbable |
| Block | Support Notes |
|---|---|
| Delay | Supported |
| Difference | Supported |
| Discrete Derivative | Supported |
| Discrete Filter | Supported |
| Discrete FIR Filter | Supported |
| Discrete PID Controller | Supported |
| Discrete PID Controller (2 DOF) | 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
|
| Lookup Table Dynamic | Supported |
| Prelookup | Not supported when output is an array of buses |
| 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 |
| 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 | Not 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. |
| 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 |
| Configurable 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. Not supported when the Function-Call Subsystem is invoked using function-call triggers passed via root-level Inport blocks. For more information see, Export-Function Models Overview. |
| 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. |
| 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 | Not supported when the Generate preprocessor conditionals parameter is enabled. Only the active variant is analyzed. |
| While Iterator Subsystem | Supported |
| Block | Support Notes |
|---|---|
| Bus Assignment | Supported |
| Bus Creator | Supported |
| Bus Selector | Supported |
| Data Store Memory | Supported |
| 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 and not stubbable |
| Terminator | Supported |
| To File | Supported |
| To Workspace | Supported |
| XY Graph | Supported |
| Block | Support Notes |
|---|---|
| Band-Limited White Noise | Not supported |
| Chirp Signal | Not supported |
| Clock | Supported |
| Constant | Supported unless Constant value is inf. |
| 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 and not stubbable |
| Repeating Sequence | Not supported |
| Repeating Sequence Interpolated | Not supported |
| Repeating Sequence Stair | Supported |
| Signal Builder | Not supported |
| Signal Editor | Not supported |
| Signal Generator | Not supported |
| Sine Wave | Not supported |
| Step | Supported |
| Uniform Random Number | Not supported and not stubbable |
User-Defined Functions Library
| Block | Support Notes |
|---|---|
| Initialize Function | Not supported |
| Interpreted MATLAB Function | Not supported |
| Level-2 MATLAB S-Function | For limitations, see Support Limitations and Considerations for S-Functions and C/C++ Code. |
| MATLAB Function | For limitations, see Support Limitations for MATLAB for Code Generation. |
| MATLAB System |
|
| Reset Function | Not supported |
| S-Function Builder | For limitations, see Support Limitations and Considerations for S-Functions and C/C++ Code. |
| Terminate Function | Not supported |