随着片上系统芯片复杂度和集成度的提高,芯片的验证也面临着巨大的挑战。UVM作为业界最新且被广泛应用的验证方法学,很大程度上提高了验证效率。然而在现有的UVM验证平台中,验证组件与DUT紧耦合,导致验证组件的可重用性较差;另一方面,UVM transaction的定义使用了 Field-Automation机制,调用路径过长,增加了测试用例的仿真时间。为此,引入了公用库的概念,以串行总线协议验证为例,采用层次化建模的方法设计了可重用的公用库,通过重写虚函数的方法对传统的transaction定义进行改进。本文的研究工作和创新点如下:1.分析了串行总线协议的共性,提出了一种面向多标准串行总线的硬件设计架构,通过软件配置实现多种串行外设接口协议,基于对该设计规范的理解,提取了验证功能点。2.针对现有验证平台的缺陷,提出了层次化的公用库设计。层次化的公用库是基于验证平台的重用层级和内容来进行管理和建模,主要包括:事务级建模、组件级建模、功能级建模和UVC级建模。相比于原有的验证平台,公用库的设计提高了验证组件的可重用性,缩短了验证平台的开发周期。3.针对仿真时间长的缺陷,提出了改进的transaction定义。改进的transaction定义没有宏体的声明,并根据协议内容重写相应的虚函数。相比于原有的transaction定义,改进的transaction定义减少了过长的路径调用,重写的虚函数代码量少,没有冗余代码的执行,提高了仿真效率。本文基于公用库和改进的transaction定义完成了串行总线验证平台的设计,设计测试用例完成了串行总线模块级和芯片级的功能验证。实验结果表明该公用库可用于验证平台的快速搭建,改进的transaction可使仿真时间缩短10.7%,提高了验证效率。