(19)国家知识产权局 (12)发明 专利申请 (10)申请公布号 (43)申请公布日 (21)申请 号 202210418194.1 (22)申请日 2022.04.21 (71)申请人 杭州云合智网技 术有限公司 地址 311203 浙江省杭州市萧 山区金城路 39号紫橙国际中心 2号楼12层 (72)发明人 马骁　 (74)专利代理 机构 上海洞见 未来专利代理有限 公司 31467 专利代理师 苗绘 (51)Int.Cl. G06F 30/33(2020.01) G06F 30/3323(2020.01) G06F 30/3312(2020.01) G06F 11/36(2006.01) G06F 9/445(2018.01) (54)发明名称 记分板和断言检查相结合的验证方法 (57)摘要 本发明公开了一种记分板和断言检查相结 合的验证方法， 包含如下步骤： 在记分板里声明 uvm_event事件， 用于控制断言的使能开 关变量； 在UVM的phase机制中的build_phase里对uvm_ event事件进行 实例化， 并传入到UV M的配置数据 库里； 将所有用于检查的断言封装到一个 package包文件中， 并可通过disable  iff()关键 字来控制断言的开关状态； 在package包文件中 创建派生于uvm_object的断言配置对象； 创建验 证平台， 在验证平台的顶层模块里导入package 包文件， 用于让验证平台的验证环 境可以使用封 装好的断言检查和断言配置对象； 在程序控制块 里按照执行顺序依次执行检查命令， 获取断言检 查的结果， 从而实现对记分板中追踪到的问题的 进一步的时序及协议的信号级检查。 本发明可提 高验证工作效率和验证质量。 权利要求书2页 说明书6页 附图3页 CN 114707448 A 2022.07.05 CN 114707448 A 1.一种记分板和断言检查相结合的验证方法， 其特 征在于， 包 含如下步骤： 在记分板里声明uvm_event事 件， 用于控制断言的使能开关变量； 在UVM的phase机制中的build_phase里对所述uvm_event事件进行实例化， 并传入到 UVM的配置数据库里； 将所有用于检查的所述断言封装到一个package包文件中， 并可通过disable  iff()关 键字来控制所述断言的开关状态； 在所述packa ge包文件中创建派生于uvm_object的断言配置对象； 创建验证平台， 在所述验证平台的顶层模块里导入所述package包文件， 用于让所述验 证平台的验证环境可以使用封装好的断言检查和断言配置对象； 在所述验证平台的顶层模块的程序控制块里按照执行顺序依次执行检查命令， 获取所 述断言检查的结果， 从而实现对所述记分板中追踪到的问题的进一步的时序及协议的信号 级检查。 2.如权利要求1所述记分板和断言检查相结合的验证方法， 其特征在于， 所述断言配置 对象中包括： 控制断言的使能开关变量、 仿真时间变量以及其他并发断言中需要使用到的 仿真过程变量。 3.如权利要求2所述记分板和断言检查相结合的验证方法， 其特征在于， 所述使能开关 变量、 所述仿真时间变量 以及所述仿真过程变量需使用static关键字设置成全局静态变 量。 4.如权利要求3所述记分板和断言检查相结合的验证方法， 其特征在于， 在所述验证平 台的顶层模块的程序控制块里按照执行顺序依次执行检查命令， 获取所述断言检查的结果 包含如下子步骤： 声明并实例化所述断言配置对象； 阻塞等待所述验证平台执行到刚好要进入消耗仿真时间的运行阶段， 通过end_of_ elaboration_phase句柄调用wait_for_state方法， 把参数UVM_PHASE_D ONE和UVM_EQ传递 进所述验证平台来 等待所述end_of_elaborati on_phase阶段的运行 结束； 从所述UVM的配置数据库中获取在 所述记分板里的所述uvm_event事件， 调用获取的所 述uvm_event事 件的wait_t rigger方法来 等待所述uvm_event事 件被触发； 当所述uvm_event事件被触发后， 获取在所述记分板中uvm_event事件触发时的数据变 量； 将所述数据变量赋值给 所述packa ge包文件中的所述断言配置对象的全局静态变量； 调用所述package包文件中相应的并发断言进行检查， 将所述断言配置对象的全局静 态变量作为所述并发断言检查的输入参数进行传入， 获取断言检查的结果。 5.如权利要求4所述记分板和断言检查相结合的验证方法， 其特征在于， 所述数据变量 包含： 打开的断言控制开关、 仿真时间以及其 他仿真过程 参数变量。 6.如权利要求5所述记分板和断言检查相结合的验证方法， 其特征在于， 将所述数据变 量赋值给 所述packa ge包文件中的所述断言配置对象的全局静态变量包 含如下子步骤： 将获取的所述打开的断言控制开关赋值给所述package包文件中的所述使能开关变 量， 使所述使能开关变量 为使能打开状态； 将获取的所述仿真时间赋值给所述package包文件中的所述仿真时间变量， 使所述仿权　利　要　求　书 1/2 页 2 CN 114707448 A 2真时间变量 为所述记分板出现比较问题时的仿真运行时间。 7.如权利要求6所述记分板和断言检查相结合的验证方法， 其特征在于， 将所述数据变 量赋值给 所述packa ge包文件中的所述断言配置对象的全局静态变量还 包含如下子步骤： 根据项目需要， 将所述其他仿真过程参数变量传递给所述其他并发断言中需要使用到 的仿真过程变量。权　利　要　求　书 2/2 页 3 CN 114707448 A 3