(19)国家知识产权局 (12)发明 专利申请 (10)申请公布号 (43)申请公布日 (21)申请 号 202111491365.5 (22)申请日 2021.12.08 (71)申请人 芯华章科技股份有限公司 地址 211800 江苏省南京市江北新区华创 路共享空间01栋18层 (72)发明人 林扬淳　 (74)专利代理 机构 北京风雅颂专利代理有限公 司 11403 专利代理师 李莎 (51)Int.Cl. G06F 30/27(2020.01) G06F 30/327(2020.01) G06K 9/62(2022.01) G06N 20/00(2019.01) (54)发明名称 用于追踪逻辑系统设计的错误的方法及相 关设备 (57)摘要 本申请提供一种用于追踪逻辑系统设计的 错误的方法及相关设备。 该方法包括： 获得所述 逻辑系统设计的组合锥的断言失败， 所述组合锥 包括多个子锥， 每个子锥表示所述逻辑系统设计 的子电路并且具有一个或多个输入信号和输出 信号， 并且 所述断言失败指示所述组合锥在当前 时钟周期处的实际信号值不同于所述当前时钟 周期处的预期信号值； 获得所述多个子锥的机器 学习(ML)模型； 根据所述断言失败、 所述多个子 锥的机器学习模型和对应于所述多个子锥的动 态回溯灵敏度(DBS)在所述多个子锥上执行回溯 以获得回溯结果； 以及根据所述回溯结果输出一 个或多个目标子锥作为所述断言失败的候选根 本原因。 权利要求书2页 说明书13页 附图7页 CN 114510866 A 2022.05.17 CN 114510866 A 1.一种用于追踪逻辑系统设计的错 误的方法， 包括： 获得所述逻辑系统设计的组合锥的断言失败， 所述组合锥包括多个子锥， 每个子锥表 示所述逻辑系统设计的子电路 并且具有一个或多个输入信号和输出信号， 并且所述断言失 败指示所述组合锥在当前时钟周期处的实际信号值不同于所述当前时钟周期处的预期信 号值； 获得所述多个子锥的机器学习(ML)模型， 每个子锥具有相应的ML模型， 所述ML模型被 训练为根据所述子锥的所述 一个或多个输入信号的值 来预测所述子锥的输出信号的值； 根据所述断言失败、 所述多个子锥的机器学习模型和对应于所述多个子锥的动态回溯 灵敏度(DBS)在所述多个子锥上 执行回溯以获得回溯结果； 以及 根据所述回溯结果输出一个或多个目标子锥作为所述断言失败的候选根本原因。 2.如权利要求1所述的方法， 其中， 所述断言失败被包括在具有一个或多个断言失败的 断言失败(AF)优先级队列中， 并且在所述多个子锥上 执行回溯进一 步包括： 响应于所述AF优先级队列不为空， 将所述断言失败从所述AF优先级队列弹出， 所述断 言失败对应于所述当前时钟周期处的当前子锥的输出信号； 根据当前子锥的ML模型， 根据当前子锥在当前时钟周期的一个或多个输入信号的实际 值来预测输出信号的值； 根据所述当前子锥在所述当前时钟周期的所述输出信号的期望值和在所述当前时钟 周期的所述预测值， 确定所述当前子锥的正常操作概 率； 根据所述 正常操作概 率来确定所述当前子锥是否存在故障； 以及 响应于所述当前子锥存在故障， 将所述当前子锥推入到锥优先级队列。 3.根据权利要求2所述的方法， 其中， 在所述多个子锥上执行回溯进一步包括： 确定所 述当前子锥的一个或多个关联输入信号是否错误， 并且确定所述当前子锥的所述一个或多 个关联输入信号是否错 误进一步包括： 确定在所述当前时钟周期的所述当前子锥的关联输入信号是否是寄存器的输出； 响应于所述关联输入信号是所述寄存器的输出， 在所述当前时钟周期前一个周期的第 一时钟周期处确定所述寄存器的寄存器输入的第一动态回溯灵敏度(DBS)， 其中， 一个子锥 的信号的DBS指示所述信号的错误值导致所述逻辑系统设计中的敏感路径上的所述子锥的 错误输出的可能性， 并且所述信号的DBS由对应于所述子锥的ML模型确定； 确定所述第一DBS是否大于或等于第一阈值； 以及 响应于所述第一DBS大于或等于所述第一阈值， 将在所述寄存器的所述第一时钟周期 处的所述寄存器输入连同所述第一DBS一 起推入到所述AF优先级队列 作为断言失败。 4.根据权利要求3所述的方法， 其中， 确定所述当前子锥的所述一个或多个关联输入信 号是否错 误还包括： 响应于所述关联输入信号 不是寄存器的输出， 确定所述关联输入信号的第二DBS； 确定所述第二DBS是否大于或等于所述第一阈值； 以及 响应于所述第二DBS大于或等于所述第一阈值， 将在当前时钟周期处的所述关联输入 信号连同所述第二DBS一 起推入到AF优先级队列 作为断言失败。 5.如权利要求3所述的方法， 还 包括： 确定具有所述关联输入信号的所述当前子锥是否是重收敛阱， 其中具有两个或更多个权　利　要　求　书 1/2 页 2 CN 114510866 A 2分支并且所述两个或更多个分支合并到所述逻辑系统设计中的单一子锥中的输出信号的 子锥被称为重新收敛源， 并且所述逻辑系统设计中的所述单一子锥被称为所述重收敛阱； 响应于确定所述当前子锥是所述重收敛阱， 将所述当前子锥扩展到伪子锥， 并且用所 述重收敛源更新所述伪子锥的输入， 并且返回以通过 所述重收敛源执 行回溯； 以及 响应于确定所述当前子锥不是所述重收敛阱， 如果所述AF优先级队列不为空， 则将具 有最高优先级的另一断言失败弹出 所述AF优先级队列。 6.根据权利要求 4所述的方法， 其中， 确定所述当前子锥是否是重收敛阱包括： 获得表示所述逻辑设计的子锥的连接关系的有向图； 以及 根据所述有向图确定所述当前子锥是否是重收敛阱。 7.如权利要求1所述的方法， 还 包括： 获得从多个子锥的多个成功操作中记录的训练数据， 子锥的训练数据包括所述子锥的 一个或多个输入信号的输入值和所述子锥的输出信号的对应输出值； 以及 根据所述子锥的训练数据训练所述子锥的ML模型。 8.根据权利要求2的方法， 其中， 所述当前子锥的正常操作概 率由所述当前子锥的ML模型确定 。 9.如权利要求2所述的方法， 还 包括： 响应于所述AF优先级队列为空， 根据 所述回溯结果将所述锥优先级队列中的一个或多 个目标子锥输出为所述断言失败的候选根本原因。 10.一种计算系统， 包括： 存储器， 用于存 储一组计算机指令； 以及 至少一个处理器， 用于执行所述计算机指令以使得所述计算系统进行如权利要求1 ‑9 的任一项所述的方法。 11.一种非暂态计算机可读存储介质， 所述非暂态计算机可读存储介质存储电子装置 的一组指令， 该组指令用于使所述电子装置执 行权利要求1至9任一项所述方法。权　利　要　求　书 2/2 页 3 CN 114510866 A 3