Constraint Random-based Verification
- 学时：一天
课程大纲 本课程介绍采用Cadence Specman Elite, Synopsys' Vera和SystemVerilog等高级验证语言，以随机为基础的验证方法学，为复杂ASIC, FPGA和板级设计和验证团队在考虑采用随机为基础的方法学提供了非常好的介绍。我们会帮助您提高在随机生成测试向量、数据检查的策略、功能覆盖率等方面的知识和技能来最终提高验证的信心和效率。
- 介绍基于随机的验证方法学，帮助您理解采用随机技术来验证当前复杂系统的精髓。我们定义到底什么是“验证”，比较传统的和基于随机的验证方法学，回顾白盒验证，并且解释面向对象编程技术在现代验证方法中的重要性。最后，我们还简述可重用验证IP的重要性，以及总结了高级验证语言相对于Verilog和VHDL的显著优点。
- 重点讲解随机验证方法学的三大关键点。首先涉及的是有效的测试向量生成技术，我们将回顾基本的、随机的和直接的生成方法，我们将讨论生成模块的拓展和约束，测试场景和序列的定义，已经如何管理生成的可重复性。其次，我们将讨论数据检查的方法以及如何开发scoreboard。