楷登電子(美國 Cadence 公司)推出 Cadence Safety Solution 安全方案。這是一款針對安全關(guān)鍵型應用的新產(chǎn)品,統一集成了模擬和數字安全流程及引擎,可加快 ISO 26262 和 IEC 61508 認證。該解決方案包括全新產(chǎn)品 Cadence Midas Safety Platform ,可支持失效模式、影響和診斷分析 (FMEDA) ,允許客戶(hù)對先進(jìn)的汽車(chē)、工業(yè)和航空航天等應用中的安全關(guān)鍵型半導體進(jìn)行 FMEDA 驅動(dòng)的模擬和數字驗證。 隨著(zhù)尖端電子產(chǎn)品不斷推動(dòng)汽車(chē)、工業(yè)和航空航天等行業(yè),未來(lái)發(fā)展連接性和自主性技術(shù)發(fā)展,開(kāi)發(fā)能夠符合安全標準的半導體芯片變得至關(guān)重要。Cadence Safety Solution安全方案包含全新的驗證工具套件,包括 Midas Safety Platform、vManager Safety Manager 和 Xcelium Safety Simulator。同時(shí),該解決方案也包含現有的數字設計和驗證及模擬和混合信號工具,包括 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í)現符合功能安全標準(如 ISO 26262)的全方面的流程自動(dòng)化、信任度和生產(chǎn)效率需求。 “面向汽車(chē)應用的半導體芯片開(kāi)發(fā)為整個(gè)供應鏈帶來(lái)了一系列挑戰,包括實(shí)現符合 ISO 26262 標準所需的嚴格的安全認證!盋adence 公司副總裁兼系統與驗證集團總經(jīng)理 Paul Cunningham 說(shuō)到,“通過(guò)新的 Cadence Safety Solution安全方案,客戶(hù)可以使用 Midas Safety Platform,該平臺與 Cadence 設計和驗證流程完全集成,包括 vManager Safety Manager、Xcelium Safety Simulator、Jasper FSV App、Genus Synthesis Solution 和 Spectre Simulation Platform,以提高生產(chǎn)力并加速實(shí)現安全合規! Cadence Safety Solution 安全方案包括為高階的安全設計和驗證而增強的流程和引擎。該解決方案包括: • FMEDA 管理工具:新的 Midas Safety Platform 支持對功能安全早期階段架構設計探索,并利用既有的芯片原生設計數據進(jìn)行有效準確的安全分析。該平臺是一個(gè)跨 Cadence 產(chǎn)品的統一解決方案,其模塊化架構既可支持嵌入式全自動(dòng)化集成流程模式,也可以獨立使用。 • 故障注入仿真工具:新的 Xcelium Safety Simulator 利用 Cadence 領(lǐng)先的串行(Serial)和并發(fā)(Concurrent)故障注入仿真技術(shù)來(lái)驅動(dòng)最高性能的安全分析。該仿真器的機器學(xué)習算法并加上形式驗證技術(shù)的優(yōu)化,極大加速了驗證流程的整體吞吐量。 • 故障項目管理:新的 vManager Safety Manager 提供功能和安全驗證管理,集成在一個(gè)統一的系統中,用于管理所有 Cadence 引擎的驗證項目。通過(guò)利用 vManager Safety Manager 協(xié)調 Jasper FSV App 和 Xcelium Safety Simulator 的故障覆蓋率,客戶(hù)可以將安全驗證活動(dòng)的周轉時(shí)間減少 3 倍。此外,vManager Verification Management 平臺為客戶(hù)提供連接,以實(shí)現需求追蹤能力,而 vManager Safety Manager 可以處理模擬和數字領(lǐng)域的安全驗證,并自動(dòng)報告所需的安全文件。 • 形式驗證工具:Jasper FSV App 將業(yè)界領(lǐng)先的形式驗證技術(shù)應用于故障分析,能將故障仿真列表最多縮減至 30%,以提高安全驗證的整體性能。 • 針對模擬電路的自動(dòng)功能安全流程工具:Safety Solution 整合了 Spectre Simulation Platform 和 Legato Reliability Solution,可對模擬及混合電路的不同的失效模式自動(dòng)啟動(dòng)故障仿真,生成功能安全診斷覆蓋率報告,并反標給 Midas Safety Platform,以加速功能安全流程的收斂。 • 自動(dòng)化的安全機制插入、優(yōu)化和驗證工具: Cadence Safety Solution 安全方案整合了Genus 綜合工具、Innovus Implementation System 和 Conformal Equivalence Checker,可以在數字邏輯實(shí)現流程中插入安全機制(如TMR(Triple Modular Redundancy)和DCLS(dual-core lock-step)雙核鎖步安全島),使客戶(hù)能夠在優(yōu)化功耗、性能和面積目標的同時(shí)達到安全要求。 “隨著(zhù)功能安全領(lǐng)域自動(dòng)化技術(shù)的發(fā)展,Accellera Systems Initiative 和 IEEE 等組織提出的(業(yè)界統一的設計流程)標準化變得非常重要!盋adence 公司資深工程總監 Alessandra Nardi 表示,“Accellera Functional Safety Working Group 正在定義一種標準語(yǔ)言,以采集和交換功能安全數據,這將大大有利于互操作性和可追溯性。Cadence 正在為 Accellera Functional Safety Working Group 做出貢獻,并為開(kāi)發(fā)IEEE P2851 等標準提供支持! Cadence Safety Solution 安全方案支持 Cadence 智能系統設計 (Intelligent System Design) 戰略,旨在通過(guò)一流的工具和流程實(shí)現 SoC 的卓越設計。如需了解關(guān)于 Cadence Safety Solution 的更多信息,請訪(fǎng)問(wèn) www.cadence.com/go/SafetySolution。 客戶(hù)評價(jià) “功能安全不僅在現代汽車(chē)的設計中越來(lái)越重要, 對于可靠性要求高的工業(yè)和航空航天的應用也一直至關(guān)重要。全新的 Cadence Safety Solution安全解決方案,幫助提升各種安全相關(guān)應用設計和驗證的效率,體現了 Arm 功能安全合作計劃( Arm Functional Safety Partnership Program)為客戶(hù)提供可靠和集成解決方案的精神! - Arm 汽車(chē)和物聯(lián)網(wǎng)業(yè)務(wù)線(xiàn)技術(shù)戰略高級總監Suraj Gajendra “針對汽車(chē)應用,ASIL-B 流程和安全架構是我們開(kāi)發(fā)先進(jìn) AI 處理器的關(guān)鍵要求。Cadence Safety Solution 安全方案幫助我們實(shí)現了這一目標,它幫助我們根據原有設計對安全指標進(jìn)行早期預估,從而實(shí)現安全機制的恰當規劃! - Hailo公司 VLSI 總監兼安全經(jīng)理 Ori Katz “在我們的汽車(chē) SoC 功能安全開(kāi)發(fā)流程中,為達到 ISO-26262 認證所需的指標要求,我們需要運行模擬故障仿真,并定制化故障優(yōu)化分布、采樣集大小、監控和安全標準使用的規則。我們使用 Cadence Legato Reliability Solution 對我們的模擬設計進(jìn)行故障注入,運行故障仿真,并將結果納入我們的安全指標。該解決方案與 Virtuoso 平臺完美整合,使我們能夠重復使用仿真平臺和仿真環(huán)境設置。利用這個(gè)解決方案,我們能夠以所需的準確性和靈活性來(lái)達到 ISO-26262 安全要求,并達到很高的生產(chǎn)力! - Melexis公司設計工程師Yurii Toporov “在功能安全驗證中隨機故障仿真是工業(yè)應用中的一大挑戰。對多種多樣的安全機制進(jìn)行建模,顯著(zhù)增加了復雜性,需要可靠、靈活的仿真工具。在流程自動(dòng)化、周轉時(shí)間優(yōu)化和結果質(zhì)量方面,Cadence 安全解決方案擴展了現有的 Cadence 驗證套件,幫助我們更快地獲得 IEC 61508 認證! - STMicroelectronics公司微控制器部門(mén),架構、技術(shù)支持、應用和工具總監Franck Roche |