Learn more about Simulink Design Verifier

Support Limitations for the Embedded MATLAB Subset

On this page…
Unsupported Embedded MATLAB Subset Features Limitations of Embedded MATLAB Library Function Support

Unsupported Embedded MATLAB Subset Features

The Simulink Design Verifier software does not support the following features of the Embedded MATLAB™ Function block in the Simulink software and Embedded MATLAB functions in the Stateflow software. Avoid using these unsupported features in models that you analyze with the Simulink Design Verifier software.

Not Supported	Description
Complex numbers	The Simulink Design Verifier software supports only real numbers. The Embedded MATLAB subset also supports complex numbers. For more information, see Working with Complex Numbers.
Characters	The Simulink Design Verifier software does not support characters, which the Embedded MATLAB subset allows. For more information, see Working with Characters.
C functions	The Simulink Design Verifier software does not support calls to external C functions, which the Embedded MATLAB subset allows. For more information about the Embedded MATLAB subset, seeCalling C Functions from the Embedded MATLAB Subset.
Extrinsic functions	The Simulink Design Verifier software supports extrinsic functions only when they do not affect the output of an Embedded MATLAB function. For more information about calling extrinsic functions, see Calling MATLAB Functions.

Back to Top

Limitations of Embedded MATLAB Library Function Support

The Simulink Design Verifier software provides various levels of support for Embedded MATLAB 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 may achieve only partial results. For details about automatic stubbing, see Handling Incompatibilities with Automatic Stubbing.

To guarantee 100% coverage, avoid using unsupported Embedded MATLAB library functions in models that you analyze with the Simulink Design Verifier software.

Avoid using unsupported Embedded MATLAB library functions in models that you analyze with the Simulink Design Verifier software. See Embedded MATLAB Subset Support for a list of the Embedded MATLAB library functions for which the Simulink Design Verifier software provides limited or no support.

Back to Top

Unsupported Stateflow Software Features

Fixed-Point Support Limitations

© 1984-2009- The MathWorks, Inc.    -   Site Help   -   Patents   -   Trademarks   -   Privacy Policy   -   Preventing Piracy   -   RSS