以深亚微米工艺和IP核复用技术为基础的系统芯片(System on Chip,以下简称SoC)技术是超大规模集成电路发展的趋势和当今集成电路技术的主流。随着芯片集成度的不断提高,SoC的功能越来越多样化,系统模块之间的通信也越来越复杂,这些都给验证工作带来了新的挑战。传统的验证方法在复杂的系统级验证中已不再适用,为解决这些问题,加快系统级验证平台的建设,并不断提高验证平台的灵活性和可复用性,需要新的设计方法和设计流程。　　 本文介绍的Yak SoC系统基于AMBA标准总线协议,且设计规模大、结构复杂、包含多个IP的复用,因此如何有效地实现其系统级验证平台,使其具有较强的灵活性和可复用性,是本文的研究难点和重点。本文首先从AMBA总线出发,深入研究其通信协议,然后对基于VMM(Verification Methodology Manualfor System Verilog,以下简称VMM)验证方法学的系统级验证平台进行了规划。　　 在系统级验证平台的实现过程中,本文解决了以下几个难题:1、为了使验证平台的灵活性和可复用性最大化,采用了以C++面向对象编程思想为核心的基于事务的建模方法。对应于VMM层次化的验证平台,体现在将总线激励抽象成一定的场景,对应于不同的测试用例,只需要对场景进行修改。2、为了达到验证的高覆盖率和自动化测试,采用了带约束的随机激励方法。使用随机激励保证了验证平台能够最大程度地遍历模块的各个功能点,而对激励进行有效地约束加强了随机激励的针对性,具有更高的遍历效率。3、为了更快、更有效的对总线时序进行判读,采用了在接口添加System Verilog断言的方法。断言机制增加了验证过程的可控制性和观察性,在仿真过程中快速定位设计中的Bug,从而提高了验证效率。4、为了加速验证平台的设计,在AHB验证过程中采用验证IP进行辅助设计,通过对验证IP中的验证组件进行配置,提高了AHB验证平台的实现效率,减少了创建验证结构和测试平台环境的时间。　　 本文实现的系统级验证平台已经成功运用于Yak SoC的系统级验证中,验证结果和覆盖率均成功的达到了预期的目标。此外,该验证平台具有较强的灵活性,且具有标准AMBA总线接口,方便移植。因此,本文采用的基于VMM验证方法学的验证思想和验证技术为集成度日益增加、多IP复用的SoC系统级验证提供了坚实的基础,具有一定的创新和应用价值。