故障模式、影响和诊断分析自动化的模型驱动方法技术

本公开涉及故障模式、影响和诊断分析自动化的模型驱动方法。故障模式、响和诊断分析(FMEDA)在电子系统的硬件知识产权(IP)上执行。所述分析包括访问安全库组件的库，每个安全库组件包含关于硬件模型的故障模式表征和安全数据；编译安全库组件和硬件IP。编译包括将硬件IP中的硬件模型的实例映射到相应的安全库组件，并聚集相应组件的特征和安全数据。并聚集相应组件的特征和安全数据。并聚集相应组件的特征和安全数据。

【技术实现步骤摘要】
故障模式、影响和诊断分析自动化的模型驱动方法
[0001]相关申请的交叉引用
[0002]本申请要求Stefano LORENZINI等人于2022年4月25日提交并且标题为SYNTHESIS TOOL FOR AUTOMATIC GENERATION OF SCALABLE AND REUSABLE FAILURE MODE，EFFECTS，AND DIAGNOSTICANALYSIS(FMEDA)IN COMPLEX SYSTEM－ON－CHIP(SoC)的美国临时申请系列No.63/334，665的权益，其全部公开内容通过引用结合在此。


[0003]本技术涉及硬件知识产权(IP)的故障模式、影响和诊断分析(FMEDA)。FMEDA可以在片上系统(SoC)或其它复杂电子系统的硬件IP上执行。

技术介绍

[0004]故障模式，影响和诊断分析(FMEDA)是指系统分析技术，用于获得子系统和产品级故障率，故障模式和诊断能力。该技术可以在系统芯片(SoC)或其它复杂电子系统的设计期间使用。例如，可以通过将硬件模型或知识产权(IP)块的许多实例组装成顶层硬件IP来生成SoC的初始设计。FMEDA可以在硬件IP上执行。
[0005]FMEDA可以包括生成电子表格或其它表。手动剪切用于各硬件型号的故障模式信息行并粘贴到电子表格中。每行对应于硬件IP中的实例的故障模式。每个实例可能具有多个故障模式，因此可能存在与单个实例相关联的多行。表格完成后，可将算法应用于FMEDA表格，以获得系统和子系统故障率、故障模式和诊断能力。
[0006]硬件IP通常将经历多次设计迭代和频繁的设计改变。FMEDA也在修改的硬件IP上执行，这意味着该表被修改多次以反映变化。此外，修改或多次FMEDA迭代可能由以下原因引起：a)通过硬件(例如Verilog)参数进行IP重新配置；以及b)从由其他IP重新使用的RTL模型导出新IP。
[0007]手动生成和修改FMEDA表是费力的、缓慢的和低效的。对于设计高度可配置的并且在设计期间可能经历许多修改的SoC来说，这是特别令人痛苦的、缓慢的和低效的。因此，需要一种系统和方法，其能够进行包含关于硬件模型的故障模式表征和安全数据的分析，并编译安全库部件和IP硬件。

技术实现思路

