[发明专利]基于VMM RAL的寄存器自动化验证方法

权利要求书

1.一种基于寄存器抽象层的验证方法学VMM RAL的寄存器自动化验证方法，其特征在于，包括如下步骤：

步骤一、根据设计说明书初始化一个具有固定格式的描述寄存器的微软办公表格Excel；

步骤二、利用脚本工具从微软办公表格Excel中转换出验证方法学VMM的寄存器传输级文件产生ralgen命令能够识别的扩展名为.ralf文件，利用寄存器传输级文件产生ralgen命令基于.ralf文件产生描述寄存器的寄存器抽象层验证技术和方案RAL模型文件；

步骤三、在验证环境平台中例化和调用所述RAL模型文件，选择要验证的寄存器并使用通用寄存器验证任务模块进行验证。

2.如权利要求1所述的方法，其特征在于：步骤二中所述脚本工具能够提取微软办公表格Excel中所有信息，并根据不同的模式产生与之相应的.ralf文件。

3.如权利要求1所述的方法，其特征在于：实施步骤三的具体方法是，采用0-1漫步，棋盘格，改进的matchC算法作为寄存器故障验证的算法任务来进行调用，将寄存器类型进行分类，根据不同类型寄存器采用归一化标准验证流程进行验证，并对激励文件进行配置，采用不同级别验证策略对寄存器进行由浅入深的可选择性验证。

4.如权利要求1或3所述的方法，其特征在于：所述通用寄存器验证任务模块具有可配置性，可配置是否对一些特定的寄存器进行验证；包括对寄存器初始值的验证、复位值的验证、读写功能的验证、寄存器内的位耦合的验证和寄存器间的耦合情况的验证的通用寄存器验证任务模块。

5.如权利要求3所述的方法，其特征在于：所述改进的March C算法，即在March C算法的每一轮读写操作中，使用的写入数据是棋盘格方式的数据；使用March C算法一次性完成寄存器读写功能、寄存器内的位耦合和寄存器间耦合的验证。

6.如权利要求3所述的方法，其特征在于：所述0-1漫步是指在对寄存器进行读写操作时，每个比特位bit逐次独立进行遍历操作，验证寄存器的读写功能。

7.如权利要求3所述的方法，其特征在于：所述棋盘格主要通过读写数据为55或者AA来进行寄存器遍历操作，检查是否存在强置0或者强置1故障，验证寄存器的读写功能。

8.如权利要求1所述的方法，其特征在于：实施步骤三时，使用后门访问的方式来验证非可读可写寄存器读写权限功能的验证，即针对寄存器的某种特殊的读写权限，对寄存器的域置1或清0，然后再通过总线的方式读写。

9.如权利要求1所述的方法，其特征在于：实施步骤三时，使用全遍历方式来验证芯片所有寄存器的功能。

10.如权利要求1所述的方法，其特征在于：所述验证环境平台采用基于寄存器抽象层的验证方法学VMM RAL方法搭建，并用脚本组织运行。

11.如权利要求1或10所述的方法，其特征在于：所述验证环境平台通过基本事物访问函数调用寄存器抽象层验证技术和方案RAL内部寄存器进行访问；

所述验证环境平台对寄存器访问的激励，通过配置数据产生器以及寄存器抽象层验证技术和方案RAL模型文件后，通过通道传送给所述基本事物访问函数，再通过拥有知识产权保护的验证标准模块VIP对快速总线或慢速总线进行信号级访问。

12.如权利要求11所述的方法，其特征在于：对所述快速总线或慢速总线进行操作时，可以支持包括8位，16位和32位三种操作方式。

13.如权利要求1或2所述的方法，其特征在于：所述微软办公表格中包括寄存器的名字、基地址、偏移地址、不同模式下操作权限和复位值信息。