Constraint Random-based Verification

课程大纲

本课程介绍采用Cadence Specman Elite, Synopsys' Vera和SystemVerilog等高级验证语言，以随机为基础的验证方法学，为复杂ASIC, FPGA和板级设计和验证团队在考虑采用随机为基础的方法学提供了非常好的介绍。我们会帮助您提高在随机生成测试向量、数据检查的策略、功能覆盖率等方面的知识和技能来最终提高验证的信心和效率。

1. 介绍基于随机的验证方法学，帮助您理解采用随机技术来验证当前复杂系统的精髓。我们定义到底什么是“验证”，比较传统的和基于随机的验证方法学，回顾白盒验证，并且解释面向对象编程技术在现代验证方法中的重要性。最后，我们还简述可重用验证IP的重要性，以及总结了高级验证语言相对于Verilog和VHDL的显著优点。
2. 重点讲解随机验证方法学的三大关键点。首先涉及的是有效的测试向量生成技术，我们将回顾基本的、随机的和直接的生成方法，我们将讨论生成模块的拓展和约束，测试场景和序列的定义，已经如何管理生成的可重复性。其次，我们将讨论数据检查的方法以及如何开发scoreboard。最后我们重点解释了功能覆盖率的定义，如何设立合理的覆盖率目标，以及如何在保证仿真效率的基础下搜集功能覆盖率数据。
3. 简洁的验证计划是随机验证方法学的原动力。我们将讲解验证计划的合理性，对验证计划的一些通常的误解，以及讲解如何创建一个有效的验证计划。我们将讨论以接口、特点和边界方法为基础的不同的面向方向的验证方法。最后将有一个深入的练习，让大家有机会来创建一个工作且有效的验证计划。

培养对象

如果你在考虑将你的验证方法从传统的，直接的测试方法改进为现代的随机验证方法，那么这门课就非常适合你。如果你或者你的团队准备采用Specman Elite, Synopsys Vera 或者SystemVerilog等验证工具，那么这门课程会帮你了解随机验证方法学和工具的优点。

学习环境

这是一个交互的课程，众多练习将穿插在课程当中，George will provide detail information about the classroom and other facility.

学时：一天

具体课程安排

随机验证方法学简介

• 什么是验证？回顾验证，非验证。评估可能的验证结果。
• 传统的(Verilog, VHDL)直接验证方法。比较随机验证方法和传统的验证方法。
• 如何处理验证的颗粒度？系统级？模块级？还是只验证内核？
• 回顾黑盒、白盒、灰盒的验证方法。
• 在高级验证语言中，面向对象编程技术的角色。
• 可重用验证IP以及如何加速整个系统的验证。
• 理解高级验证语言相对于Verilog和VHDL的关键优点。