用于功能安全诊断覆盖率的自动化制造技术

提供了一种实现用于进行功能安全(FuSa)诊断覆盖率的自动化技术的方法。该方法可以包括：接收功能安全信息，该功能安全信息包括故障模式，该故障模式定义了指示表现错误的因素的信号的错误值；接收内部安全保护信号的标识和用于FuSa块的诊断覆盖率；针对每个安全保护信号的每个故障模式，执行用于FuSa块的输出端口的可能路径的回溯；确定用于每条可能的路径的面积；以及基于诊断覆盖率以及针对每条路径计算的面积来确定用于FuSa块的每个故障模式的诊断覆盖率。的诊断覆盖率。的诊断覆盖率。

【技术实现步骤摘要】
用于功能安全诊断覆盖率的自动化
[0001]相关申请
[0002]根据35 U.S.C.
§
119(e)，本申请要求于2021年5月17日提交的题为“AUTOMATION FOR FUNCTIONAL SAFETY DIAGNOSTIC COVERAGE”(功能安全诊断覆盖率的自动化)的美国临时专利申请63/189,596号(代理卷号：SYNP 3779
‑
1)的优先权，该申请通过引用结合于此。


[0003]本公开涉及功能安全(FuSa)信息，并且特别地，涉及用于确定功能安全诊断覆盖率(DC)的自动化技术。

技术介绍

[0004]集成电路(IC)是普遍存在于诸如电视、个人计算机、移动设备等各种电子设备中的基本组件。IC的设计包括各种各样的有源组件和互连，它们可能表现出不同类型的故障。功能安全(FuSa)是指系统或设备的整体安全的部分，它依赖于自动保护响应其输入而正确操作，并且具有对故障的可预测的响应。当在IC设计过程中实现时，功能安全概念可以提供对IC设计被自动保护覆盖的程度的量化，从而使系统设计人员能够评估使用各种IC实现的整体系统的安全性。

技术实现思路

