Main Content

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

 Commonly Used Blocks Library

 Continuous Library

 Discontinuities Library

 Discrete Library

 Logic and Bit Operations Library

 Lookup Tables Library

 Math Operations Library

 Model Verification Library

 Model-Wide Utilities Library

 Ports & Subsystems Library

 Signal Attributes Library

 Signal Routing Library

 Sinks Library

 Sources Library

 User-Defined Functions Library