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

Simulink 设计验证培训课程

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

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

如果您想学习本课程，请预约报名
如果没找到合适的课程或有特殊培训需求，请订制培训
除培训外，同时提供相关技术咨询与技术支持服务，有需求请发需求表到邮箱soft@info-soft.cn,或致电4007991916
技术服务需求表点击在线申请

服务特点：
海量专家资源，精准匹配相关行业，相关项目专家，针对实际需求，顾问式咨询，互动式授课，案例教学，小班授课，实际项目演示，快捷高效，省时省力省钱。

专家力量：
中国科学院软件研究所，计算研究所高级研究人员
oracle,微软，vmware，MSC,Ansys，candence,Altium,达索等大型公司高级工程师，项目经理，技术支持专家
中科信软培训中心，资深专家或讲师
大多名牌大学，硕士以上学历，相关技术专业，理论素养丰富
多年实际项目经历，大型项目实战案例，热情，乐于技术分享
针对客户实际需求，案例教学，互动式沟通，学有所获