帮助中心帮助中心

本页翻译不是最新的。点击此处可查看最新英文版本。

降低模型复杂度

使用自下而上的方法分析大型模型，定义模块替换规则

Simulink^® Design Verifier™ 软件在分析大型模型时，采用自下而上的方法最有效。在这种方法中，软件首先分析较小的模型组件，这可能比使用默认设置更快。自下而上的方法具有以下几个优势：

它让您可以在受控环境中解决使错误检测、测试生成或属性证明的速度变慢的问题。
在分析整个模型之前先解决小模型组件的问题会更高效，尤其是当模型中有无法访问且只能在模型上下文中发现的组件时。
您可以更快地进行调试，以迭代方式查找和修复问题。
如果单个模型组件存在问题（例如，在仿真中无法访问某个组件），则可能会阻止该软件为大型模型中的所有目标生成测试。

如果要解决模型中的兼容性限制或自定义模型元素以进行分析，您可以使用 Simulink Design Verifier 模块替换规则。如果要在分析过程中为模型中的参数生成其他值，可使用 Simulink Design Verifier 参数配置。

函数

sldvblockreplacement 替换模块进行分析

主题

降低模型复杂度

自下而上的模型分析方法
解释从低级元素开始分析模型的好处。
模型复杂性的来源
描述可能使分析复杂化的模型特征。
近似值在模型分析中的作用
Simulink Design Verifier 在开始分析之前进行近似计算。
逻辑运算
如果您有一个包含逻辑与算术运算的 Simulink模型，请考虑仅分析逻辑运算。
Model 模块
分析引用外部模型的Model blocks。
提取子系统进行分析
解释如何提取子系统和原子子图进行单独分析。
管理模型数据以简化分析
简化您的模型以简化Simulink Design Verifier分析。
增量测试生成的分区模型输入
您可以使用 Simulink Design Verifier Test Condition模块来约束模型输入的值。
分析具有大型验证状态空间的模型
使用大型验证状态空间来简化模型复杂性的技术。
区模块缩减
解释 Simulink 如何在仿真中减少模块以及它如何影响 Simulink Design Verifier 分析。

执行模块替换

什么是模块替换？
模块替换的简要概述。
内置模块替换
描述出厂默认的模块替换规则和库。
模块替换规则模板
介绍用于创建自定义模块替换规则的模板。
不支持的模块的模块替换
此示例展示了如何使用 Simulink® Design Verifier™ 函数来替换不受支持的模块以及如何根据特定需求定制测试向量生成。