随着片上系统（System-On-A-Chip）复杂度和规模的不断增大，芯片验证的工作量也正伴随摩尔曲线呈指数增长。完备的验证工作，已被视为降低设计风险、缩短芯片上市时间的关键。本文以AMBAIO系统功能验证为背景，利用SystemVerilog语言和VMM方法学在验证方面的特性，完成验证平台设计，实现系统验证。AMBAIO系统基于AMBA总线架构，包含两个子系统，每个子系统在其AXI总线下都集成了MAC功能模块。本文首先对系统的总体设计、结构及其对功能验证的影响进行了深入分析，随后拟制了验证策略和流程。在此基础上，基于VMM验证方法学完成了验证平台设计，并有针对性地做好了平台中各验证组件的规划和实现。同时，在平台中引入了覆盖率驱动结合断言验证的方法，通过分析代码覆盖率、功能覆盖率和断言覆盖率，为完善测试激励、掌控验证进度提供了标准和依据。验证结果表明，本文针对AMBAIO系统设计的验证平台，层次分明，结构较为清晰，可以极大的节省设计缺陷的调试时间，缩短验证周期。在对MAC以外的系统功能模块进行验证时，只需少量修改就能建立新的测试，有效增强了设计验证过程的信心。本文研究内容是国家核高基重大专项（项目编号：2009ZX01028-002-002）的一部分，研究成果已经直接运用于项目实践。