高抽象层次化的OVM验证平台设计

摘要

随着集成电路工艺和技术的飞速发展，设计规模和功能复杂度进一步增大，对原本就非常复杂的验证工作提出了更大的挑战。尽管传统的验证方法也在不断的更新，但验证工作仍在整个设计流程中占据了超过80％甚至更多的工作量，已然成为了整个专用集成芯片设计的一大瓶颈。为了有效缩短验证时间、提高验证覆盖率以及加快产品上市速度等，急需先进的功能验证方法来提高传统验证工作的效率。由于OVM验证方法学结合了覆盖率驱动验证、断言验证、事务级验证、约束随机激励生成以及直接测试等验证方法的优点，基于System Verilog语言可以完成高效、高复用性以及高扩展性的验证平台，为提高验证效率提供了可能，也是本文选用该验证方法学的重要因素。
　　本文介绍了OVM验证方法学的基本体系，结合OVM的典型结构与强大机制完成了基带芯片中重要模块追踪调试系统的验证平台搭建。由于验证工作对验证人员的经验和技术来讲都有着非常高的要求，在验证的初期验证环境的框架以及验证环境的抽象级对后期的验证工作起到了至关重要的作用，一个合适的验证抽象层次会减少很多设计底层的逻辑关系，过低的验证抽象级不仅在检测时会增多很大的工作量，同时这样的验证环境会跟底层设计产生过多的依赖关系，使得验证和设计无法真正剥离，无法真正有效的提高验证效率。本验证环境为了实现对好几个相似模块的平台复用，在对各个组件的设计进行详细介绍的同时着重突出了该验证环境中的配置和层的核心技术，正是这两点的成功设计才使得高抽象层次化的验证平台成为可能。同时本文突出VIP验证的优势，集成成熟的验证模块不仅会给验证工作带来更高的可信度，同时也能有效的缩短验证时间。最后基于约束随机激励的产生对设定好的覆盖率组进行了覆盖率的收集，实践证明该验证系统具有高复用性、扩展性及自动化的显著特点。