[发明专利]待测器件验证装置及相关产品

说明书

本申请提供了一种待测器件验证装置及相关产品，该待测器件验证装置用于进行机器状态验证，本申请实施例通过构建地址依赖树，并根据机器状态快照反复对指令序列进行验证，直到获得作错误指令，从而，可准确、快速地对指令序列进行验证，确定错误指令所在的位置，提高机器状态验证的效率。

技术领域

本申请涉及芯片验证技术领域，具体涉及一种待测器件验证装置及相关产品。

背景技术

随着硅材料半导体工艺接近物理极限，在单位面积的硅材料芯片上集成更多的晶体管变得越来越困难。电子器件中集成电路集成的功能越来越多，处理器需要执行的指令数量也越来越多，这就使执行器中的指令集的验证越来越复杂，对验证技术提出了新的挑战，因此，在对待测器件进行验证时，如何准确、高效地对待测器件进行验证成为需要考虑的问题。

发明内容

本申请实施例提供了一种待测器件验证装置及相关产品，可针对集成指令数量较多的待检测器件，自动、准确地进行机器状态验证，提升机器状态验证效率。

第一方面，提供一种待测器件验证装置，所述待测器件验证装置包括执行器和控制器，其中，

所述执行器，用于根据地址依赖树执行当前指令序列，得到所述当前指令序列的执行结果，所述地址依赖树中每一节点包括用于访问与节点对应的节点指令的地址区间和对应的节点指令的指令标志PC值；

所述控制器，还用于根据所述当前指令序列的执行结果更新目标PC值，直至所述目标PC值满足预设条件，将所述目标PC值对应的节点指令作为所述初始指令序列中导致错误的指令。

第二方面，本申请实施例提供了一种待测器件验证方法，应用于待测器件验证装置，所述待测器件验证装置包括执行器和控制器，所述方法包括：

所述执行器根据地址依赖树执行当前指令序列，得到所述当前指令序列的执行结果，所述地址依赖树中每一节点包括用于访问与节点对应的节点指令的地址区间和对应的节点指令的指令标志PC值；

所述控制器根据所述当前指令序列的执行结果更新目标PC值，直至所述目标PC值满足预设条件，将所述目标PC值对应的节点指令作为所述初始指令序列中导致错误的指令。

可选地，所述方法还包括：

所述控制器在所述目标PC值为所述地址依赖树中的最小PC值时，确定所述目标PC值满足预设条件。

可选地，所述根据地址依赖树执行当前指令序列，得到所述当前指令序列的执行结果，包括：

所述执行器将所述地址依赖树中的第i个节点作为目标节点，所述第i个节点为所述地址依赖树中任一节点；

分别将所述目标节点中的至少一个PC值对应的节点指令作为所述当前指令序列的终止指令，并分别执行所述当前指令序列，获得并保存至少一个所述当前指令序列的机器状态快照；当遍历所述目标节点的所有PC值后，将所述目标节点标记为已被访问的节点；

所述执行器根据每一所述当前指令序列的机器状态快照，分别确定各个所述当前指令序列的执行结果是否正确，得到所述目标节点对应的至少一个当前指令序列的至少一个执行结果；

若所述目标节点已被访问，且所述目标节点中存在至少一个执行结果错误，所述执行器则将所述第i个节点的每一子节点依次作为所述目标节点，并重复调用所述执行器和所述控制器，直至所述控制器确定所述目标PC值满足预设条件。

可选地，所述执行所述当前指令序列，包括：

所述执行器从所述当前指令序列的第一个指令执行至所述当前指令序列中的终止指令。

可选地，所述执行所述当前指令序列，包括：