随着SoC(System on-a-Chip)设计规模和功能复杂度的不断提高,对本就非常繁琐复杂的验证工作提出了更大的挑战。虽然传统验证方法在技术上不断更新并且设计尺度和复杂度不断增加,但是验证工作在设计流程中仍然占据超过70%甚至更多的工作量,其已经成为整个SoC设计的主要瓶颈。因此,为了满足不断缩短产品开发时间的要求,增强产品竞争力,提高验证效率,减少验证时间成为当务之急。为了提高验证的效率,本文对高效验证系统进行了研究,并基于SystemVerilog OVM提出了具体的验证系统结构和实现方法。该验证系统具有高重用性,其可实现验证系统架构、接口验证组件以及模块到集成验证系统等环境的重用;其良好的扩展性可以方便验证人员灵活地产生大量不同验证场景;另外,该验证系统还可以实现验证的高度自动化,如实现可约束随机激励测试、覆盖率驱动方法等。本文介绍了传统验证技术的相关方法,传统验证系统通常缺乏重用性、可扩展性且自动化程度低,因此验证工作量大,效率低。针对这些问题,本文结合当前流行的高级验证技术和OVM基本库,提出了一种具有高重用性和扩展性且有利于提高自动化程度的验证系统结构,并对其主要组件进行了详细的分析。最后,利用OVM库实现该验证系统,并给出实际项目的测试结果。实践证明了该验证系统具有高的重用性、扩展性及自动化的特点。