随着SoC设计规模和复杂程度的不断提高，其验证工作日益复杂，验证周期也越来越长，已经占到整个芯片设计的70%左右甚至更高，已成为SoC设计的主要瓶颈。因此缩短产品的设计周期，减少验证时间，提高验证工作的效率和质量成为当务之急。为了提高验证效率，就需要尽可能的提高验证系统的抽象级别、增强验证平台的可重用性以及提高验证过程的自动化程度。本文通过对当前常用验证技术优缺点分析的基础上，详细分析和研究了新兴的OVM验证方法学。该验证方法学是一种集基于事务级建模，基于断言和基于覆盖率驱动为一体的高级验证方法学，可以实现高效率、高覆盖率、验证过程高度自动化以及可重用性高的验证平台。本文对OVM验证环境组件OVC、类库结构以及OVM的通讯机制和互连机制进行了深入的分析和研究。本文还以OVM验证方法学为指导，根据对待测设计跟踪系统的结构和功能特性的分析，搭建了基于OVM的验证平台。并根据制定好的验证情景，采用了事务级建模、基于断言和基于覆盖率驱动等多种验证方法相结合的的验证方式，对跟踪系统进行了详细的验证，并对验证结果进行了分析和总结。实践证明，本文搭建的验证平台，在验证待测设计时，各验证组件和其他设计同时运行，实时进行数据比较和断言检测，及时报告错误信息，实现错误的及时收集和准确定位，并且以覆盖率为驱动，满足了验证的覆盖率要求，极大地提高了验证效率，而且，该验证平台可重用性强，还被重用于其他跟踪接口的功能验证中。