[发明专利]一种验证处理器的方法、装置、电子设备及存储介质有效
| 申请号： | 202010300290.7 | 申请日： | 2020-04-16 |
| 公开（公告）号： | CN111523283B | 公开（公告）日： | 2023-05-26 |
| 发明（设计）人： | 李炎 | 申请（专利权）人： | 北京百度网讯科技有限公司 |
| 主分类号： | G06F30/34 | 分类号： | G06F30/34;G06F9/30 |
| 代理公司： | 北京品源专利代理有限公司 11332 | 代理人： | 孟金喆 |
| 地址： | 100085 北京市*** | 国省代码： | 北京;11 |
| 权利要求书： | 查看更多 | 说明书： | 查看更多 |
| 摘要： | 本申请公开了一种验证处理器的方法、装置、电子设备及存储介质，涉及集成电路技术领域。具体方案为：在精简指令集中选取一条指令作为当前指令，对当前指令进行随机化处理，将处理后的当前指令加入至指令队列中；重复执行上述操作，直到加入至指令队列中的指令的数量达到预设的指令队列长度；将指令队列中的指令组合为当前指令序列，输入至待验证处理器进行处理，得到当前指令序列的执行结果；若待验证处理器不满足验证收敛条件，重复执行上述操作，直到满足验证收敛条件；根据各个当前指令序列的执行结果，判断待验证处理器是否存在问题。本申请实施例可以针对非典型用例以及非典型应用对处理器进行验证，保证处理器实现的正确性和完整性。 | ||
| 搜索关键词： | 一种 验证 处理器 方法 装置 电子设备 存储 介质 | ||
【主权项】：
暂无信息
下载完整专利技术内容需要扣除积分，VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于北京百度网讯科技有限公司，未经北京百度网讯科技有限公司许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/patent/202010300290.7/，转载请声明来源钻瓜专利网。
