随着物联网技术的兴起和5G通信时代的到来,芯片需要满足更高和更复杂的性能要求,这给设计工作带来了极大的挑战。很小的失误便会造成巨大的损失,因而芯片验证的工作愈发重要。传统的验证办法效率较低,可复用性较差,因此验证成本高且覆盖率不足。近年来,以System Verilog验证和UVM(Universal Verification Methodology)为代表的高层次抽象验证技术有效提升了验证效率,并大幅减小了人力和时间成本。论文的主要工作是针对一个窄带2.4Ghz无线通信收发机的数字电路开展验证工作。首先,论文依照系统的定义与说明,将芯片中无线收发机的RTL(Register Transfer Level)设计划分成发射通路、接收通路和频率合成器三个部分,然后逐个展开功能分析与验证工作。对于发射与接收通路,论文详细分析了控制状态机、数字调制、失配校准以及数字下变频等各个功能模块,并提取出完整的功能测试点列表。随后,论文基于功能测试分析与验证目标,确定了验证方案,搭建了基于System Verilog的验证平台,并对数据流节点进行自动比对检查。此外,为了确保控制电路中的时序正确,验证方案中还引入断言设计。而对于频率合成器的数字电路,论文分析了频率选择与粗调以及两点调制等模块,给出了详细的功能测试点与寄存器配置列表。同时,论文结合初步分析结果与实际需求,搭建了UVM验证平台用以对各个计算模块的分节点进行检查。此外,为了处理繁琐的寄存器配置过程,还添加了基于寄存器模型的验证组件。最后,论文依照验证计划对各个功能测试点进行组合,构建了测试场景并完成了仿真实验。通过回归测试统计以及覆盖率分析表明,整个收发机数字电路的功能覆盖率为100%,发射通路代码覆盖率为93.78%,频率综合器部分的代码覆盖率为96.4%。