[发明专利]用于片上系统芯片验证的方法、系统及验证平台

说明书

用于片上系统芯片验证的方法，包括建立包括接口协议组件、总线协议组件和验证组件的组件库；创建控制文件以控制验证平台，控制文件包括控制参数；根据验证需求，建立用于片上系统芯片的各处理器运行的软件库，建立用于组件库中相应组件的激励库，软件库包括各处理器的执行软件，激励库包括能发出各通用接口协议的激励的发生器；基于验证需求和控制文件，建立包括多个脚本文件的脚本库，脚本库包括验证平台控制文件解析脚本；在验证场景被确定的情况下，脚本解析验证平台的控制文件，以获得验证平台的控制参数；根据控制参数，从组件库选取所需组件以及从激励库中选取需要的激励以生成验证平台；以及通过验证平台来验证片上系统芯片。

技术领域

本发明涉及芯片的验证，更为具体地，涉及用于片上系统(Systems-on-Chip，SoC)芯片验证的技术。

背景技术

SoC(System on Chip)芯片是将一个完整的系统集成在单个芯片上。由于SoC芯片的设计规模和结构复杂度呈指数增长，使得SoC芯片的系统级验证在验证完备性和验证效率上面临越来越大的挑战。

常规的验证方式基于SV(System Verilog)这种面向对象编程的抽象级高级语言，在UVM(Universal Verification Methodology,通用验证方法学)库的基础上搭建验证平台和构造验证用例，在EDA(Electronic Design Automation，电子设计自动化)工具中进行仿真验证。按照这种方式，通常要搭建完整、复杂的验证环境来对SoC芯片进行功能仿真。这种传统的验证结构中，即使是只验证其中一个处理器的功能，都需要改验证结构中的所有部件参与其中，也就是说，验证结构中的各处理器、协处理器等都需要模拟运行。这使得验证资源消耗大、花费的时间也相对长。

发明内容

本申请提出一种改进的用于片上系统芯片验证的方法。该方法包括：为所述片上系统芯片建立至少包括接口协议组件、总线协议组件、和验证组件的组件库；根据验证需求，创建控制文件，所述控制文件用于控制用来验证所述片上系统芯片的验证平台，所述控制文件包括控制参数；根据所述片上系统芯片的验证需求，建立用于所述片上系统芯片的各处理器运行的软件库，建立用于所述组件库中相应组件的激励库，其中，所述软件库至少包括各处理器的执行软件，所述激励库至少包括能发出各通用接口协议的激励的发生器；基于所述验证需求和所述控制文件，建立包括多个脚本文件的脚本库，所述脚本库包括验证平台控制文件解析脚本；在验证场景被确定的情况下，脚本解析所述验证平台的所述控制文件，以获得所述验证平台的控制参数；根据所述控制参数，从所述组件库选取所需组件以及从所述激励库中选取需要的激励以生成所述验证平台；以及通过所述验证平台来验证所述片上系统芯片。

根据本申请的一些示例，所述用于片上系统芯片验证的方法中，脚本库还包括验证环境生成脚本、调用寄存器模型生成脚本、仿真脚本、回归脚本、寄存器生成脚本。

根据本申请的一些示例，所述用于片上系统芯片验证的方法中，根据所述控制参数，从所述组件库选取所需组件以及从所述激励库中选取需要的激励以生成所述验证平台包括：所述仿真脚本获取所述验证平台总线和接口的配置情况，并根据所述片上系统芯片内的系统总线挂载的各接口的参数生成相应的总线接口模型配置文件；以及当仿真所述片上系统芯片处理器中的特定处理器或接口时，依据所述总线接口模型配置文件将该特定处理器或接口配置为相应处理器或接口以便仿真，而将其余处理器或其余接口替换为总线模型以避免其参与仿真。

根据本申请的一些示例，所述用于片上系统芯片验证的方法中，根据所述控制参数，从所述组件库选取所需组件以及从所述激励库中选取需要的激励以生成所述验证平台还包括：所述验证环境生成脚本获取所述验证平台的配置参数，从所述组件库选取所需的验证组件、接口组件，生成所述验证平台的基本框架；调用寄存器模型生成脚本读取平台配置文件中寄存器文件生成寄存器模型代码和相应的适应性组件；根据所述验证平台的配置中组件的连接关系，生成验证环境的顶层；并根据所述验证平台的各参数，生成所述验证环境的配置文件，以便控制所述验证环境的所有配置参数。