你将学习:
- FMEDA是什么?
- Cadence的Midas平台包含哪些工具?
开发符合安全要求的半导体对于汽车行业电子设备的连通性和自主性至关重要。在一个新的安全解决方案的中心节奏是一个叫做Midas的工具，它将Cadence从设计到验证的流程整合在一起。
Midas为ISO 26262认证提供完整的故障模式、影响和诊断分析(FMEDA)管理。它针对安全关键应用，并具有集成的模拟和数字安全流和更快的ISO 26262和IEC 61508认证引擎。ISO 26262是iec61508的衍生版本，iec61508对汽车以外的行业规定了类似的要求。这一切都属于构建可靠的soc和系统的范畴。
该解决方案包括一个新的产品，允许用户执行fmeda驱动的模拟和数字验证，对汽车、工业和航空航天应用的安全关键半导体进行验证。
Cadence安全解决方案中包含的其他验证工具包括Midas vManager安全管理器和Xcelium安全模拟器。安全流为汽车、工业和航空用户提供集成的安全分析、故障活动管理和执行能力。
Midas中的FMEDA计划可以在基于cadas的验证流程中驱动一个全面的故障活动。它包括在Xcelium Logic simulation中的并发故障模拟，在Jasper形式验证工具中的形式故障可达性，在RTL合成和物理合成引擎Genus中的自动安全机制插入，以及在Legato可靠性解决方案中的先进老化模拟缺陷分析。
Cadence公司副总裁兼系统与验证集团总经理Paul Cunningham表示:“汽车应用半导体开发面临一系列挑战，需要整个供应链解决这些挑战，包括严格的安全认证，以达到ISO 26262标准的要求。”使用Cadence安全解决方案，工程师可以根据之前的设计对安全指标进行早期评估，从而对安全机制进行适当的规划。
fmeda驱动的Midas平台有什么?
让我们着眼于组成《Cadence》解决方案的元素:
fmea管理通过Midas安全平台提供功能安全架构的早期探索，并利用本地芯片设计数据进行准确的安全分析。该平台是一个统一的解决方案，可以在Cadence产品中使用，并具有模块化架构，支持嵌入或独立使用Cadence流程。
Xcelium安全模拟器利用了Cadence的本地串行和并发故障模拟技术进行安全分析。该模拟器的机器学习算法，加上基于形式的流程，加快了整体验证吞吐量。
vManager安全管理器提供功能安全验证管理，集成在一个跨所有Cadence引擎的系统中。Cadence声称，通过利用vManager安全管理器来协调Jasper FSV应用程序和Xcelium安全模拟器的故障覆盖，可以将安全验证活动的周期缩短3倍。据Cadence称，Jasper FSV应用程序将正式技术应用于故障分析，将模拟故障列表减少了30%，提高了安全验证性能。
此外，vManager Verification Management平台支持需求跟踪，而vManager Safety Manager处理模拟和数字域的安全验证，并自动报告所需的安全文档。
意法半导体公司微控制器部架构、技术支持、应用和工具总监Franck Roche在《Cadence》杂志上指出:“在功能安全验证中模拟随机故障是工业应用中的一大挑战。为安全机制的多样性特性建模增加了极大的复杂性，需要可靠和灵活的仿真工具。在提供流程自动化、周转时间优化和结果质量方面，新的Cadence安全解决方案扩展了现有的Cadence验证套件，并帮助我们更快地获得IEC 61508认证。”
安全解决方案进一步整合了Spectre仿真平台和Legato可靠性解决方案，允许针对不同故障模式自动启动模拟和混合信号故障模拟。它还生成功能安全诊断覆盖报告，并将注释返回到Midas安全平台，加速functional-safety关闭。Cadence Legato可靠性解决方案可用于在模拟设计和运行模拟中执行故障注入，然后将结果纳入安全指标。
安全解决方案还集成了Genus综合解决方案、物理实现工具Innovus和Cadence的保形等效检查器，以指导在实现流程中插入安全机制。这允许用户在优化功率、性能和区域目标的同时实现安全要求。
Cadence高级工程团队总监Alessandra Nardi表示:“随着自动化在功能安全方面的进步，Accellera Systems Initiative和IEEE等组织的标准化工作变得越来越重要。Accellera功能安全工作组正在定义一种标准语言来捕获和交换功能安全数据，这将大大提高互操作性和可追溯性。Cadence正在为Accellera功能安全工作组做出贡献，并支持IEEE P2851继续开发这些标准。”
总的来说，Cadence的安全解决方案支持公司的智能系统设计战略，旨在实现卓越的SoC设计。该解决方案已经酝酿了好几年，跨越了Cadence的整个流程，并超越了Cadence，为多厂商工具的功能安全互操作性提供了一个新的统一安全格式的生态系统。
