|
Size: 215
Comment:
|
Size: 1883
Comment:
|
| Deletions are marked like this. | Additions are marked like this. |
| Line 6: | Line 6: |
| 本课程介绍采用Cadence Specman Elite, Synopsys' Vera和SystemVerilog等高级验证语言，以随机为基础的验证方法学。 | 本课程介绍采用Cadence Specman Elite, Synopsys' Vera和SystemVerilog等高级验证语言，以随机为基础的验证方法学，为复杂ASIC, FPGA和板级设计和验证团队在考虑采用随机为基础的方法学提供了非常好的介绍。我们会帮助您提高在随机生成测试向量、数据检查的策略、功能覆盖率等方面的知识和技能来最终提高验证的信心和效率。 1. 介绍基于随机的验证方法学，帮助您理解采用随机技术来验证当前复杂系统的精髓。我们定义到底什么是“验证”，比较传统的和基于随机的验证方法学，回顾白盒验证，并且解释面向对象编程技术在现代验证方法中的重要性。最后，我们还简述可重用验证IP的重要性，以及总结了高级验证语言相对于Verilog和VHDL的显著优点。 1. 重点讲解随机验证方法学的三大关键点。首先涉及的是有效的测试向量生成技术，我们将回顾基本的、随机的和直接的生成方法，我们将讨论生成模块的拓展和约束，测试场景和序列的定义，已经如何管理生成的可重复性。其次，我们将讨论数据检查的方法以及如何开发scoreboard。最后我们重点解释了功能覆盖率的定义，如何设立合理的覆盖率目标，以及如何在保证仿真效率的基础下搜集功能覆盖率数据。 1. 简洁的验证计划是随机验证方法学的原动力。我们将讲解验证计划的合理性，对验证计划的一些通常的误解，以及讲解如何创建一个有效的验证计划。我们将讨论以接口、特点和边界方法为基础的不同的面向方向的验证方法。最后将有一个深入的练习，让大家有机会来创建一个工作且有效的验证计划。 |
Constraint Random-based Verification
- 学时：一天
课程大纲 本课程介绍采用Cadence Specman Elite, Synopsys' Vera和SystemVerilog等高级验证语言，以随机为基础的验证方法学，为复杂ASIC, FPGA和板级设计和验证团队在考虑采用随机为基础的方法学提供了非常好的介绍。我们会帮助您提高在随机生成测试向量、数据检查的策略、功能覆盖率等方面的知识和技能来最终提高验证的信心和效率。
- 介绍基于随机的验证方法学，帮助您理解采用随机技术来验证当前复杂系统的精髓。我们定义到底什么是“验证”，比较传统的和基于随机的验证方法学，回顾白盒验证，并且解释面向对象编程技术在现代验证方法中的重要性。最后，我们还简述可重用验证IP的重要性，以及总结了高级验证语言相对于Verilog和VHDL的显著优点。
- 重点讲解随机验证方法学的三大关键点。首先涉及的是有效的测试向量生成技术，我们将回顾基本的、随机的和直接的生成方法，我们将讨论生成模块的拓展和约束，测试场景和序列的定义，已经如何管理生成的可重复性。其次，我们将讨论数据检查的方法以及如何开发scoreboard。最后我们重点解释了功能覆盖率的定义，如何设立合理的覆盖率目标，以及如何在保证仿真效率的基础下搜集功能覆盖率数据。
- 简洁的验证计划是随机验证方法学的原动力。我们将讲解验证计划的合理性，对验证计划的一些通常的误解，以及讲解如何创建一个有效的验证计划。我们将讨论以接口、特点和边界方法为基础的不同的面向方向的验证方法。最后将有一个深入的练习，让大家有机会来创建一个工作且有效的验证计划。