随着IP核在SOC中数量增加至一定规模后,传统的片上互连总线由于扩展性差、延迟高以及面积、功耗等问题无法满足系统性能的需求。片上网络作为一种可扩展且结构化的互连结构,从体系上解决了传统总线面临的难题。本文针对片上网络的功能验证,结合Specman-Elite和总线eVC搭建了一个具有可扩展性强、可重用性好的验证平台,并且基于该验证平台提出了一种自动化验证方法。本论文结合Intel某移动端基带芯片详细介绍了片上网络的验证环境搭建,该验证环境是基于e语言编码实现的,主要由两部分构成:第一,由设计厂商直接提供的具有标准协议的总线eVC;第二,为了使总线eVC能够模拟IP接口,搭建一个可以统一配置eVC的验证环境,即NVE。NVE是一个非常灵活、可重用性好的验证环境,不会因为在拓扑结构中增加或者移除一些外围模块而受到影响。NVE具有以下优点:首先,在RTL代码的移植方面上,NVE的数据库可以描述有关拓扑结构的端口信息,只要数据库捕获到这些端口信息,数据库可以自动完成验证环境的配置;其次,在仿真性能方面上,仿真拓扑可以根据实际需求来指定相应的拓扑结构,以缩短NVE在功能验证中所消耗的时间;最后,在验证环境方面上,具有简单、高效的特点。在搭建片上网络验证平台的过程中,由于传统的搭建方式效率低而且易出错,因此本文针对NVE提出了一种自动化验证方法,使用脚本工具自动化完成验证平台的搭建。参量的选取、模板的设计和最终自动化工具的编码实现将会在本文中详细阐述。本方法已经实际应用于数字芯片验证项目,结果表明:自动化验证方法在验证平台搭建的方面至少提高了70%的效率,在验证计划方面显著减少了人力资源的投入。同时相较于传统验证方式,使用脚本工具搭建的验证环境具有可靠性高、可复用性好的特点。因此,本文所提出的自动化验证方法具有一定的现实意义,不仅提高了芯片验证的效率、缩短了芯片研发的周期,还对于同类的设计和验证工作提供了一定的参考价值。