[发明专利]待测器件验证装置及相关产品有效
| 申请号： | 201910288744.0 | 申请日： | 2019-04-10 |
| 公开（公告）号： | CN110059390B | 公开（公告）日： | 2022-12-09 |
| 发明（设计）人： | 不公告发明人 | 申请（专利权）人： | 中科寒武纪科技股份有限公司 |
| 主分类号： | G06F30/3308 | 分类号： | G06F30/3308 |
| 代理公司： | 广州三环专利商标代理有限公司 44202 | 代理人： | 郝传鑫;熊永强 |
| 地址： | 100000 北京市海*** | 国省代码： | 北京;11 |
| 权利要求书： | 查看更多 | 说明书： | 查看更多 |
| 摘要： | 本申请提供了一种待测器件验证装置及相关产品，该待测器件验证装置用于进行机器状态验证，本申请实施例通过构建地址依赖树，并根据机器状态快照反复对指令序列进行验证，直到获得作错误指令，从而，可准确、快速地对指令序列进行验证，确定错误指令所在的位置，提高机器状态验证的效率。 | ||
| 搜索关键词： | 器件 验证 装置 相关 产品 | ||
【主权项】：
1.一种待测器件验证装置，其特征在于，所述待测器件验证装置包括执行器和控制器，其中，所述执行器，用于根据地址依赖树执行当前指令序列，得到所述当前指令序列的执行结果，所述地址依赖树中每一节点包括用于访问与节点对应的节点指令的地址区间和对应的节点指令的指令标志PC值；所述控制器，还用于根据所述当前指令序列的执行结果更新目标PC值，直至所述目标PC值满足预设条件，将所述目标PC值对应的节点指令作为所述初始指令序列中导致错误的指令。
下载完整专利技术内容需要扣除积分，VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于中科寒武纪科技股份有限公司，未经中科寒武纪科技股份有限公司许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/patent/201910288744.0/，转载请声明来源钻瓜专利网。
