Simulink Design Verifier Limitations for MATLAB for Code Generation
Unsupported MATLAB for Code Generation Features
Simulink® Design Verifier™ does not support the following features of the MATLAB Function block in the Simulink software and MATLAB® functions in the Stateflow® software. Avoid using these unsupported features in models that you analyze with Simulink Design Verifier.
| Not Supported | Description |
|---|---|
Characters | The software does not support characters, which MATLAB for code generation allows. |
Extrinsic functions | The software supports extrinsic functions only when they do not affect the output of a MATLAB function. |
Support Limitations for MATLAB for Code Generation Library Functions
Simulink Design Verifier provides various levels of support for MATLAB for code generation library functions.
If your model contains unsupported functions, you can turn on automatic stubbing, which considers the interface of the unsupported functions, but not their behavior.
To achieve 100% coverage, avoid using unsupported MATLAB library functions in models that you analyze.
The following table lists Simulink Design Verifier support for categories of library functions in code generation from MATLAB:
Software supports functions in that category.
Software does not support functions in that category.
Software supports the function in that category with limitations as specified.
For the complete listing of available functions, see Functions and Objects Supported for C/C++ Code Generation.
| Function Category | Support Notes | |
|---|---|---|
| Aerospace Toolbox functions | Not supported. | |
| Arithmetic operator functions | Supported. | |
| Bit-wise operation functions | Supported | |
| Casting functions | Supported with following limitations: | |
char | Not supported. | |
typecast | Not supported. | |
| Communications Toolbox™ functions | Not supported. | |
| Complex number functions | Supported. | |
| Computer Vision Toolbox™ functions | Not supported. | |
| Data type functions | Supported | |
| Derivative and Integral functions | Not supported. | |
| Discrete math functions | Supported. | |
| Error handling functions | Supported with the following limitations: | |
assert | Supported, but does not behave like a Proof Objective block. | |
| Exponential functions | Supported. | |
| Filtering and convolution functions | Supported. | |
| Fixed-Point Designer™ functions | Supported. | |
| Histogram functions | Not supported. | |
| Image Processing Toolbox™ functions | Not supported. | |
| Input and output functions | Supported. | |
| Interpolation and computation geometry | Supported. | |
| Linear algebra | Not supported. | |
| Logical operator functions | Supported. | |
| MATLAB Compiler™ functions | Not supported. | |
| Matrix and array functions | Supported with the following limitations: | |
invhilb | Not supported. | |
| Nested functions | Supported. | |
| Non-linear numerical methods | Not supported. | |
| Polynomial functions | Not supported. | |
| Relational operations functions | Supported. | |
| Rounding and remainder functions | Supported. | |
| Policy block | Not supported. | |
| RL Agent block | Not supported. | |
| Set functions | Supported. | |
| Signal Processing functions in MATLAB | Not supported. | |
| Signal Processing Toolbox™ functions | Not supported. | |
| Special values | Supported. | |
| Specialized math | Not supported. | |
| Statistical functions | Supported. | |
| String functions | Supported with the following limitations: | |
char | Not supported. | |
ischar | Not supported. | |
| Trigonometric functions | Supported. | |
