[发明专利]一种处理器硅前验证用的RTL与参考模型实时比较方法有效
| 申请号： | 201910850481.8 | 申请日： | 2019-09-10 |
| 公开（公告）号： | CN110727584B | 公开（公告）日： | 2021-04-30 |
| 发明（设计）人： | 高剑刚;朱巍;宁永波;李峰;菅陆田;谢军;吴珊;刘佳季 | 申请（专利权）人： | 无锡江南计算技术研究所 |
| 主分类号： | G06F11/36 | 分类号： | G06F11/36 |
| 代理公司： | 浙江千克知识产权代理有限公司 33246 | 代理人： | 汪丹琪 |
| 地址： | 214100 江苏*** | 国省代码： | 江苏;32 |
| 权利要求书： | 查看更多 | 说明书： | 查看更多 |
| 摘要： | 一种处理器硅前验证用的RTL与参考模型实时比较方法，属于中央处理器芯片硅前功能正确性验证技术领域。方法包括步骤S01，当监测到RTL的通用寄存器回写信号时，将RTL回写的值记录于Testbench中的RTL缓冲内；步骤S02，比较Testbench中的RTL缓冲中条目和Testbench中参考模型缓冲中条目，若相等，则返回步骤S01，若不相等，则报错退出。本发明能够支持不同体系结构的处理器运行结果的正确性的实时比较，可在处理器的正确性验证中实现指令级的精确结果比较，提高验证环境构建速度和可靠性，提高处理器验证效率，降低处理器验证的难度和门槛。 | ||
| 搜索关键词： | 一种 处理器 验证 rtl 参考 模型 实时 比较 方法 | ||
【主权项】：
1.一种处理器硅前验证用的RTL与参考模型实时比较方法，其特征在于，包括：/n步骤S01，当监测到RTL的通用寄存器回写信号时，将RTL回写的值记录于Testbench中的RTL缓冲内；/n步骤S02，比较Testbench中RTL缓冲中条目和Testbench中参考模型缓冲中条目，若相等，则返回步骤S01，若不相等，则报错退出。/n
下载完整专利技术内容需要扣除积分，VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于无锡江南计算技术研究所，未经无锡江南计算技术研究所许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/patent/201910850481.8/，转载请声明来源钻瓜专利网。
