Simulink Design Verifier 分析的最佳做法

Simulink^® Design Verifier™ 分析的最佳做法、注意事项和支持限制

Simulink Design Verifier 为 Simulink 功能提供不同级别的支持。如果您的模型包含部分支持的模块，您可以启用自动插桩或避免在您分析的模型中使用不支持的功能。

主题

Simulink Design Verifier 模块库
访问 Simulink Design Verifier模块库。
使用自动桩件处理不兼容性
如何使用自动桩件。
Simulink Design Verifier 中的修改条件和决策覆盖率
描述 Simulink Design Verifier 和 Simulink Coverage™ 中 MCDC覆盖率之间的差异。
Simulink Design Verifier 中的增强 MCDC 覆盖范围
描述增强型 MCDC覆盖率概念和工作流程。
逻辑运算短路
解释Simulink Design Verifier如何短路逻辑模块。
Simulink Design Verifier 如何通过验证结果报告近似值
描述Simulink Design Verifier如何通过验证结果报告近似值。

Simulink 软件功能的支持限制
列出 Simulink Design Verifier 不支持的 Simulink 软件功能。
Simulink Design Verifier 中支持和不支持的 Simulink 模块
列出 Simulink Design Verifier 支持和不支持的 Simulink 模块。
Model 模块的支持限制
Simulink Design Verifier 支持 Model模块，但有一些限制。
Stateflow 软件功能的支持限制
列出 Simulink Design Verifier 和 Fixed-Point Designer™ 软件不支持的 Stateflow^® 软件功能。
代码生成的 MATLAB 支持限制
列出与 Simulink Design Verifier 软件对 MATLAB^® 代码生成支持相关的限制。
S-Function 和 C/C++ 代码的支持限制和注意事项
描述Simulink Design Verifier中的 S-Function 和生成代码的局限性和注意事项。
非有限数据
Simulink Design Verifier不支持非有限数据（例如NaN和Inf）及相关操作。
计数器和计时器
处理模型中的计数器和计时器的最佳实践，以避免过度复杂化Simulink Design Verifier分析。
逻辑运算
如果您有一个包含逻辑与算术运算的 Simulink模型，请考虑仅分析逻辑运算。