[0008]根据本专利技术的各种实施例和方面，使用系统、制品和计算机实现来对电子系统的硬件知识产权(IP)执行故障模式、影响和诊断分析(FMEDA)。所述分析包括访问安全库组件的库，每个安全库组件包含关于硬件模型的故障模式表征和安全数据；以及编译安全库组件和硬件IP。编译包括将硬件IP中的硬件模型的实例映射到相应的安全库组件，并聚集相应组件的特征和安全数据。
附图说明
[0009]为了更充分地理解本专利技术，参考附图。根据以下描述中的方面和实施例并参考附图(图)来描述本专利技术，其中相同的数字表示相同或相似的元件。应当理解，这些附图不应被认为是对本专利技术范围的限制，通过使用附图，以附加细节来描述当前描述的方面和实施例以及当前理解的本专利技术的最佳模式。
[0010]图1是根据本专利技术的各种接受和实施例的对电子系统的硬件知识产权自动执行故障模式、影响和诊断分析(FMEDA)的计算机实现的方法的图示。
[0011]图2是根据本专利技术的各个方面和实施例的安全库组件的图示。
[0012]图3是根据本专利技术的各个方面和实施例的包括用于执行FMEDA的工具的系统的图示。
[0013]图4是根据本专利技术的各个方面和实施例的硬件知识产权(IP)的分层表示的图示。
[0014]图5是根据本专利技术的各个方面和实施例的执行FMEDA的计算机实现的方法的图示。
具体实施方式
[0015]下面描述说明本专利技术的各个方面和实施例的本技术的各种示例。通常，实例可用于以任何组合来描述本专利技术的方面。本文中叙述原理，方面和实施例(以及其特定实例)的所有陈述旨在涵盖其结构和功能等效物两者。所提供的实施例旨在作为非限制性实施例。另外，这些等同物旨在包括当前已知的等同物和将来开发的等同物，即所开发的执行相同功能的任何元件，而与结构无关。
[0016]应注意，如本文所用，单数形式“一个”，“一种”和“该”包括复数指示物，除非上下文另有明确说明。在整个说明书中对“一个实施例”，“实施例”，“某些实施例”，“各种实施例”或类似语言的引用意味着结合该实施例描述的特定方面，特征，结构或特性被包括在本专利技术的至少一个实施例中。
[0017]因此，短语“在一个实施例中”，“在至少一个实施例中”，“在实施例中”，“在某些实施例中”，“在一些实施例中”和本文中的类似语言的出现可(但不一定)全部指代相同实施例或类似实施例。此外，这里描述的本专利技术的方面和实施例仅仅是示例性的，并且不应该被解释为限制本领域普通技术人员所理解的本专利技术的范围或精神。在包括本文描述的任何新颖方面的任何实施例中有效地制造或使用所公开的专利技术。本文叙述本专利技术的原理，方面和实施例的所有陈述旨在涵盖其结构和功能等效物。这些等同物包括当前已知的等同物和将来开发的等同物。此外，就在详细描述和权利要求书中使用的术语“包括”，“包含”，“具有”，“具有了”，“具有着”或其变体而言，这些术语旨在以与术语“包含”相似的方式包括在内。
[0018]术语“源”，“主”和“发起者”是指硬件知识产权(IP)模块/块或单元；这些术语在本专利技术的范围和实施例中可互换使用。如这里所使用的，术语“宿”，“从”和“目标”是指硬件IP模块或单元，并且这些术语在本专利技术的范围和实施例中可互换地使用。如这里所使用的，事务可以是请求事务或响应事务。请求事务的示例包括写请求和读请求。
[0019]根据本专利技术的各个方面和实施例，硬件IP的故障模式，效果和诊断分析是自动的和模型驱动的。硬件IP不限于任何特定系统。然而，它对于诸如片上系统(SoC)之类的复杂电子系统特别有用，这些复杂电子系统是高度可配置的，并且在设计期间可能经历多次修改。
[0020]作为复杂电子系统的一个示例，片上系统(SoC)包括通过片上网络(NoC)通信的多处理器系统。SoC的硬件IP包括发起者IP和目标IP的实例。使用工业标准协议将事务从发起者发送到一个或多个目标。连接到NoC的发起方使用地址向一个或多个目标发送请求事务以选择该一个或多个目标。NoC解码地址并将请求从发起者传送到目标。目标处理该事务并发送响应事务，该响应事务由NoC传输回发起方。这样，SoC和NoC包括复杂性和可配置性。
[0021]参考图1，其示出了根据本专利技术的各种接受和实施例的在硬件知识产权上自动执行FMEDA的计算机实现的，模型驱动的方法。
[0022]在框110，生成硬件IP。考虑SoC的硬件IP。产生针对的SoC需求。需求可以由市场、销售、客户意图等来规定。系统架构师生成与需求相关的规范。本说明书提供了IC系统的芯片定义、技术、域和布局。
[0023]从架构师的库中选择IP块或组件的硬件模型(例如，处理器核心，本文档来自技高网...

【技术保护点】

【技术特征摘要】
1.一种计算机实现的方法，对电子系统的硬件IP执行故障模式、影响和诊断分析FMEDA，所述方法包括：访问安全库组件的库，每个安全库组件包含关于硬件模型的故障模式表征和安全数据；以及编译所述安全库组件和所述硬件IP，包括将所述硬件IP中的硬件模型的实例映射到对应的安全库组件，并且聚集所述对应的组件的所述表征和安全数据。2.根据权利要求1所述的方法，其中每个安全库组件包含属性和安全值。3.根据权利要求1所述的方法，其中每个安全库组件包括用于映射到硬件模型的信息；并且其中将所述库组件映射到所述IP块包括访问所述库组件中的所述映射信息。4.根据权利要求1所述的方法，还包括从所聚集的所述表征和安全数据生成全局度量。5.根据权利要求1所述的方法，进一步包括：接收经修改的硬件IP；以及重新编译所述安全库组件和所述经修改的硬件IP。6.根据权利要求5所述的方法，其中所述重新编译包括重新使用被映射到在所述经修改的硬件IP中未改变的实例的组件。7.根据权利要求5所述的方法，其中所述重新编译包括解除映射对应于从所述经修改的硬件IP移除的实例的安全库组件。8.根据权利要求5所述的方法，其中所述重新编译包括将映射到具有在所述经修改的硬件IP中的经修改的功能的实例的安全库组件解除映射，...

【专利技术属性】
技术研发人员：S，
申请(专利权)人：阿特里斯公司，
类型：发明
国别省市：