记分板和断言检查相结合的验证方法
基本信息
| 申请号 | CN202210418194.1 | 申请日 | - |
| 公开（公告）号 | CN114707448A | 公开（公告）日 | 2022-07-05 |
| 申请公布号 | CN114707448A | 申请公布日 | 2022-07-05 |
| 分类号 | G06F30/33（2020.01）I;G06F30/3323（2020.01）I;G06F30/3312（2020.01）I;G06F11/36（2006.01）I;G06F9/445（2018.01）I | 分类 | 计算；推算；计数; |
| 发明人 | 马骁 | 申请（专利权）人 | 杭州云合智网技术有限公司 |
| 代理机构 | 上海洞见未来专利代理有限公司 | 代理人 | - |
| 地址 | 311203浙江省杭州市萧山区金城路39号紫橙国际中心2号楼12层 | ||
| 法律状态 | - | ||
摘要
| 摘要 | 本发明公开了一种记分板和断言检查相结合的验证方法，包含如下步骤：在记分板里声明uvm_event事件，用于控制断言的使能开关变量；在UVM的phase机制中的build_phase里对uvm_event事件进行实例化，并传入到UVM的配置数据库里；将所有用于检查的断言封装到一个package包文件中，并可通过disable iff（）关键字来控制断言的开关状态；在package包文件中创建派生于uvm_object的断言配置对象；创建验证平台，在验证平台的顶层模块里导入package包文件，用于让验证平台的验证环境可以使用封装好的断言检查和断言配置对象；在程序控制块里按照执行顺序依次执行检查命令，获取断言检查的结果，从而实现对记分板中追踪到的问题的进一步的时序及协议的信号级检查。本发明可提高验证工作效率和验证质量。 |
