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