随着SoC技术的发展,芯片在集成度和功能复杂度等方面日益增长,SoC系统验证复杂度也持续增加,使得SoC系统验证研究成为IC行业研究的热点课题。本文对SoC系统验证的研究主要集中在提高系统验证的效率和功能点分解的完备性两个方面,本文从SoC系统验证面临的问题出发,分析了SoC系统的复杂度与验证的复杂度之间关系,研究验证仿真加速技术,并提出了IPO需求分析方法,解决了验证需求功能分解不完备的问题。本文主要工作内容如下:第一,对SoC系统验证面临的困难做简要分析,并对当前已经出现的验证方法学进行对比分析、归纳、总结,然后列举了各种验证方法学的优缺点。最后对本文中涉及到的芯片做简要分析,并对相关协议简单介绍。第二,深入研究了功能需求分析方法,从输入、处理、输出三个维度出发,详细介绍了如何进行验证功能点的分解。针对验证效率低的问题,本文从降低仿真时间为出发点,通过降低动态负载、仿真加速和改进UVM平台等角度,提出相应的改进方案。最后通过性能分析论证以上方案的有效性。第三,深入研究SoC系统验证平台的搭建,根据芯片的具体特点提出系统验证方案。对于本项目中,最关注的SD卡模块和USB模块分别搭建相应验证平台。本文中对UVM验证平台各个组件的通信方式和启动方式做了简单说明,并列举出项目中开发的各种关键方法。针对UVM的寄存器测试只包含了访问操作对其他常用的操作未能涉及的问题,本文提出一套较完整的寄存器测试流程。第四,详细说明了验证环境的调试过程,并对系统级验证结果进行了分析。从测试案例提取、仿真结果分析、覆盖率分析三个方面对SD卡模块和USB模块进行详细分析总结,证明本文中提出的方法是有效的。最后,对SD卡模块分别在OS系统和FPGA板上进行性能测试,发现其读写速度最高可达到4M/s,证明了该性能指标满足项目性能需求。