待测器件验证装置及相关产品制造方法及图纸

本申请提供了一种待测器件验证装置及相关产品，该待测器件验证装置用于进行机器状态验证，本申请实施例通过地址依赖树在指令序列中加入探针指令，根据探针指令的执行结果重新对指令序列进行验证，直到获得作导致错误的指令，从而，可准确、快速地对指令序列进行验证，确定导致错误的指令所在的位置，提高待测器件的验证速率。

Testing Device Verification Device and Related Products

【技术实现步骤摘要】
待测器件验证装置及相关产品
本申请涉及芯片验证
，具体涉及一种待测器件验证装置及相关产品。
技术介绍
随着硅材料半导体工艺接近物理极限，在单位面积的硅材料芯片上集成更多的晶体管变得越来越困难。电子器件中集成电路集成的功能越来越多，处理器需要执行的指令数量也越来越多，这就使执行器中的指令集的验证越来越复杂，对验证技术提出了新的挑战，因此，在对待测器件进行验证时，如何准确、高效地对待测器件进行验证成为需要考虑的问题。
技术实现思路
本申请实施例提供了一种待测器件验证装置及相关产品，可针对集成指令数量较多的待检测器件，快速、准确地定位导致错误的指令所在的位置，提升待测器件验证效率。第一方面，提供一种待测器件验证装置，所述待测器件验证装置包括执行器和控制器，其中，所述执行器，用于运行指令序列；所述控制器，用于在根据所述指令序列的执行结果确定所述指令序列中存在导致错误的指令时，在地址依赖树的至少一个节点指令后面加入探针指令，获得新的指令序列；所述执行器，还用于对所述新的指令序列进行验证；所述控制器，还用于根据所述探针指令的执行结果确定目标PC值，直至所述目标PC值满足预设条件，将满足预设条件的所述目标PC值对应的节点指令作为所述指令序列中导致错误的指令。第二方面，本申请实施例提供了一种待测器件验证方法，应用于待测器件验证装置，所述待测器件验证装置包括执行器和控制器，所述方法包括：所述执行器运行指令序列；所述控制器在根据所述指令序列的执行结果确定所述指令序列中存在导致错误的指令时，在地址依赖树的至少一个节点指令后面加入探针指令，获得新的指令序列；所述执行器对所述新的指令序列进行验证；所述控制器根据所述探针指令的执行结果确定目标PC值，直至所述目标PC值满足预设条件，将满足预设条件的所述目标PC值对应的节点指令作为所述指令序列中导致错误的指令。可选地，所述在地址依赖树的至少一个节点指令后面加入探针指令，获得新的指令序列，包括：所述控制器在所述地址依赖树中每一节点的每一PC值对应的节点指令后面加入探针指令，得到所述新的指令序列。可选地，所述在地址依赖树的至少一个节点指令后面加入探针指令，获得新的指令序列，包括：所述控制器获取所述地址依赖树中节点的标记信息，所述标记信息用于确定所述节点中每一PC值对应的节点指令是否需要插入探针指令；根据所述地址依赖树中节点的标记信息，在标记为需要加入探针指令的节点的每一PC值对应的节点指令后面加入探针指令，得到所述新的指令序列。可选地，所述获取所述地址依赖树中节点的标记信息，包括：若当前被访问的节点中至少一个PC值对应的节点指令后面的探针指令的执行结果错误，则所述控制器将所述当前被访问的节点的子节点标记为需要加入探针指令；若所述当前被访问的节点中至少一个PC值对应的节点指令后面的探针指令的执行结果均正确，则所述控制器将所述当前被访问的节点的子节点标记为不需要加入探针指令，获得所述地址依赖树中节点的标记信息。可选地，所述获取所述地址依赖树中节点的标记信息，包括：若当前被访问的节点为根节点，则所述控制器将所述根节点标记为需要加入探针指令。可选地，所述方法还包括：所述控制器在所述执行器完成所述当前被访问的节点中至少一个PC值对应的节点指令后面的探针指令的验证后，消除所述当前被访问的节点中的探针指令。可选地，所述根据所述探针指令的执行结果确定目标PC值，直至所述目标PC值满足预设条件，将满足预设条件的所述目标PC值对应的节点指令作为所述指令序列中导致错误的指令，包括：若所述探针指令的执行结果错误，且所述探针指令之前的节点指令对应的PC值小于所述目标PC值，将所述目标PC值更新为所述探针指令之前的节点指令对应的PC值，直到所述目标PC值满足预设条件；当所述目标PC值满足预设条件时，将所述目标PC值对应的节点指令作为所述导致错误的指令；其中，当所述目标PC值为执行结果错误的探针指令前面的节点指令的PC值中的最小PC值时，所述控制器确定所述目标PC值满足预设条件。可选地，所述对所述新的指令序列进行验证，包括：所述执行器在当前被验证的探针指令与所述当前被验证的探针指令对应的节点指令之间加入同步指令；确定所述新的指令序列中与所述当前被验证的探针指令对应的节点指令最接近的目标同步指令，所述目标同步指令置于所述当前被验证的探针指令对应的节点指令之前；从所述目标同步指令执行所述新的指令序列至所述当前被验证的探针指令。可选地，所述装置还包括存储单元，所述存储单元包括RAM和寄存器，所述方法还包括：在所述执行器运行指令序列后，且所述指令序列的执行结果错误时，所述控制器根据所述指令序列的执行结果构建地址依赖树；其中，所述地址依赖树的根节点包含所述初始指令序列中输出错误结果的指令的输出结果所在的RAM地址区间或寄存器号；所述地址依赖树的下一层节点包含访问过所述上一层节点的中至少一个PC值对应的节点指令的操作数所在的RAM地址区间或寄存器号。第三方面，本申请实施例提供了一种计算机可读存储介质，其存储用于电子数据交换的计算机程序，其中，所述计算机程序使得计算机执行如第二方面所述的方法步骤。第四方面，本申请实施例提供了一种计算机程序产品，所述计算机程序产品包括存储了计算机程序的非瞬时性计算机可读存储介质，所述计算机程序可操作来使计算机执行如第二方面所述的方法步骤。第五方面，本申请实施例提供了一种芯片，该芯片包括上述第一方面所述待测器件验证装置。第六方面，本申请实施例提供了一种芯片封装结构，该芯片封装结构包括上述第五方面所述的芯片。可以看出，本申请实施例的待测器件验证装置，通过执行器运行指令序列，控制器在根据指令序列的执行结果确定指令序列中存在导致错误的指令时，在地址依赖树的至少一个节点指令后面加入探针指令，获得新的指令序列，执行器对新的指令序列进行验证，控制器根据探针指令的执行结果确定目标PC值，直至所述目标PC值满足预设条件，将满足预设条件的所述目标PC值对应的节点指令作为所述指令序列中导致错误的指令。本申请实施例通过地址依赖树在指令序列中加入探针指令，根据探针指令的执行结果重新对指令序列进行验证，直到获得导致错误的指令，从而可准确、快速地对指令序列进行验证，确定导致错误的指令所在的位置，提高待测器件的验证速率。附图说明为了更清楚地说明本申请实施例中的技术方案，下面将对实施例描述中所需要使用的附图作简单地介绍，显而易见地，下面描述中的附图是本申请的一些实施例，对于本领域普通技术人员来讲，在不付出创造性劳动的前提下，还可以根据这些附图获得其他的附图。图1是本申请实施例提供的一种待测器件验证装置的结构示意图；图2A是本申请实施例提供的一种待测器件验证方法的流程示意图；图2B是本申请实施例提供的一种指令序列的演示示意图；图2C是本申请实施例提供的一种地址依赖树的演示示意图；图3是本申请实施例提供的一种组板卡的结构图。具体实施方式下面将结合本申请实施例中的附图，对本申请实施例中的技术方案进行清楚、完整地描述，显然，所描述的实施例是本申请一部分实施例，而不是全部的实施例。基于本申请中的实施例，本领域普通技术人员在没有作出创造性劳动前提下所获得的所有其他实施例，都属于本申请保护的范围。本申请的说明书和权利要求书及所述本文档来自技高网...

