主要内容

MATLAB 代码生成的支持限制

不支持的 MATLAB 代码生成功能

Simulink® Design Verifier™ 不支持 Simulink 软件中 MATLAB Function 模块以及 Stateflow® 软件中 MATLAB® 函数的以下功能。请避免在使用 Simulink Design Verifier 分析的模型中使用这些不支持的功能。

不支持描述

字符

软件不支持 MATLAB 代码生成所允许的字符。

外部函数

仅当外部函数不影响 MATLAB 函数的输出时,软件才支持外部函数。

MATLAB 代码生成库函数的支持限制

Simulink Design Verifier 为 MATLAB 代码生成库函数提供不同级别的支持。

如果您的模型包含不支持的函数,您可以启用自动插桩功能,该功能会考虑不受持的函数的接口,但不会考虑其行为。但是,如果任何不支持的函数影响仿真结果,则分析可能只会实现部分结果。有关自动插桩的详细信息,请参阅使用自动插桩处理不兼容问题

为了实现 100% 的覆盖率,请避免在您分析的模型中使用不支持的 MATLAB 库函数。

下表列出了 Simulink Design Verifier 对 MATLAB 代码生成中的库函数类别的支持:

  • 软件支持该类别的函数,用短横线 () 表示。

  • 软件不支持该类别的函数。

  • 软件支持该类别的函数,但有指定的限制。

有关可用函数的完整列表,请参阅C/C++ 代码生成支持的函数和对象

函数类别支持说明
Aerospace Toolbox 函数不支持。
算术运算符函数支持。
按位运算函数
转换函数支持,但有以下限制:
 char不支持。
 typecast不支持。
Communications Toolbox™ 函数不支持。
复数函数支持。
Computer Vision Toolbox™ 函数不支持。
数据类型函数
导数和积分函数不支持。
离散数学函数
错误处理函数支持,但存在以下限制:
 assert支持,但其行为与 Proof Objective 模块不同。
指数函数支持。
滤波和卷积函数支持。
Fixed-Point Designer™ 函数支持。
直方图函数不支持。
Image Processing Toolbox™ 函数不支持。
输入和输出函数
插值和计算函数支持。
线性代数不支持。
逻辑运算符函数
MATLAB Compiler™ 函数不支持。
矩阵和数组函数支持,但存在以下限制:
 invhilb不支持。
嵌套函数支持。
非线性数值方法不支持。
多项式函数不支持。
关系运算函数
舍入和余数函数
Policy 模块不支持。
RL Agent 模块不支持。
set 函数
MATLAB 中的信号处理函数不支持。
Signal Processing Toolbox™ 函数不支持。
特殊值支持。
专用数学不支持。
统计函数
字符串函数支持,但存在以下限制:
 char不支持。
 ischar不支持。
三角函数支持。