Support 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.
The software does not support characters, which MATLAB for code generation allows.
The software does not support calls to external C functions, which MATLAB for code generation allows.
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. The software either fully or partially supports particular functions. It does not support other 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. However, if any of the unsupported functions affect the simulation outcome, 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 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, indicated by a dash (—).
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 with the following limitations:|
|Supports only integer exponents. Otherwise partially supported.|
|Supports integer exponents. Float exponents partially supported.|
|Bit-wise operation functions||—|
|Casting functions||Supported with the following limitations:|
|Communications Toolbox™ functions||Not supported.|
|Complex number functions||Partially supported.|
|Computer Vision Toolbox™ functions||Not supported.|
|Data type functions||—|
|Derivative and Integral functions||Not supported.|
|Discrete math functions||—|
|Error handling functions||Supported with the following limitations:|
|Supported, but does not behave like a Proof Objective block.|
|Filtering and convolution functions||Supported with the following limitations:|
|Supported if argument is a scalar. Otherwise, partially supported.|
|Fixed-Point Designer™ functions||Supported.|
|Histogram functions||Not supported.|
|Image Processing Toolbox™ functions||Not supported.|
|Input and output functions||—|
|Interpolation and computation geometry||Supported with the following limitations:|
|Linear algebra||Not supported.|
|Logical operator functions||—|
|MATLAB Compiler™ functions||Not supported.|
|Matrix and array functions||Supported with the following limitations:|
|Supported when invoked using the syntax |
|Nonlinear numerical methods||Not supported.|
|Polynomial functions||Not supported.|
|Relational operations functions||—|
|Rounding and remainder functions||—|
|Signal Processing functions in MATLAB||Not supported.|
|Signal Processing Toolbox™ functions||Not supported.|
|Special values||Supported with the following limitations:|
|Specialized math||Not supported.|
|String functions||Supported with the following limitations:|
|Trigonometric functions||Not supported.|