[发明专利]用于功能安全诊断覆盖率的自动化

说明书

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

相关申请

根据35 U.S.C.§119(e)，本申请要求于2021年5月17日提交的题为“AUTOMATIONFOR FUNCTIONAL SAFETY DIAGNOSTIC COVERAGE”(功能安全诊断覆盖率的自动化)的美国临时专利申请63/189,596号(代理卷号：SYNP 3779-1)的优先权，该申请通过引用结合于此。

技术领域

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

背景技术

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

发明内容

本技术提供了实现用于进行功能安全(FuSa)诊断覆盖率(DC)分析的自动化技术的系统、方法和计算机程序指令。在实现中，电子设计自动化(EDA)工具和技术被配置为确定总面积中有多少面积受安全机制(SM)保护。每个故障模式(FM)可以由单个输出端口或一组输出端口组成。每个输出端口可以具有单个安全机制(SM)保护、多个安全机制(SM)保护或无安全机制(SM)保护。每个SM可以具有不同的诊断能力。FM逻辑锥可以包括安全保护逻辑和非保护逻辑。本技术采用回溯网表来确定用于每个设计输出端口和故障模式的总面积和安全保护面积(SPA)。基于这样的详细分析，可以针对一个或多个故障模式的每个输出确定诊断覆盖率。

在本技术的一方面中，一种用于进行功能安全诊断覆盖率的方法包括接收电路设计信息，该电路设计信息包括用于至少一个功能安全(FuSa)块的FuSa信息，至少一个FuSa块对应于数字电路的一部分，该FuSa信息包括定义了故障模式(FM)集合，以及对于每个故障模式的用于每个FuSa块的输出端口(OUT)关联信息，故障模式(FM)集合指示表示至少一个FuSa块内的错误的外部因素的信号的潜在错误值。该方法还可以包括接收内部安全保护信号(Ps)的标识以及用于FuSa块的诊断覆盖率。该方法还可以包括针对每个安全保护信号(Ps)的每个故障模式和对应的诊断覆盖率，由处理器执行对用于FuSa块的输出端口(OUT)的多条可能路径的回溯，直到FuSa块的一个或多个输入(In)或端点(EP)。确定用于每条可能路径的面积也是该方法的一部分。所确定的面积可以包括用于从输入到输出(InOut)或者从端点到输出(EpOut)的可能路径中的至少一条路径的面积。该方法还可以包括基于给定的输入诊断覆盖率(DC)和针对多条可能路径中的每条路径计算的面积，来确定用于FuSa块的每个输出和故障模式的诊断覆盖率。

在本技术的另一方面，响应于确定可能的路径具有安全保护信号(Ps)，处理器可以执行将可能的路径分割成多条可能的路径；以及确定用于从输入到安全保护信号(InPs)、从端点到安全保护信号(EpPs)和从安全保护信号到达输出(PsOut)的可能路径的面积。

在一些实现中，故障模式根据可能导致数字电路故障的外部因素(例如，温度、振动、磁场等)而被分组。

在一些实现中，接收由用户分配给故障模式的、指示诊断类别(例如奇偶校验错误、纠错码(ECC))的标签。