FMEDA驱动半导体SoC安全设计

EETOP 2023-06-06 11:45

随着尖端电子产品不断推动汽车、工业和航空航天等行业,未来在连接性和自主性方面的不断发展,开发能够符合安全标准的半导体芯片变得至关重要。

Cadence FMEDA 驱动的安全解决方案包含多款产品,专门针对高级安全分析、安全验证以及数字驱动模拟和数字全流程的兼顾安全的实现进行了优化。

现代汽车内电子元件的复杂性不断增加,促使汽车行业在整个供应链中采用更严格的流程。由于没有合适的工具和方法学来实现可追溯的安全生命周期或者安全相关信息的交换,我们需要一种针对半导体行业的安全要求,并且能够在整个供应链中使用的集成式设计流程。


这就需要一个可以提供无缝衔接的安全方法学来填补安全分析和传统芯片设计之间的缺口(如安全验证和兼顾安全的实现) 。此外,开发安全关键型半导体元件和 IP是一项涉及到大量运算的复杂的任务,为了提高安全方法学的置信度和生产效率,实现流程的自动化是十分必要的。

扫码收听视频解说

汽车电子功能安全解决方案

核心是Cadence新推出的 Midas Safety Platform。它整合了从设计、验证到实现的数字和混合信号的全流程,并能提供完整的 FMEDA 管理功能。

优化升级的安全方法学

常用的安全分析方法学,比如FMEDA并没有被集成到IC设计工具或流程中。因此,现在没有一个正式的渠道将FMEDA中定义的安全设计意图传递到IC设计流程,进而驱动相应的安全工具(“自上而下”的方法)。反过来,也没有这样的渠道把故障注入仿真得到的准确数据反标回FMEDA(“自下而上”的方法),用来替换之前预估的失效率。


要充分支持“自上而下”和“自下而上”的安全方法学,一些需要改进的关键点如下:

FMEDA 和安全 IC 设计流程之间的紧密结合

所有 IC 设计工具都支持且遵循的对芯片安全设计意图的形式化描述

导入芯片设计数据,在FMEDA 和芯片层次结构之间建立形式化联系

将仿真结果反标到 FMEDA,提升预估值的准确度


为了弥合这些差距,Cadence 推出了新的

Midas Safety Platform。Midas 与所有 Cadence IC 设计流程紧密集成,支持模拟/混合信号和数字半导体及 IP 进行FMEDA驱动的设计、分析、验证和实现。这个框架提供了一个可以指导安全工程师完成所有关键步骤的工作流程,包括 FMEDA 创建、安全分析、安全验证和兼顾安全的实现。


支持的行业标准

尽管有 ISO 26262 标准,但缺少一种形式化的安全标准来描述安全意图,包括支持的工具流程,因此只能借助电子表格和脚本来开发内部安全解决方案。但是,Accellera 和 IEEE 等标准机构已经成立了专门的工作组,旨在制定充分的安全标准,以满足这些安全要求。Midas 工具,作为 Cadence 功能安全解决方案的一部分,提供了带有多种接口的安全框架,能够在各种工具和流程组成的生态系统内运行:

Cadence Midas Safety Platform 支持 FMEDA 驱动的安全方法

Midas是一个模块化的开放式解决方案,在现有的功能安全标准的基础之上,可以轻松地适用于不同的应用和场景。这就是Midas 集成了支持 ISO 26262(汽车)和 IEC 61508(工业)标准的安全分析引擎的主要原因。

该安全分析引擎既可以借助用户预估的数据 (如面积、触发器数量或内存位),也可以使用Cadence IC 设计工具Genus (综合),Innovus (布局布线) 或 Xcelium (故障仿真)自动计算出硬件安全数据。

此外,Midas 还提供了基于 IEC TR 62380 标准定义的集成电路可靠性模型的基础失效率(BFR)计算引擎。要计算 BFR,需要先输入一些信息,如半导体工艺制程、自定义配置文件和封装信息。


FMEDA 的创建

安全工程师可以从“架构级FMEDA分析”做起,这是在项目初期对不同安全架构进行分析,从中选取可以达到安全目标的最优安全机制组合。

要创建一个FMEDA,需要将SOC按功能模块拆分成元件和子元件,以此来定义 FMEDA 层次结构:

FMEDA 图形用户界面和设置

安全验证完成后,可以将仿真结果反标到 Midas 平台。现在,失效分布和诊断覆盖率的值是基于真实的设计和仿真数据,因此重新计算得出的硬件安全指标要更加准确。


