客观的：熟悉验证工作流程并学习准备模型并使用Simulink设计验证程序进行简单的分析。金宝app

• 介绍正式验证方法
• 探索Simulink设计验证金宝app器工作流
• 准备模型并确保兼容性
• 配置分析选项
• 生成结果

客观的：学习如何使用设计错误检测来验证模型。

• 介绍设计错误的类型
• 检测设计错误
• 解释结果和报告
• 修复设计错误
• 使用参数表

客观的：查看覆盖类型，了解如何使用自动测试生成来完成缺少模型覆盖范围。

• 了解覆盖类型
• 测量模型覆盖率
• 增加自动测试生成的覆​​盖范围
• 解释结果和报告
• 应用定制的条件和目标

客观的：将要求正式化为属性，并学会使用证明的财产以验证设计是否满足其要求。

• 正式化要求
• 证明属性
• 调试伪造属性
• 使用时间运算符

客观的：确定模型复杂性的来源，并学习改进分析性能的技巧。

• 识别模型复杂性的来源
• 实施块替换
• 处理非线性
• 管理查找表复杂性
• 使用柜台和计时器