使用Simulink设计验证万博1manbetx
课程详情
这项为期一天的课程着重于使用Simulink Design Verifie万博1manbetxr™来确保设计缺乏可能的设计错误,经过充分测试并满足必要的要求。
主题包括:
- 检测和调试常见的设计错误
- 收集型号覆盖范围
- 使用自动测试生成完成缺失的覆盖范围
- 证明基于需求的验证的模型属性
- 处理模型复杂性以进行有效分析
第1天的第1天
了解验证工作流程
客观的:熟悉验证工作流程,并学习准备模型并使用Simulink Design Verifier进行简单分析。万博1manbetx
- 引入正式验证方法
- Exploring the Simulink Design Verifier workflow
- 准备模型并确保兼容性
- 配置分析选项
- Generating results
检测设计错误
客观的:了解如何使用设计错误检测来验证模型。
- Introducing types of design errors
- 检测设计错误
- 解释结果和报告
- 修复设计错误
- 使用参数表
自动生成测试
客观的:查看覆盖范围类型,并学习如何使用自动测试生成完成缺失的模型覆盖范围。
- 了解覆盖范围
- 测量模型覆盖范围
- 自动测试生成增加覆盖范围
- 解释结果和报告
- 应用自定义条件和目标
财产证明
客观的:正式对物业的要求进行正式要求,并学会使用财产证明验证设计是否满足其需求。
- 正式要求
- 证明属性
- 调试伪造的属性
- 使用临时操作员
管理模型复杂性
客观的:确定模型复杂性的来源并学习技术以提高分析性能。
- 识别模型复杂性的来源
- 实施块更换
- 处理非线性
- 管理查找表复杂性
- 与柜台和计时器一起工作