统一的安全格式

统一安全格式 (USF) 是一组命令,用于定义和验证电子设计中的功能安全意图。功能安全意图包括建模、指定、分析、实现和验证安全关键系统、半导体和知识产权 (IP) 所需的信息,以便支持相同的信息在各种商用 EDA 工具之间共享。USF促进了安全分析的自动化,成为设计、验证和实现安全关键系统的通用框架。安全分析引擎也可以通过命令行窗口操作,这使得 Midas 可以完全实现脚本化运行,并支持不同等级的自动化。


利用USF,安全工程师可以通过描述失效模式(包括安全机制及其物理实现),针对 FMEDA 及其对系统行为的影响(失效模式)进行建模。同时,FMEDA 流程也是可以被完整记录的,可以通过修改和重复使用 USF 来自动创建其他项目的 FMEDA。

下图是USF 命令的简单示例,描述了架构 FMEDA(在失效模式层面估算设计信息)和详细 FMEDA(从实际设计中收集设计信息):

USF 示例 — 架构和详细 FMEDA


Midas Safety Platform

Midas 平台的图形用户界面集成了各种功能安全任务:

安全分析编写(设计拆分、失效模式定义、安全机制选取和失效模式映射)

生成安全报告并导出相对指标(例如单点故障率、潜在故障率)和绝对指标(例,随机硬件失效率)

安全配置,用于创建、保存和重建不同的安全场景,在这些场景中可以更改一个或多个参数(例如,通过添加或删除安全机制来分析对诊断覆盖的影响)

支持映射到安全对象(例如元件、子元件、失效模式和安全机制)的自定义属性


安全验证流程

Midas 工具依托 Cadence 在 EDA 供应商中的核心地位,提供了一套安全解决方案和安全控制中心,支持 FMEDA 驱动的安全验证和兼顾安全的实物理现。


Midas 与 Cadence 安全验证流程紧密集成,提供了一种灵活的验证解决方案,可以证实安全分析阶段做出的各种假设。


Verisium Manager Safety 在验证过程中发挥关键作用。它提供统一的故障仿真管理平台,实现自动化地调用各种安全引擎 (例如 Xcelium、Jasper Functional Safety Verification (FSV) App、Spectre®  AMS Designer 和 Spectre)执行复杂的故障注入仿真。

Verisium 平台覆盖了多种功能,比如故障仿真执行、测试用例删选和排序、故障分类、覆盖率、故障调试、故障报告生成以及将仿真结果反标到 Midas 等。

故障注入后,安全验证流程从使用 Jasper FSV App 进行故障分析开始。Jasper FSV App 可以通过结构和形式化故障分析,识别出在随后的故障仿真中可以被忽略的不可测试、不可观测和等效的故障点。这大大缩减了故障列表,加快了整个安全验证进程。故障分析后,Xcelium Safety App 利用串行或并发引擎对剩余的故障进行故障注入仿真。

同时,Midas 平台还与 Spectre Simulation Platform 和 Legato Reliability Solution 集成,解决模拟/混合信号故障识别和仿真问题。与数字安全流程类似,Midas 平台可以从 Spectre Simulator 收集模拟设计信息。


兼顾安全的实现流程

Midas 平台支持 FMEDA 驱动的兼顾安全的实现,其中综合工具和布局布线工具可以协同工作。

USF 可以定义安全机制,例如双核锁步、安全岛、三重模块冗余 (TMR)、逻辑隔离等。完成定义后,可以由 Genus Synthesis Solution 生成安全机制。Innovus 可以保存并读取描述安全机制实现的 USF 文件,以便相应地推动物理实现。

Midas Safety Platform 是市场上第一款针对模拟/混合信号和数字方向,真正支持 FMEDA 驱动的安全方法学的解决方案。Midas 平台是所有 Cadence 安全流程的统一控制中心,将 FMEDA 与 SoC 安全验证和兼顾安全的实现联系起来。所有 Cadence 安全流程都使用 USF 作为定义安全意图的基础,从而实现自动化的安全设计、验证和实现。

点击边框调出视频工具条
   


扫一扫二维码,立即下载技术白皮书



白皮书: 《FMEDA 驱动的整体安全设计和验证:面向模拟、数字和混合信号设计》


注:请用公司邮箱注册, 通过Cadence 审核的注册用户,我们将注册成功且通过Cadence审核的用户可获得完整版资料。审核通过后Cadence会将白皮书发送至您的邮箱,提供您的公司邮箱地址通过审核的几率更大哦!


