[发明专利]记分板和断言检查相结合的验证方法在审
| 申请号： | 202210418194.1 | 申请日： | 2022-04-21 |
| 公开（公告）号： | CN114707448A | 公开（公告）日： | 2022-07-05 |
| 发明（设计）人： | 马骁 | 申请（专利权）人： | 杭州云合智网技术有限公司 |
| 主分类号： | G06F30/33 | 分类号： | G06F30/33;G06F30/3323;G06F30/3312;G06F11/36;G06F9/445 |
| 代理公司： | 上海洞见未来专利代理有限公司 31467 | 代理人： | 苗绘 |
| 地址： | 311203 浙江省杭州市萧*** | 国省代码： | 浙江;33 |
| 权利要求书： | 查看更多 | 说明书： | 查看更多 |
| 摘要： | 本发明公开了一种记分板和断言检查相结合的验证方法，包含如下步骤：在记分板里声明uvm_event事件，用于控制断言的使能开关变量；在UVM的phase机制中的build_phase里对uvm_event事件进行实例化，并传入到UVM的配置数据库里；将所有用于检查的断言封装到一个package包文件中，并可通过disable iff()关键字来控制断言的开关状态；在package包文件中创建派生于uvm_object的断言配置对象；创建验证平台，在验证平台的顶层模块里导入package包文件，用于让验证平台的验证环境可以使用封装好的断言检查和断言配置对象；在程序控制块里按照执行顺序依次执行检查命令，获取断言检查的结果，从而实现对记分板中追踪到的问题的进一步的时序及协议的信号级检查。本发明可提高验证工作效率和验证质量。 | ||
| 搜索关键词： | 记分 断言 检查 相结合 验证 方法 | ||
【主权项】：
暂无信息
下载完整专利技术内容需要扣除积分，VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于杭州云合智网技术有限公司，未经杭州云合智网技术有限公司许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/patent/202210418194.1/，转载请声明来源钻瓜专利网。
- 上一篇：一种气柱袋截取装置及其使用方法
- 下一篇：寄存器间接访问的验证模型实现框架
