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

权利要求书

1.一种待测器件验证装置，其特征在于，所述待测器件验证装置包括执行器和控制器，其中，

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

所述控制器，还用于根据至少一个所述当前指令序列的执行结果更新目标PC值，直至所述目标PC值满足预设条件，将所述目标PC值对应的节点指令作为初始指令序列中导致错误的指令；在所述目标PC值为所述地址依赖树中的最小PC值时，确定所述目标PC值满足预设条件；

在所述根据地址依赖树执行当前指令序列，得到所述当前指令序列的执行结果方面，所述执行器具体用于：

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

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

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

2.根据权利要求1所述的装置，其特征在于，所述执行器具体用于：

若所述目标节点未被访问，则遍历所述目标节点中的PC值；

当遍历所述目标节点的所有PC值后，将所述目标节点标记为已被访问的节点；

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

3.根据权利要求1所述的装置，其特征在于，在所述执行所述当前指令序列方面，所述执行器具体用于：

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

4.根据权利要求1所述的装置，其特征在于，在所述执行所述当前指令序列方面，所述执行器具体用于：

若所述当前指令序列的终止指令前面存在至少一个同步点，确定所述至少一个同步点中最接近所述节点指令的目标同步点，执行所述当前指令序列中从所述目标同步点对应的指令的后一指令至所述当前指令序列的终止指令之间的指令。

5.根据权利要求1所述的装置，其特征在于，在所述根据所述当前指令序列的执行结果更新目标PC值，直至所述目标PC值满足预设条件方面，所述控制器具体用于：

若所述当前指令序列的执行结果错误，且所述当前指令序列的终止指令的PC值小于当前的目标PC值，则将所述当前指令序列的终止指令的PC值作为所述目标PC值，之后根据下一当前指令序列的执行结果继续更新所述目标PC值，直至所述目标PC值满足预设条件。

6.根据权利要求1所述的装置，其特征在于，所述执行器还用于：

若所述目标节点已被访问，且所述目标节点对应的所有执行结果均正确，则不再访问所述目标节点的子节点。

7.根据权利要求1所述的装置，其特征在于，所述装置还包括存储单元，所述存储单元包括RAM和寄存器，

所述执行器，还用于执行所述初始指令序列，获得所述初始指令序列的执行结果；

所述控制器，还用于在所述初始指令序列的执行结果错误时，则根据所述初始指令序列的执行结果构建地址依赖树；其中，所述地址依赖树的根节点包含所述初始指令序列中输出错误结果的指令的输出结果所在的RAM地址区间或寄存器号；所述地址依赖树的下一层节点包含访问过上一层节点的至少一个PC值对应的节点指令的操作数所在的RAM地址区间或寄存器号。