如需了解更多信息, 您也可以点击阅读原文填写表单申请相关白皮书。

EETOP EETOP半导体社区-国内知名的半导体行业媒体、半导体论坛、IC论坛、集成电路论坛、电子工程师博客、工程师BBS。
评论
  • 晶台光耦KL817和KL3053在小家电产品(如微波炉等)辅助电源中的广泛应用。具备小功率、高性能、高度集成以及低待机功耗的特点,同时支持宽输入电压范围。▲光耦在实物应用中的产品图其一次侧集成了交流电压过零检测与信号输出功能,该功能产生的过零信号可用于精确控制继电器、可控硅等器件的过零开关动作,从而有效减小开关应力,显著提升器件的使用寿命。通过高度的集成化和先进的控制技术,该电源大幅减少了所需的外围器件数量,不仅降低了系统成本和体积,还进一步增强了整体的可靠性。▲电路示意图该电路的过零检测信号由
    晶台光耦 2025-01-16 10:12 97浏览
  • 随着智慧科技的快速发展,智能显示器的生态圈应用变得越来越丰富多元,智能显示器不仅仅是传统的显示设备,透过结合人工智能(AI)和语音助理,它还可以成为家庭、办公室和商业环境中的核心互动接口。提供多元且个性化的服务,如智能家居控制、影音串流拨放、实时信息显示等,极大提升了使用体验。此外,智能家居系统的整合能力也不容小觑,透过智能装置之间的无缝连接,形成了强大的多元应用生态圈。企业也利用智能显示器进行会议展示和多方远程合作,大大提高效率和互动性。Smart Display Ecosystem示意图,作
    百佳泰测试实验室 2025-01-16 15:37 169浏览
  • 百佳泰特为您整理2025年1月各大Logo的最新规格信息,本月有更新信息的logo有HDMI、Wi-Fi、Bluetooth、DisplayHDR、ClearMR、Intel EVO。HDMI®▶ 2025年1月6日,HDMI Forum, Inc. 宣布即将发布HDMI规范2.2版本。新规范将支持更高的分辨率和刷新率,并提供更多高质量选项。更快的96Gbps 带宽可满足数据密集型沉浸式和虚拟应用对传输的要求,如 AR/VR/MR、空间现实和光场显示,以及各种商业应用,如大型数字标牌、医疗成像和
    百佳泰测试实验室 2025-01-16 15:41 157浏览
  • 故障现象 一辆2007款法拉利599 GTB车,搭载6.0 L V12自然吸气发动机(图1),累计行驶里程约为6万km。该车因发动机故障灯异常点亮进厂检修。 图1 发动机的布置 故障诊断接车后试车,发动机怠速轻微抖动,发动机故障灯长亮。用故障检测仪检测,发现发动机控制单元(NCM)中存储有故障代码“P0300 多缸失火”“P0309 气缸9失火”“P0307 气缸7失火”,初步判断发动机存在失火故障。考虑到该车使用年数较长,决定先使用虹科Pico汽车示波器进行相对压缩测试,以
    虹科Pico汽车示波器 2025-01-15 17:30 95浏览
  • 近期,智能家居领域Matter标准的制定者,全球最具影响力的科技联盟之一,连接标准联盟(Connectivity Standards Alliance,简称CSA)“利好”频出,不仅为智能家居领域的设备制造商们提供了更为快速便捷的Matter认证流程,而且苹果、三星与谷歌等智能家居平台厂商都表示会接纳CSA的Matter认证体系,并计划将其整合至各自的“Works with”项目中。那么,在本轮“利好”背景下,智能家居的设备制造商们该如何捉住机会,“掘金”万亿市场呢?重认证快通道计划,为家居设备
    华普微HOPERF 2025-01-16 10:22 176浏览
  • 随着消费者对汽车驾乘体验的要求不断攀升,汽车照明系统作为确保道路安全、提升驾驶体验以及实现车辆与环境交互的重要组成,日益受到业界的高度重视。近日,2024 DVN(上海)国际汽车照明研讨会圆满落幕。作为照明与传感创新的全球领导者,艾迈斯欧司朗受邀参与主题演讲,并现场展示了其多项前沿技术。本届研讨会汇聚来自全球各地400余名汽车、照明、光源及Tier 2供应商的专业人士及专家共聚一堂。在研讨会第一环节中,艾迈斯欧司朗系统解决方案工程副总裁 Joachim Reill以深厚的专业素养,主持该环节多位
    艾迈斯欧司朗 2025-01-16 20:51 108浏览
  • 一个易用且轻量化的UI可以大大提高用户的使用效率和满意度——通过快速启动、直观操作和及时反馈,帮助用户快速上手并高效完成任务;轻量化设计则可以减少资源占用,提升启动和运行速度,增强产品竞争力。LVGL(Light and Versatile Graphics Library)是一个免费开源的图形库,专为嵌入式系统设计。它以轻量级、高效和易于使用而著称,支持多种屏幕分辨率和硬件配置,并提供了丰富的GUI组件,能够帮助开发者轻松构建出美观且功能强大的用户界面。近期,飞凌嵌入式为基于NXP i.MX9
    飞凌嵌入式 2025-01-16 13:15 196浏览
  • 80,000人到访的国际大展上,艾迈斯欧司朗有哪些亮点?感未来,光无限。近日,在慕尼黑electronica 2024现场,ams OSRAM通过多款创新DEMO展示,以及数场前瞻洞察分享,全面展示自身融合传感器、发射器及集成电路技术,精准捕捉并呈现环境信息的卓越能力。同时,ams OSRAM通过展会期间与客户、用户等行业人士,以及媒体朋友的深度交流,向业界传达其以光电技术为笔、以创新为墨,书写智能未来的深度思考。electronica 2024electronica 2024构建了一个高度国际
    艾迈斯欧司朗 2025-01-16 20:45 143浏览
  • 日前,商务部等部门办公厅印发《手机、平板、智能手表(手环)购新补贴实施方案》明确,个人消费者购买手机、平板、智能手表(手环)3类数码产品(单件销售价格不超过6000元),可享受购新补贴。每人每类可补贴1件,每件补贴比例为减去生产、流通环节及移动运营商所有优惠后最终销售价格的15%,每件最高不超过500元。目前,京东已经做好了承接手机、平板等数码产品国补优惠的落地准备工作,未来随着各省市关于手机、平板等品类的国补开启,京东将第一时间率先上线,满足消费者的换新升级需求。为保障国补的真实有效发放,基于
    华尔街科技眼 2025-01-17 10:44 126浏览
  • 全球领先的光学解决方案供应商艾迈斯欧司朗(SIX:AMS)近日宣布,与汽车技术领先者法雷奥合作,采用创新的开放系统协议(OSP)技术,旨在改变汽车内饰照明方式,革新汽车行业座舱照明理念。结合艾迈斯欧司朗开创性的OSIRE® E3731i智能LED和法雷奥的动态环境照明系统,两家公司将为车辆内饰设计和功能设立一套全新标准。汽车内饰照明的作用日益凸显,座舱设计的主流趋势应满足终端用户的需求:即易于使用、个性化,并能提供符合用户生活方式的清晰信息。因此,动态环境照明带来了众多新机遇。智能LED的应用已
    艾迈斯欧司朗 2025-01-15 19:00 78浏览
  • 电竞鼠标应用环境与客户需求电竞行业近年来发展迅速,「鼠标延迟」已成为决定游戏体验与比赛结果的关键因素。从技术角度来看,传统鼠标的延迟大约为20毫秒,入门级电竞鼠标通常为5毫秒,而高阶电竞鼠标的延迟可降低至仅2毫秒。这些差异看似微小,但在竞技激烈的游戏中,尤其在对反应和速度要求极高的场景中,每一毫秒的优化都可能带来致胜的优势。电竞比赛的普及促使玩家更加渴望降低鼠标延迟以提升竞技表现。他们希望通过精确的测试,了解不同操作系统与设定对延迟的具体影响,并寻求最佳配置方案来获得竞技优势。这样的需求推动市场
    百佳泰测试实验室 2025-01-16 15:45 233浏览
  • 实用性高值得收藏!! (时源芯微)时源专注于EMC整改与服务,配备完整器件 TVS全称Transient Voltage Suppre,亦称TVS管、瞬态抑制二极管等,有单向和双向之分。单向TVS 一般应用于直流供电电路,双向TVS 应用于电压交变的电路。在直流电路的应用中,TVS被并联接入电路中。在电路处于正常运行状态时,TVS会保持截止状态,从而不对电路的正常工作产生任何影响。然而,一旦电路中出现异常的过电压,并且这个电压达到TVS的击穿阈值时,TVS的状态就会
    时源芯微 2025-01-16 14:23 151浏览
我要评论
0
点击右上角,分享到朋友圈 我知道啦
请使用浏览器分享功能 我知道啦