对 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 | 不支持。 | |
三角函数 | 支持。 |