随着集成电路的工艺不断发展,芯片的设计难度和复杂程度也不断增高。这使得芯片验证环节在芯片设计流程中的重要性不断提高,验证消耗的时间与资源投入也在不断增加。高效且保证高完备性的验证成为集成电路产业中的极大挑战。本文在作者在实习公司的实习项目基础上完成了模数转换器控制模块的验证工作。通过研究System Verilog语言以及通用验证方法学(Universal Verification Methodology),制定验证计划,搭建验证平台,最后对模数转换器控制模块进行功能验证,体现了通用验证方法学相比于传统验证方式的优势。本文所验证的待验证设计(Design Under Verification)为作者实习公司自主研发的某微控制芯片中的模数转换控制模块。该芯片中包含三个单端型12位高速逐次逼近型模数转换器,模数转换器通过DUV与AHB总线进行连接。AHB总线与模数转换器之间的数据、命令以及时钟信息的产生、传输、处理都是通过DUV进行实现的。本文首先研究了验证语言及验证方法学的发展历程及现状,并且研究了System Verilog语言及通用验证方法学(UVM)的优势与特性,以及相对于传统验证方法的优势。随后对So C系统结构,AMBA AHB-Lite协议进行学习。通过对模数转换器控制模块的学习分析,了解具体的功能特点、工作机制及其配置信息,提取出详细的功能验证点,拟定具体测试用例(testcase)及基础的sequence,制定具体验证计划。本文基于UVM验证方法学搭建验证平台,验证平台中具体组件包括:验证IP提供的ahb＿system＿env,寄存器模型adc＿regmodel,虚序列发生器ahb＿virtual＿sequencer,DUV参考模型adc＿model,代理器adc＿agent,记分板adc＿scoreboard,以及具体的测试用例及具体的sequence等。不同组件具有各自不同的功能,这些组件在测试用例中进行实例化并且相互连接,采用带有约束的随机化验证方法进行仿真验证,对验证结果进行分析,通过覆盖率建模收集功能覆盖率以及通过工具收集代码覆盖率,最终功能覆盖率达到100%,代码覆盖率为93.66%,完成验证工作。验证工作证明:与传统验证方法比较,本文搭建的验证平台能够及时进行数据结果对比检测,及时报告错误信息,自动进行覆盖率收集,极大提高了验证效率。并且验证平台的可重用性较强,大大减少了验证环节消耗的时间及资源,具有很强的工程实用意义,并且对相关IC验证的复杂问题具有参考意义。