买专利卖专利找龙图腾，真高效！ 查专利查商标用IPTOP,全免费！专利年费监控用IP管家,真方便！

龙图腾网获悉杭州云合智网技术有限公司申请的专利记分板和断言检查相结合的验证方法获国家发明授权专利权，本发明授权专利权由国家知识产权局授予，授权公告号为：CN114707448B 。

龙图腾网通过国家知识产权局官网在2025-11-21发布的发明授权授权公告中获悉：该发明授权的专利申请号/专利号为：202210418194.1，技术领域涉及：G06F30/33；该发明授权记分板和断言检查相结合的验证方法是由马骁设计研发完成，并于2022-04-21向国家知识产权局提交的专利申请。

本记分板和断言检查相结合的验证方法在说明书摘要公布了：本发明公开了一种记分板和断言检查相结合的验证方法，包含如下步骤：在记分板里声明uvm_event事件，用于控制断言的使能开关变量；在UVM的phase机制中的build_phase里对uvm_event事件进行实例化，并传入到UVM的配置数据库里；将所有用于检查的断言封装到一个package包文件中，并可通过disableiff关键字来控制断言的开关状态；在package包文件中创建派生于uvm_object的断言配置对象；创建验证平台，在验证平台的顶层模块里导入package包文件，用于让验证平台的验证环境可以使用封装好的断言检查和断言配置对象；在程序控制块里按照执行顺序依次执行检查命令，获取断言检查的结果，从而实现对记分板中追踪到的问题的进一步的时序及协议的信号级检查。本发明可提高验证工作效率和验证质量。

本发明授权记分板和断言检查相结合的验证方法在权利要求书中公布了：1.一种记分板和断言检查相结合的验证方法，其特征在于，包含如下步骤： 在记分板里声明uvm_event事件，用于控制断言的使能开关变量； 在UVM的phase机制中的build_phase里对所述uvm_event事件进行实例化，并传入到UVM的配置数据库里； 将所有用于检查的所述断言封装到一个package包文件中，并通过disableiff关键字来控制所述断言的开关状态； 在所述package包文件中创建派生于uvm_object的断言配置对象； 创建验证平台，在所述验证平台的顶层模块里导入所述package包文件，用于让所述验证平台的验证环境使用封装好的断言检查和断言配置对象； 在所述验证平台的顶层模块的程序控制块里按照执行顺序依次执行检查命令，获取所述断言检查的结果，从而实现对所述记分板中追踪到的问题的进一步的时序及协议的信号级检查； 所述断言配置对象中包括：控制断言的使能开关变量、仿真时间变量以及其他并发断言中需要使用到的仿真过程变量； 所述使能开关变量、所述仿真时间变量以及所述仿真过程变量需使用static关键字设置成全局静态变量； 在所述验证平台的顶层模块的程序控制块里按照执行顺序依次执行检查命令，获取所述断言检查的结果包含如下子步骤： 声明并实例化所述断言配置对象； 阻塞等待所述验证平台执行到刚好要进入消耗仿真时间的运行阶段，通过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包文件中相应的并发断言进行检查，将所述断言配置对象的全局静态变量作为所述并发断言检查的输入参数进行传入，获取断言检查的结果。

如需购买、转让、实施、许可或投资类似专利技术，可联系本专利的申请人或专利权人杭州云合智网技术有限公司，其通讯地址为：311203 浙江省杭州市萧山区金城路39号紫橙国际中心2号楼12层；或者联系龙图腾网官方客服，联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。

以上内容由龙图腾AI智能生成。