Main Content

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

分析模型或子系统

准备用于分析的模型或子系统,运行分析

在构建模型时,使用 Simulink® Design Verifier™ 来指导设计过程。检查现有模型的兼容性。解决模型中的兼容性限制或自定义模型元素以进行分析。运行设计错误检测并生成测试用例或证明模型中的属性。

函数

sldvcompat检查模型与分析的兼容性
sldvextract将子系统或子图内容提取到新模型中进行分析
sldvisactive验证模块的更新
sldvoptions创建设计验证选项对象
sldvtimer识别、更改和显示计时器优化
sldvrun分析模型

主题

检查模型或子系统的兼容性

分析模型或子系统