Simulink 设计验证培训课程-中心

 本课程要关注使用Simulink Design Verifier™ 来确认设计不存在潜在错误，是经过充分测试的并满足必要的设计需求。主要内容包括：

• Understanding the Verification Workflow	目标：熟悉验证流程，学会使用Simulink Design Verifier准备模型并进行简单分析。 · 形式化验证方法的介绍 · 介绍Simulink Design Verifier的工作流程 · 准备模型并确保兼容性 · 配置分析选项 · 生成结果
  设计错误检测	目标：学习如何使用设计错误检测来验证模型。 · 设计错误类型介绍 · 设计错误检测 · 解释结果和报告 · 修复设计错误 · 使用参数表
  自动生成测试	目标：回顾覆盖率类型，并学习如何使用自动测试用例生成来完成缺失部分的覆盖。 · 了解覆盖率的类型 · 计算模型覆盖率 · 使用自动测试用例生成来增加覆盖率 · 解释结果与报告 · 应用自定义条件与目标
  属性证明	目标：将需求形式化为属性，并学习使用属性证明来验证设计是否满足其需求。 · 将需求形式化 · 属性证明 · 调试修改后的属性 · 使用时序操作
  管理模型复杂度	目标：识别模型复杂度的来源，并学习提高分析性能的技术。 · 识别模型复杂度的来源 · 实现模块替换 · 处理非线性 · 管理插值表的复杂度 · 使用计数器和计时器