Cadence 推出全面安全解決方案，加速汽車和工業(yè)設(shè)計(jì)認(rèn)證

楷登電子（美國(guó) Cadence 公司）近日宣布推出 Cadence^? Safety Solution 安全方案。這是一款針對(duì)安全關(guān)鍵型應(yīng)用的新產(chǎn)品，統(tǒng)一集成了模擬和數(shù)字安全流程及引擎，可加快 ISO 26262 和 IEC 61508 認(rèn)證。該解決方案包括全新產(chǎn)品 Cadence Midas? Safety Platform ，可支持失效模式、影響和診斷分析 (FMEDA) ，允許客戶對(duì)先進(jìn)的汽車、工業(yè)和航空航天等應(yīng)用中的安全關(guān)鍵型半導(dǎo)體進(jìn)行 FMEDA 驅(qū)動(dòng)的模擬和數(shù)字驗(yàn)證。

內(nèi)容提要

●   Cadence Safety Solution 包括新的Midas Safety Platform，為模擬和數(shù)字流程提供基于 FMEDA 功能安全設(shè)計(jì)和驗(yàn)證的統(tǒng)一方案

●   該安全流程方案為汽車、工業(yè)和航空航天客戶提供集成的安全分析（safety analysis）、故障項(xiàng)目管理和執(zhí)行（fault campaign management and execution）能力

●   新的解決方案包括增強(qiáng)的 Cadence 驗(yàn)證引擎，支持完整的 ISO 26262 和 IEC 61508 驗(yàn)證

隨著尖端電子產(chǎn)品不斷推動(dòng)汽車、工業(yè)和航空航天等行業(yè)，未來(lái)發(fā)展連接性和自主性技術(shù)發(fā)展，開發(fā)能夠符合安全標(biāo)準(zhǔn)的半導(dǎo)體芯片變得至關(guān)重要。Cadence Safety Solution安全方案包含全新的驗(yàn)證工具套件，包括 Midas Safety Platform、vManager? Safety Manager 和 Xcelium? Safety Simulator。同時(shí)，該解決方案也包含現(xiàn)有的數(shù)字設(shè)計(jì)和驗(yàn)證及模擬和混合信號(hào)工具，包括 Cadence Jasper? Functional Safety Verification (FSV) App、Legato? Reliability Solution、Spectre^?Simulation Platform、Genus? Synthesis Solution、Innovus? Implementation System、Modus DFT Software Solution 和 Conformal Equivalence Checker。由此旨在提高和實(shí)現(xiàn)符合功能安全標(biāo)準(zhǔn)（如 ISO 26262）的全方面的流程自動(dòng)化、信任度和生產(chǎn)效率需求。

“面向汽車應(yīng)用的半導(dǎo)體芯片開發(fā)為整個(gè)供應(yīng)鏈帶來(lái)了一系列挑戰(zhàn)，包括實(shí)現(xiàn)符合 ISO 26262 標(biāo)準(zhǔn)所需的嚴(yán)格的安全認(rèn)證。”Cadence 公司副總裁兼系統(tǒng)與驗(yàn)證集團(tuán)總經(jīng)理 Paul Cunningham 說(shuō)到，“通過(guò)新的 Cadence Safety Solution安全方案，客戶可以使用 Midas Safety Platform，該平臺(tái)與 Cadence 設(shè)計(jì)和驗(yàn)證流程完全集成，包括 vManager Safety Manager、Xcelium Safety Simulator、Jasper FSV App、Genus Synthesis Solution 和 Spectre Simulation Platform，以提高生產(chǎn)力并加速實(shí)現(xiàn)安全合規(guī)。”

Cadence Safety Solution 安全方案包括為高階的安全設(shè)計(jì)和驗(yàn)證而增強(qiáng)的流程和引擎。該解決方案包括：

●   FMEDA 管理工具：新的      Midas Safety Platform 支持對(duì)功能安全早期階段架構(gòu)設(shè)計(jì)探索，并利用既有的芯片原生設(shè)計(jì)數(shù)據(jù)進(jìn)行有效準(zhǔn)確的安全分析。該平臺(tái)是一個(gè)跨 Cadence 產(chǎn)品的統(tǒng)一解決方案，其模塊化架構(gòu)既可支持嵌入式全自動(dòng)化集成流程模式，也可以獨(dú)立使用。

●   故障注入仿真工具：新的 Xcelium Safety Simulator 利用      Cadence 領(lǐng)先的串行（Serial）和并發(fā)（Concurrent）故障注入仿真技術(shù)來(lái)驅(qū)動(dòng)最高性能的安全分析。該仿真器的機(jī)器學(xué)習(xí)算法并加上形式驗(yàn)證技術(shù)的優(yōu)化，極大加速了驗(yàn)證流程的整體吞吐量。

●   故障項(xiàng)目管理：新的 vManager Safety Manager 提供功能和安全驗(yàn)證管理，集成在一個(gè)統(tǒng)一的系統(tǒng)中，用于管理所有 Cadence 引擎的驗(yàn)證項(xiàng)目。通過(guò)利用 vManager Safety Manager 協(xié)調(diào)      Jasper FSV App 和 Xcelium Safety Simulator 的故障覆蓋率，客戶可以將安全驗(yàn)證活動(dòng)的周轉(zhuǎn)時(shí)間減少 3 倍。此外，vManager Verification Management 平臺(tái)為客戶提供連接，以實(shí)現(xiàn)需求追蹤能力，而 vManager Safety Manager 可以處理模擬和數(shù)字領(lǐng)域的安全驗(yàn)證，并自動(dòng)報(bào)告所需的安全文件。