[0005]本技术提供了实现用于进行功能安全(FuSa)诊断覆盖率(DC)分析的自动化技术的系统、方法和计算机程序指令。在实现中，电子设计自动化(EDA)工具和技术被配置为确定总面积中有多少面积受安全机制(SM)保护。每个故障模式(FM)可以由单个输出端口或一组输出端口组成。每个输出端口可以具有单个安全机制(SM)保护、多个安全机制(SM)保护或无安全机制(SM)保护。每个SM可以具有不同的诊断能力。FM逻辑锥可以包括安全保护逻辑和非保护逻辑。本技术采用回溯网表来确定用于每个设计输出端口和故障模式的总面积和安全保护面积(SPA)。基于这样的详细分析，可以针对一个或多个故障模式的每个输出确定诊断覆盖率。
[0006]在本技术的一方面中，一种用于进行功能安全诊断覆盖率的方法包括接收电路设计信息，该电路设计信息包括用于至少一个功能安全(FuSa)块的FuSa信息，至少一个FuSa块对应于数字电路的一部分，该FuSa信息包括定义了故障模式(FM)集合，以及对于每个故障模式的用于每个FuSa块的输出端口(OUT)关联信息，故障模式(FM)集合指示表示至少一个FuSa块内的错误的外部因素的信号的潜在错误值。该方法还可以包括接收内部安全保护信号(Ps)的标识以及用于FuSa块的诊断覆盖率。该方法还可以包括针对每个安全保护信号(Ps)的每个故障模式和对应的诊断覆盖率，由处理器执行对用于FuSa块的输出端口(OUT)的多条可能路径的回溯，直到FuSa块的一个或多个输入(In)或端点(EP)。确定用于每条可能路径的面积也是该方法的一部分。所确定的面积可以包括用于从输入到输出(InOut)或
者从端点到输出(EpOut)的可能路径中的至少一条路径的面积。该方法还可以包括基于给定的输入诊断覆盖率(DC)和针对多条可能路径中的每条路径计算的面积，来确定用于FuSa块的每个输出和故障模式的诊断覆盖率。
[0007]在本技术的另一方面，响应于确定可能的路径具有安全保护信号(Ps)，处理器可以执行将可能的路径分割成多条可能的路径；以及确定用于从输入到安全保护信号(InPs)、从端点到安全保护信号(EpPs)和从安全保护信号到达输出(PsOut)的可能路径的面积。
[0008]在一些实现中，故障模式根据可能导致数字电路故障的外部因素(例如，温度、振动、磁场等)而被分组。
[0009]在一些实现中，接收由用户分配给故障模式的、指示诊断类别(例如奇偶校验错误、纠错码(ECC))的标签。
[0010]在本技术的另一方面，故障模式及其输出端口关联信息作为由设计者提供的输入被接收、作为设计的一部分作为设计信息被接收、或其组合。
[0011]在本技术的又一方面，内部安全保护信号(Ps)和诊断覆盖率信息作为由设计者提供的输入被接收，作为设计的一部分作为设计信息被接收，或其组合。
[0012]在本技术的又一方面，针对每个顶层输入(In)接收诊断覆盖率。
[0013]还描述了一种包括一个或多个处理器和可由处理器访问的存储器的系统。存储器可以加载有可以在处理器上执行的计算机指令。计算机指令当在处理器上执行时，可以实现上述任何操作。在此还描述了可由计算机系统执行的计算机程序产品，诸如其上记录有计算机指令的非瞬态计算机可读记录介质。
[0014]从下面的附图、详细描述和权利要求书中可以看到本技术的其他方面和优点。
附图说明
[0015]图1示出了通过实现本技术来确定用于一个或多个故障模式的诊断覆盖率的示例过程的流程图。
[0016]图2A示出了通过实现本技术来确定用于一个或多个故障模式的诊断覆盖率的示例的流程图。
[0017]图2B示出了用于图2A的故障模式的输出端口逻辑锥的示例。
[0018]图3A示出了通过实现本技术来确定用于一个或多个故障模式的安全保护面积(SPA)的示例的流程图。
[0019]图3B示出了用于图3A的输出端口逻辑锥的示例。
[0020]图4A示出了描述通过实现本技术从网表确定一条或多条可能的内部路径的示例的流程图。
[0021]图4B示出了用于图4A的输出端口逻辑锥的示例。
[0022]图5示出了用于通过实现本技术来确定一条或多条可能的内部路径的安全保护面积(SPA)的自动化过程的示例的流程图。
[0023]图6A示出了描述通过实现本技术从每个输出端口的逻辑锥安全保护面积(SPA)和逻辑锥面积，来确定输出端口的诊断覆盖率(Out1DC)和故障模式诊断覆盖率(FM DC)的自动化过程的示例的流程图。
[0024]图6B示出了使用本技术的实现来确定数据路径奇偶(DPP)保护路径的诊断覆盖率的示例。
[0025]图7描述了根据本公开的一些实施例在集成电路的设计和制造期间使用的各种过程的流程图。
[0026]图8描述了示例计算机系统的图示，本公开的实施例可以在该示例计算机系统中操作。
具体实施方式
[0027]本公开的各方面涉及功能安全(FuSa)诊断覆盖率(DC)。诊断覆盖率(DC)可以表示为百分比，也可以表示为由(多个)特定诊断或安全机制可以检测到的硬件故障的数量。对设计进行功能安全(FuSa)评估可能具有挑战性，并且可能需要对潜在的许多不同的故障模式(FM)中的每一种故障模式进行详细分析。如这里所使用的，故障模式是指具有错误值(例如，错误0或错误1)的信号。可以使用关联故障发生的概率分布来分析故障模式。故障模式可以根据不同的情况来分组，根据不同的情况，电路可能由于导致电路故障的外部因素而发生故障。故障模式的一些示例包括(i)对于输出分组接口，“内部故障导致输出分组接口上的不正确分组或无分组”，故障模式可以由指示分组接口故障模式编号1的(“pFM1”)指定；以及(ii本文档来自技高网...

【技术保护点】

【技术特征摘要】
1.一种方法，包括：接收电路设计信息，所述电路设计信息包括用于至少一个功能安全FuSa块的FuSa信息，所述至少一个FuSa块对应于数字电路的一部分，所述FuSa信息包括故障模式FM集合以及对于每个故障模式的用于每个FuSa块的输出端口Out关联信息，所述故障模式FM集合定义指示在所述至少一个FuSa块内表现错误的外部因素的信号的潜在错误值；接收内部安全保护信号Ps的标识和用于所述FuSa块的诊断覆盖率；针对每个安全保护信号Ps的每个故障模式和对应的诊断覆盖率，由处理器执行用于所述FuSa块的输出端口Out的多条可能的路径的回溯，直到所述FuSa块的一个或多个输入In或端点Ep；确定用于每条可能的路径的面积，包括用于从输入到输出InOut或者从端点到输出EpOut的可能的路径中的至少一条路径的面积；以及基于给定的输入诊断覆盖率DC以及针对所述多条可能的路径中的每条路径计算的面积，确定用于所述FuSa块的每个输出和故障模式的诊断覆盖率。2.根据权利要求1所述的方法，还包括：响应于确定可能的路径具有安全保护信号Ps，由处理器执行：将所述可能的路径分割成多条可能的路径；以及确定用于从输入到安全保护信号InPs、从端点到安全保护信号EpPs和从安全保护信号到达输出PsOut的可能路径的面积。3.根据权利要求1所述的方法，其中，故障模式根据导致数字电路故障的外部因素而被分组。4.根据权利要求1所述的方法，还包括接收输入，所述输入包括由用户分配给故障模式的、指示诊断类别的标签。5.根据权利要求1所述的方法，其中，故障模式及该故障模式的输出端口关联信息作为由设计者提供的输入被接收，作为设计的一部分作为设计信息被接收，或其组合。6.根据权利要求1所述的方法，其中，内部安全保护信号Ps和诊断覆盖率信息作为由设计者提供的输入被接收，作为设计的一部分作为设计信息被接收，或其组合。7.根据权利要求1所述的方法，还包括：接收用于每个顶层输入In的诊断覆盖率。8.一种系统，包括：存储器，存储指令；以及处理器，与所述存储器耦合并执行所述指令，所述指令当被执行时使所述处理器执行：接收电路设计信息，所述电路设计信息包括用于至少一个功能安全FuSa块的FuSa信息，所述至少一个FuSa块对应于数字电路的一部分，所述FuSa信息包括故障模式FM集合，以及对于每个故障模的用于每个FuSa块的输出端口Out关联信息，所述故障模式FM集合定义指示在所述至少一个FuSa块内表现错误的外部因素的信号的潜在错误值，；接收内部安全保护信号Ps的标识和用于所述FuSa块的诊断覆盖率；针对每个安全保护信号Ps的每个故障模式以及对应的诊断覆盖率，由处理器执行对用于所述FuSa块的输出端口Out的多条可能的路径的回溯，直到所述FuSa块的一个或多个输入In或端点Ep；确定用于每条可能的路径的面积，包括用于从输入到输出InOut或者从端点到输出
EpOut的可能的路径中的至少一个可能的路径的面积；以及基于给定的输入诊断覆盖率DC以及针对所述多条可能的路径中的每条路径计算的面积，确定用于所述FuSa块的每个输出和故障模式的诊...

【专利技术属性】
技术研发人员：M，
申请(专利权)人：美商新思科技有限公司，
类型：发明
国别省市：