检查模型兼容性

在Simulink Design Verifier分析模型之前，软件会检查该模型是否适合分析。有关模型兼容性的更多信息，请参阅检查模型兼容性。该软件对您的模型运行兼容性检查，然后创建模型表示。模型表示包括您可以在分析期间使用的模型工件。兼容性检查会告诉您您的模型是否完全兼容、部分兼容还是不兼容。

Simulink 支持您模型中的广泛软件功能，但 Simulink Design Verifier 不支持某些功能。有关更多信息，请参阅 Simulink Design Verifier 中支持和不支持的 Simulink 模块 和 Simulink 软件功能的支持限制 。

应用模块替换规则

如果您想解决模型中的兼容性限制或自定义模型元素进行分析，可以使用Simulink Design Verifier模块替换规则。有关更多信息，请参阅 什么是模块替换？ 和 不支持的模块的模块替换 。

如果要在分析过程中为模型中的参数生成其他值，可使用 Simulink Design Verifier 参数配置。查看 分析参数配置 以了解更多信息。

设置 Simulink Design Verifier 选项

您可以在配置参数对话框中设置Simulink Design Verifier分析选项。或者，您可以使用 sldvoptions 函数在命令行指定 Simulink Design Verifier 选项。有关更多信息，请参阅 Simulink Design Verifier 选项 。

对模型进行分析

您可以分析模型的以下方面：

如果您计划生成测试用例或证明模型中的属性，请首先运行整数溢出和除以零的设计错误检测。请参阅以下主题以了解更多信息：

生成分析结果

一旦 Simulink Design Verifier 完成模型分析，它会在结果摘要窗口中显示分析亮点和结果选项。有关更多信息，请参阅 生成分析结果 。

解释分析结果

您可以查看分析结果并生成 HTML、DOCX 或 PDF 格式的分析报告。有关更多信息，请参阅 查看分析结果 。