随着SoC设计的规模和复杂度的日益增加,其验证工作也日益繁杂,验证难度也逐渐递增。由于验证环节往往可能占到整个SoC开发周期的半数70%以上,而且验证能力目前远落后于设计能力和生产能力,验证已经成为制约SoC设计和应用的最主要瓶颈。验证方法学及其应用已成为国际性的研究热点和关键技术。新兴的OVM验证方法学(Open Verification Methodology)的目标便是为SoC时代提供高效的验证方法和统一的验证平台的标准,被视为最有希望突破上述瓶颈的发展方向。本文针对当今SoC系统验证所面临的挑战(困境),首先在分析传统验证环境的优缺点的基础上,较深入地研究了新兴的OVM验证方法学的基本原理、平台框架和实施要点,特别是如何实现功能验证的可重用性、可扩展性,以及如何针对SoC系统验证的需求,提供高效、完整的验证方案。其次,以OVM验证方法学为指导,结合某设计项目,利用SystemVerilog语言等实际开发了系统验证平台(原型)。该平台在系统建模方面引入了面向对象的设计思想,利用事务级建模技术来实现验证平台的层次化和模块化；在仿真RTL的被测对象时,各模块同时运行,实时比对,及时报告错误信息,实现错误收集和定位。该平台(原型)因而具有模块化、可裁剪、可复用和高效率等特点。最后,本文讨论了SoC验证平台的优化方法,探讨了如何进一步提高其可重用性和验证效率。