【技术保护点】
1.一种待测器件验证装置，其特征在于，所述待测器件验证装置包括执行器和控制器，其中，所述执行器，用于运行指令序列；所述控制器，用于在根据所述指令序列的执行结果确定所述指令序列中存在导致错误的指令时，在地址依赖树的至少一个节点指令后面加入探针指令，获得新的指令序列；所述执行器，还用于对所述新的指令序列进行验证；所述控制器，还用于根据所述探针指令的执行结果确定目标PC值，直至所述目标PC值满足预设条件，将满足预设条件的所述目标PC值对应的节点指令作为所述指令序列中导致错误的指令。

【技术特征摘要】
1.一种待测器件验证装置，其特征在于，所述待测器件验证装置包括执行器和控制器，其中，所述执行器，用于运行指令序列；所述控制器，用于在根据所述指令序列的执行结果确定所述指令序列中存在导致错误的指令时，在地址依赖树的至少一个节点指令后面加入探针指令，获得新的指令序列；所述执行器，还用于对所述新的指令序列进行验证；所述控制器，还用于根据所述探针指令的执行结果确定目标PC值，直至所述目标PC值满足预设条件，将满足预设条件的所述目标PC值对应的节点指令作为所述指令序列中导致错误的指令。2.根据权利要求1所述的装置，其特征在于，在所述在地址依赖树的至少一个节点指令后面加入探针指令，获得新的指令序列方面，所述控制器具体用于：在所述地址依赖树中每一节点的每一PC值对应的节点指令后面加入探针指令，得到所述新的指令序列。3.根据权利要1所述的装置，其特征在于，在所述在地址依赖树的至少一个节点指令后面加入探针指令，获得新的指令序列方面，所述控制器具体用于：获取所述地址依赖树中节点的标记信息，所述标记信息用于确定所述节点中每一PC值对应的节点指令是否需要插入探针指令；根据所述地址依赖树中节点的标记信息，在标记为需要加入探针指令的节点的每一PC值对应的节点指令后面加入探针指令，得到所述新的指令序列。4.根据权利要求3所述的装置，其特征在于，在所述获取所述地址依赖树中节点的标记信息方面，所述控制器具体用于：若当前被访问的节点中至少一个PC值对应的节点指令后面的探针指令的执行结果错误，则将所述当前被访问的节点的子节点标记为需要加入探针指令；若所述当前被访问的节点中至少一个PC值对应的节点指令后面的探针指令的执行结果均正确，则将所述当前被访问的节点的子节点标记为不需要加入探针指令，获得所述地址依赖树中节点的标记信息。5.根据权利要求3所述的装置，其特征在于，在所述获取所述地址依赖树中节点的标记信息方面，所述控制器具体用于：若当前被访问的节点为根节点，则将所述根节点标记为需要加入探针指令。6.根据权利要求1-5任一项所述的装置，其特征在于，所述控制器还用于，在所述执行器完成所述当前被访问的节点中至少一个PC值对应的节点指令后面的探针指令的验证后，消除所述当前被访问的节点中的探针指令。7.根据权利要求1-5任一项所述的装置，其特...

【专利技术属性】
技术研发人员：不公告发明人，
申请(专利权)人：北京中科寒武纪科技有限公司，
类型：发明
国别省市：北京,11