目前智能设备是时代的焦点,智能手机、可穿戴智能设备、智能家居等已成为人们生活不可缺少的一部分。随着以多功能、低功耗、小型化为特点的智能设备的不断发展,用户对智能设备的要求也逐渐提高,这使得智能设备的核心—SOC(System On Chip)芯片集成的功能越来越多,设计规模和设计难度也不断增大,这给SOC的验证工作带来了巨大的挑战。本文主要针对模式可变SOC(MC-SOC/Mode Changeable-SOC)的功能验证进行分析研究,以UVM(Universal Verification Methodology)通用验证方法学和SystemVerilog硬件验证语言为理论基础,将MC-SOC以及内部IP作为研究对象,旨在利用UVM验证方法学搭建一个可重用的SOC系统验证平台,通过分析功能点、施加随机化激励,收集功能覆盖率,报告自检结果等方式对MC-SOC系统中的IP模块实施较完备的功能验证。本文首先对SOC验证在国内外的研究现状进行了阐述,分析了各类验证方法以及其优缺点,并介绍了主流验证方法学。然后对MC-SOC系统的架构、功能特性进行了分析说明,并结合UVM验证方法学,对MC-SOC验证平台的架构及验证策略进行了详细分析。进一步,设计实现可重用的UVM验证平台,选择SOC内部IP—SPI控制器作为待测设计(DUT/Design For Test)。根据设计文档及总线协议要求,开发APB通用验证组件和SPI验证组件,并使用上述组件搭建验证平台。随后,根据SPI控制器的功能点实施功能验证,对各功能点验证结果统计分析,最终得出验证结果。最后,探究所设计的通用组件及验证平台的重用性,开发I~2C协议验证组件,利用验证平台的重构特性,替换验证平台中的SPI验证组件,构建I~2C验证环境,并对I~2C控制器实施功能验证。仿真验证结果表明,SPI验证环境工作正常,完成所有功能点的测试之后,功能覆盖率达到100%,且所有数据包的收发均正确,SPI控制器功能正确。重构的I~2C验证环境也同样工作正常,且I~2C控制器基本功能的测试结果均正确无误。