[发明专利]记分板和断言检查相结合的验证方法

权利要求书

1.一种记分板和断言检查相结合的验证方法，其特征在于，包含如下步骤：

在记分板里声明uvm_event事件，用于控制断言的使能开关变量；

在UVM的phase机制中的build_phase里对所述uvm_event事件进行实例化，并传入到UVM的配置数据库里；

将所有用于检查的所述断言封装到一个package包文件中，并可通过disable iff()关键字来控制所述断言的开关状态；

在所述package包文件中创建派生于uvm_object的断言配置对象；

创建验证平台，在所述验证平台的顶层模块里导入所述package包文件，用于让所述验证平台的验证环境可以使用封装好的断言检查和断言配置对象；

在所述验证平台的顶层模块的程序控制块里按照执行顺序依次执行检查命令，获取所述断言检查的结果，从而实现对所述记分板中追踪到的问题的进一步的时序及协议的信号级检查。

2.如权利要求1所述记分板和断言检查相结合的验证方法，其特征在于，所述断言配置对象中包括：控制断言的使能开关变量、仿真时间变量以及其他并发断言中需要使用到的仿真过程变量。

3.如权利要求2所述记分板和断言检查相结合的验证方法，其特征在于，所述使能开关变量、所述仿真时间变量以及所述仿真过程变量需使用static关键字设置成全局静态变量。

4.如权利要求3所述记分板和断言检查相结合的验证方法，其特征在于，在所述验证平台的顶层模块的程序控制块里按照执行顺序依次执行检查命令，获取所述断言检查的结果包含如下子步骤：

声明并实例化所述断言配置对象；

阻塞等待所述验证平台执行到刚好要进入消耗仿真时间的运行阶段，通过end_of_elaboration_phase句柄调用wait_for_state方法，把参数UVM_PHASE_DONE和UVM_EQ传递进所述验证平台来等待所述end_of_elaboration_phase阶段的运行结束；

从所述UVM的配置数据库中获取在所述记分板里的所述uvm_event事件，调用获取的所述uvm_event事件的wait_trigger方法来等待所述uvm_event事件被触发；

当所述uvm_event事件被触发后，获取在所述记分板中uvm_event事件触发时的数据变量；

将所述数据变量赋值给所述package包文件中的所述断言配置对象的全局静态变量；

调用所述package包文件中相应的并发断言进行检查，将所述断言配置对象的全局静态变量作为所述并发断言检查的输入参数进行传入，获取断言检查的结果。

5.如权利要求4所述记分板和断言检查相结合的验证方法，其特征在于，所述数据变量包含：打开的断言控制开关、仿真时间以及其他仿真过程参数变量。

6.如权利要求5所述记分板和断言检查相结合的验证方法，其特征在于，将所述数据变量赋值给所述package包文件中的所述断言配置对象的全局静态变量包含如下子步骤：

将获取的所述打开的断言控制开关赋值给所述package包文件中的所述使能开关变量，使所述使能开关变量为使能打开状态；

将获取的所述仿真时间赋值给所述package包文件中的所述仿真时间变量，使所述仿真时间变量为所述记分板出现比较问题时的仿真运行时间。

7.如权利要求6所述记分板和断言检查相结合的验证方法，其特征在于，将所述数据变量赋值给所述package包文件中的所述断言配置对象的全局静态变量还包含如下子步骤：

根据项目需要，将所述其他仿真过程参数变量传递给所述其他并发断言中需要使用到的仿真过程变量。