[发明专利]一种用于处理器指令集的并行自动化验证方法有效
| 申请号： | 201811190340.X | 申请日： | 2018-10-12 |
| 公开（公告）号： | CN109189479B | 公开（公告）日： | 2023-02-24 |
| 发明（设计）人： | 张辉;孙健;王璟琛;刘明;王宇飞 | 申请（专利权）人： | 西安微电子技术研究所 |
| 主分类号： | G06F9/38 | 分类号： | G06F9/38 |
| 代理公司： | 西安通大专利代理有限责任公司 61200 | 代理人： | 徐文权 |
| 地址： | 710065 陕西*** | 国省代码： | 陕西;61 |
| 权利要求书： | 查看更多 | 说明书： | 查看更多 |
| 摘要： | 本发明公开了一种用于处理器指令集的并行自动化验证方法，首先自动生成指令验证用例；然后对验证用例在RTL电路上进行仿真，监测仿真结果；同时对步骤1得到的验证用例经处理器参考模型进行处理，计算期望结果；最后对仿真结果和期望结果进行格式一致性处理，然后进行对比，当二者结果一致时，则仿真结果正确；当二者结果不一致时，则仿真结果错误，并生成错误日志。本发明方法能够在有限的时间内进行高效、全面、准确的指令仿真验证，以保证芯片功能的正确性。 | ||
| 搜索关键词： | 一种 用于 处理器 指令 并行 自动化 验证 方法 | ||
【主权项】：
1.一种用于处理器指令集的并行自动化验证方法，其特征在于，包括以下步骤：步骤1：自动生成指令验证用例；步骤2：对步骤1得到的验证用例批量提交到超算服务器上，在实际RTL电路上进行多个任务的并行仿真，监测仿真结果；同时对步骤1得到的验证用例经处理器参考模型进行处理，计算期望结果；步骤3：对仿真结果和期望结果进行格式一致性处理，然后进行对比，当二者结果一致时，则仿真结果正确；当二者结果不一致时，则仿真结果错误；并生成结果日志文件。
下载完整专利技术内容需要扣除积分，VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于西安微电子技术研究所，未经西安微电子技术研究所许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/patent/201811190340.X/，转载请声明来源钻瓜专利网。
- 上一篇：针对应用程序的反馈优化方法
- 下一篇：文件系统启动方法及装置
