本公开涉及电路逻辑分析,并且更具体地涉及用于安全相关电路逻辑的结构分析以推断故障类型。
背景技术:
1、在集成电路(ic)设计(例如,片上系统(soc)设计等)中,功能安全是取决于所实现的ic设计的应用类型的重要指标。在机动车实现(应用)中,ic设计包括基于ic设计的尺寸、功能和变量的添加逻辑(例如,安全机制),这增加了ic设计的复杂性。添加逻辑用于检测ic设计产生的ic设备内的故障。在机动车实现中,ic设计利用附加电路元件来进行实现,附加电路元件监测和检测ic设计内的故障。在机动车实现中,由于人类、电子设备和机器彼此实时交互,因此ic被设计成处理和监测由人类、电子设备和机器交互提供的输入数据,以确保安全操作。
技术实现思路
1、在一个示例中,一种方法包括:获得电路设计的电路元件、第一观察点和第一诊断点。第一观察点在电路设计的电路元件中的第一电路元件的输出处。第一诊断点在电路设计的第一安全电路设备的输出处。方法还包括:基于第一观察点,确定包括电路元件的第一子集的第一影响锥。电路元件的第一子集包括第一电路元件。此外,方法包括:基于第一诊断点,确定包括电路元件的第二子集的第一安全锥。第一安全锥包括第一安全电路设备。方法还包括:基于第一影响锥和第一安全锥之间的交集,确定与电路元件相关联的故障类型。
2、在一个示例中,一种方法包括:获得电路设计的电路元件、第一观察点和第一诊断点。第一观察点在电路设计的电路元件中的第一电路元件的输出处。第一诊断点在电路设计的第一安全电路设备的输出处。方法还包括:基于第一观察点,确定包括电路元件的第一子集的第一影响锥。第一子集包括第一电路元件。此外,方法包括:基于第一诊断点,确定包括电路元件的第二子集的第一安全锥。第一安全锥包括第一安全电路设备。方法还包括:确定第一影响锥内的电路元件的第一子集与危险故障类型相关联,危险故障类型影响电路设计的安全目标。此外,方法包括:基于电路元件的第一子集与电路元件之间的比较,确定在第一影响锥之外的电路元件的第三子集。电路元件的第三子集与非危险故障类型相关联,非危险故障类型不影响电路设计的安全目标。方法还包括:确定第一安全锥内的电路元件的第二子集与第一安全电路设备可检测的危险故障类型相关联,以及基于电路元件的第一子集与电路元件的第二子集的比较,确定与第一安全电路设备无法检测的不可检测危险故障类型相关联的电路元件的第四子集。
3、在一个示例中,一种系统包括存储指令的存储器和处理器。处理器与存储器耦合并且被配置成执行指令。指令在被执行时使得处理器获得电路设计的电路元件、第一观察点和第一诊断点。第一观察点在电路设计的电路元件中的第一电路元件的输出处。第一诊断点在电路设计的第一安全电路设备的输出处。还使得处理器基于第一观察点来确定包括电路元件的第一子集的第一影响锥。电路元件的第一子集包括第一电路元件。还使得处理器基于第一诊断点来确定包括电路元件的第二子集的第一安全锥。第一安全锥包括第一安全电路设备。此外,使得处理器基于第一影响锥和第一安全锥之间的交集,来确定与电路元件相关联的故障类型。
1.一种方法,包括:
2.根据权利要求1所述的方法,还包括:
3.根据权利要求2所述的方法,还包括:
4.根据权利要求1所述的方法,还包括:
5.根据权利要求4所述的方法,还包括:
6.根据权利要求1所述的方法,还包括:
7.根据权利要求6所述的方法,还包括:确定所述电路元件中的、在所述第一安全锥和所述第二安全锥之间的所述电路元件的交集内的一个电路元件,所述电路元件中的所述一个电路元件与潜在可检测故障类型中的故障类型相关联,所述潜在可检测故障类型在所述第一安全电路设备有故障的情况下,能够由所述第二安全电路设备检测。
8.根据权利要求6所述的方法,还包括:确定所述电路元件的所述第二子集中的、在所述第一安全锥内并且在所述第二安全锥之外的一个电路元件,所述电路元件的所述第二子集中的所述一个电路元件与潜在不可检测故障类型中的故障类型相关联,所述潜在不可检测故障类型在所述第一安全电路设备有故障的情况下,无法由所述第二安全电路设备检测。
9.根据权利要求1所述的方法,其中确定所述第一影响锥包括至少执行以下中的一者或多者:从所述第一观察点到所述电路设计的第一输入的后向追踪,以及从所述第一输入到所述第一观察点的前向追踪。
10.根据权利要求1所述的方法,其中确定所述第一安全锥包括至少执行以下中的一者或多者:从所述第一诊断点到所述电路设计的第一输入的后向追踪,以及从所述第一输入到所述第一诊断点的前向追踪。
11.一种方法,包括:
12.根据权利要求11所述的方法,还包括:
13.根据权利要求12所述的方法,还包括:确定所述电路元件中的、在所述第一安全锥和所述第二安全锥之间的交集中的一个电路元件,所述电路元件中的所述一个电路元件与潜在可检测故障类型相关联,所述潜在可检测故障类型在所述第一安全电路设备有故障的情况下,能够由所述第二安全电路设备检测。
14.根据权利要求12所述的方法,还包括:确定在所述电路元件的所述第二子集内并且在所述第五子集之外的第二电路元件,所述第二电路元件与潜在不可检测故障类型相关联,所述潜在不可检测故障类型在所述第一安全电路设备有故障的情况下,无法由所述第二安全电路设备检测。
15.根据权利要求11所述的方法,其中确定所述第一影响锥包括至少执行以下中的一者或多者:从所述第一观察点到所述电路设计的第一输入的后向追踪,以及从所述第一输入到所述第一观察点的前向追踪,其中所述第一子集中的每个电路元件沿着所述第一观察点和所述第一输入之间的传播路径。
16.根据权利要求11所述的方法,其中确定所述第一安全锥包括至少执行以下中的一者或多者:从所述第一诊断点到所述电路设计的第二输入的后向追踪,以及从所述第二输入到所述第一诊断点的前向追踪,其中所述第二子集中的每个电路元件沿着所述第一诊断点和所述第二输入之间的传播路径。
17.一种系统,包括:
18.根据权利要求17所述的系统,其中还使得所述处理器:
19.根据权利要求17所述的系统,其中还使得所述处理器:
20.根据权利要求17所述的系统,其中还使得所述处理器: