对 MATLAB 代码生成的支持限制

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

不支持	描述
字符	软件不支持 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`	不支持。
三角函数	支持。