Model 模块的支持限制
Simulink® Design Verifier™ 支持 Model 模块，但有以下限制。如果出现以下情况，软件将无法分析包含一个或多个 Model 模块的模型：
引用的模型受到保护。受保护的引用模型被编码以隐藏其内容。这使得第三方可以使用引用的模型，但无法查看构成该模型的属性。
有关详细信息，请参阅 引用来自第三方的受保护模型。
当您将 配置参数 > 诊断 > 连接性 > 元素名称不匹配 参数设置为错误时，父模型或任何引用模型都会返回错误。
您可以将元素名称不匹配诊断与总线对象一起使用，以便您的模型满足某些模块施加的总线元素命名需求。
Model 模块使用异步函数调用输入。
模型参考层次结构中的任何 Model 模块都会创建一个人工代数循环。如果发生这种情况，请采取以下步骤：
在“配置参数”对话框的诊断窗格中，将最小化代数环参数设置为错误，以便 Simulink 报告代数环错误。
在“配置参数”对话框的模型引用窗格中，选择最小化代数环出现次数参数。
Simulink 尝试在仿真中消除人为的代数循环。
仿真模型。
如果可能的话，Simulink 将删除代数循环。如果 Simulink 无法消除人为代数环，请打开建模选项卡，然后在编译部分中点击更新模型来突出显示代数环的位置。
消除人为的代数循环，以便软件能够对模型进行分析。使用 Unit Delay 模块打破循环，以便执行顺序可预测。
注意
有关详细信息，请参阅 代数环概念。
父模型和引用模型的数据类型覆盖设置不匹配。父模型和其引用模型的数据类型覆盖设置必须相同，除非父模型的数据类型覆盖设置为使用局部设置。您可以配置数据类型覆盖设置来仿真指定定点数据类型的模型。使用此设置，软件会在仿真中暂时用浮点数据类型覆盖数据类型。
有关详细信息，请参阅set_param('MyModel','DataTypeOverride','Double')
set_param。要观察模型的真实行为，请将数据类型覆盖参数设置为
UseLocalSettings或Off。set_param('MyModel','DataTypeOverride','Off')
引用的模型是一个 Model 模块，在输入端口有虚拟总线，并且总线中的信号在编译时并不都具有相同的采样时间。为了使模型与 Simulink Design Verifier 分析兼容，请将虚拟总线转换为非虚拟总线，或为端口指定明确的采样时间。
当您在 Model 模块上运行分析时，则不支持作为顶层模型生成的代码。
引用模型处于引用模式，并且模型模块已启用周期事件端口。有关详细信息，请参阅 速率调度方式。