●   形式驗(yàn)證工具：Jasper FSV App 將業(yè)界領(lǐng)先的形式驗(yàn)證技術(shù)應(yīng)用于故障分析，能將故障仿真列表最多縮減至 30%，以提高安全驗(yàn)證的整體性能。

●   針對(duì)模擬電路的自動(dòng)功能安全流程工具：Safety Solution 整合了 Spectre Simulation Platform 和 Legato Reliability Solution，可對(duì)模擬及混合電路的不同的失效模式自動(dòng)啟動(dòng)故障仿真，生成功能安全診斷覆蓋率報(bào)告，并反標(biāo)給 Midas Safety Platform，以加速功能安全流程的收斂。

●   自動(dòng)化的安全機(jī)制插入、優(yōu)化和驗(yàn)證工具： Cadence Safety      Solution 安全方案整合了Genus 綜合工具、Innovus Implementation System 和      Conformal Equivalence Checker，可以在數(shù)字邏輯實(shí)現(xiàn)流程中插入安全機(jī)制（如TMR(Triple      Modular Redundancy)和DCLS(dual-core lock-step)雙核鎖步安全島），使客戶能夠在優(yōu)化功耗、性能和面積目標(biāo)的同時(shí)達(dá)到安全要求。

“隨著功能安全領(lǐng)域自動(dòng)化技術(shù)的發(fā)展，Accellera Systems Initiative 和 IEEE 等組織提出的（業(yè)界統(tǒng)一的設(shè)計(jì)流程）標(biāo)準(zhǔn)化變得非常重要?！盋adence 公司資深工程總監(jiān) Alessandra Nardi 表示，“Accellera Functional Safety Working Group 正在定義一種標(biāo)準(zhǔn)語(yǔ)言，以采集和交換功能安全數(shù)據(jù)，這將大大有利于互操作性和可追溯性。Cadence 正在為 Accellera Functional Safety Working Group 做出貢獻(xiàn)，并為開發(fā)IEEE P2851 等標(biāo)準(zhǔn)提供支持。”

Cadence Safety Solution 安全方案支持 Cadence 智能系統(tǒng)設(shè)計(jì) (Intelligent System Design?) 戰(zhàn)略，旨在通過(guò)一流的工具和流程實(shí)現(xiàn) SoC 的卓越設(shè)計(jì)。

客戶評(píng)價(jià)

“功能安全不僅在現(xiàn)代汽車的設(shè)計(jì)中越來(lái)越重要， 對(duì)于可靠性要求高的工業(yè)和航空航天的應(yīng)用也一直至關(guān)重要。全新的 Cadence Safety Solution安全解決方案，幫助提升各種安全相關(guān)應(yīng)用設(shè)計(jì)和驗(yàn)證的效率，體現(xiàn)了 Arm 功能安全合作計(jì)劃（ Arm Functional Safety Partnership Program）為客戶提供可靠和集成解決方案的精神。”

-   Arm 汽車和物聯(lián)網(wǎng)業(yè)務(wù)線技術(shù)戰(zhàn)略高級(jí)總監(jiān)Suraj Gajendra

“針對(duì)汽車應(yīng)用，ASIL-B 流程和安全架構(gòu)是我們開發(fā)先進(jìn) AI 處理器的關(guān)鍵要求。Cadence Safety Solution 安全方案幫助我們實(shí)現(xiàn)了這一目標(biāo)，它幫助我們根據(jù)原有設(shè)計(jì)對(duì)安全指標(biāo)進(jìn)行早期預(yù)估，從而實(shí)現(xiàn)安全機(jī)制的恰當(dāng)規(guī)劃。”

-   Hailo公司 VLSI 總監(jiān)兼安全經(jīng)理 Ori Katz

“在我們的汽車 SoC 功能安全開發(fā)流程中，為達(dá)到 ISO-26262 認(rèn)證所需的指標(biāo)要求，我們需要運(yùn)行模擬故障仿真，并定制化故障優(yōu)化分布、采樣集大小、監(jiān)控和安全標(biāo)準(zhǔn)使用的規(guī)則。我們使用 Cadence Legato Reliability Solution 對(duì)我們的模擬設(shè)計(jì)進(jìn)行故障注入，運(yùn)行故障仿真，并將結(jié)果納入我們的安全指標(biāo)。該解決方案與 Virtuoso 平臺(tái)完美整合，使我們能夠重復(fù)使用仿真平臺(tái)和仿真環(huán)境設(shè)置。利用這個(gè)解決方案，我們能夠以所需的準(zhǔn)確性和靈活性來(lái)達(dá)到 ISO-26262 安全要求，并達(dá)到很高的生產(chǎn)力。”

-   Melexis公司設(shè)計(jì)工程師Yurii Toporov

“在功能安全驗(yàn)證中隨機(jī)故障仿真是工業(yè)應(yīng)用中的一大挑戰(zhàn)。對(duì)多種多樣的安全機(jī)制進(jìn)行建模，顯著增加了復(fù)雜性，需要可靠、靈活的仿真工具。在流程自動(dòng)化、周轉(zhuǎn)時(shí)間優(yōu)化和結(jié)果質(zhì)量方面，Cadence 安全解決方案擴(kuò)展了現(xiàn)有的 Cadence 驗(yàn)證套件，幫助我們更快地獲得 IEC 61508 認(rèn)證。”

-   STMicroelectronics公司微控制器部門，架構(gòu)、技術(shù)支持、應(yīng)用和工具總監(jiān)Franck Roche