现如今,物联网遍布在我们生活中的各个角落,而各个物联网设备中的芯片则是万物互联实现的硬件基础。然而随着芯片的设计规模与复杂度快速增长,使得从模块级到系统级乃至芯片级的验证工作的难度显著提高。因此,在保证工程质量的前提下如何提升验证效率、节省验证工作时间及所消耗资源则是亟待解决的问题。传统的验证主要是采用向被验对象施加直接激励的方式,而在面对规模较大、功能较复杂的设计时,此验证方式无法保证其验证效率和验证完备性。为了面对上述挑战,需要找到一套成熟的验证方法来进行验证工作,而此验证方法应具有工作效率高、所搭建平台复用性高和验证完备性好等诸多优势。本文基于UVM(Universal Verification Methodology,通用验证方法学)对一款用于低功耗蓝牙芯片中的2.4 GHz通信基带模块进行功能验证,该模块搭载在APB(Advanced Peripheral Bus,高级外围总线)上,并将APB总线数据与射频模块传来的数据进行格式转换。由于此通信芯片主要应用于无线外设,故其工作场景繁多、工作情况过于复杂。为了保证验证的完备性与高效性,在比较了诸多语言和方法学之后,选择基于UVM验证方法学来完成验证平台构建并进行相应功能验证。首先按照设计规格书并结合工程需求,完成验证功能点的提取及验证计划的设计。其次根据验证计划将APB总线模型等其他验证组件和事务类、配置类及寄存器模型均集成到验证平台中,完成验证平台构建工作。然后按照提取出的待测功能点设计相应序列及测试用例,并对待测设计进行不同测试用例情况下的仿真调试。最后,进行随机测试与递归测试,同时收集2.4 GHz通信基带模块的代码覆盖率和功能覆盖率。本文以UVM为基础设计了2.4 GHz通信基带模块的验证平台,并采用随机激励与直接激励组合的方式,结合各个测试用例下的仿真波形和仿真报告确认2.4 GHz通信基带模块在各个场景下均工作正常。在覆盖率收集阶段,通过大量随机测试和递归测试,最终将代码覆盖率提升到97.43%,并对代码覆盖率中未覆盖到的部分进行解释并将其记录在验证报告中。同时将功能覆盖率提升到100%。以此说明验证计划中提取到的所有验证功能点均已覆盖,至此说明本次验证工作达到工程标准要求。与之前的直接验证方式进行比较,本课题所使用的验证方法在保留了对于边界情况的直接测试的基础上,又进行了大量的随机测试,以此保证所有工作场景均被建立。在代码编写工作的层面比较,基于UVM构建的验证平台结构清晰,并减少了大量的代码编写时间,而且验证平台具有一定复用性。基于上述优势,使得基带模块前期的功能验证较为完备,大大降低了FPGA板级测试时出现漏洞的几率,进而缩短了整体的验证周期。