友情链接:
合作联系
|
ASPEN培训课程
培训对象： 芯片验证工程师、验证团队负责人、ASIC/SoC设计人员、验证方法论学习者。
培训目标：
掌握芯片验证的完整流程和方法论。
能够编写验证计划和验证规范。
熟练进行覆盖率驱动的随机验证。
具备验证管理和团队协作能力。
培训内容介绍：
二、验证计划（Verification Plan）编写： 从设计规范出发，识别验证功能点，制定验证策略和测试场景。
三、验证环境架构设计： 根据验证计划设计验证环境架构，确定组件划分、复用策略和层次结构。
四、测试用例（Test Case）编写： 针对不同功能点编写定向测试用例，设计随机约束生成随机测试用例。
五、覆盖率驱动验证（CDV）： 使用覆盖率驱动验证方法论，迭代优化测试用例提高代码覆盖率和功能覆盖率。
六、回归测试管理： 建立回归测试集，自动化运行回归测试，分析回归失败原因，确保代码修改不影响已有功能。
七、形式验证应用： 在关键模块（控制器、状态机）中应用形式验证，证明设计属性的正确性。
八、低功耗验证： 使用UPF/CPF进行低功耗仿真，验证电源关断、电压切换等功耗管理功能。
九、门级仿真（GLS）： 进行综合后门级仿真，考虑SDF延迟信息，验证时序收敛后的功能正确性。
十、FPGA原型验证： 在FPGA上运行软件测试硬件功能，作为流片前的最终验证手段。
十一、缺陷管理与追踪： 使用缺陷追踪工具（JIRA、Bugzilla）管理发现的缺陷，跟踪缺陷修复和验证状态。
十二、实战项目：完整验证计划执行： 针对指定模块完成从验证计划编写、环境搭建到覆盖率收敛的全流程。
