楷登電子（美國 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，以提高生產力并加速實現安全合規。”
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 等標準提供支持。”
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 安全方案幫助我們實現了這一目標，它幫助我們根據原有設計對安全指標進行早期預估，從而實現安全機制的恰當規劃。”
-Hailo公司 VLSI 總監兼安全經理 Ori Katz
“在我們的汽車 SoC 功能安全開發流程中，為達到 ISO-26262 認證所需的指標要求，我們需要運行模擬故障仿真，并定制化故障優化分布、采樣集大小、監控和安全標準使用的規則。我們使用 Cadence Legato Reliability Solution 對我們的模擬設計進行故障注入，運行故障仿真，并將結果納入我們的安全指標。該解決方案與 Virtuoso 平臺完美整合，使我們能夠重復使用仿真平臺和仿真環境設置。利用這個解決方案，我們能夠以所需的準確性和靈活性來達到 ISO-26262 安全要求，并達到很高的生產力。”
-Melexis公司設計工程師Yurii Toporov
“在功能安全驗證中隨機故障仿真是工業應用中的一大挑戰。對多種多樣的安全機制進行建模，顯著增加了復雜性，需要可靠、靈活的仿真工具。在流程自動化、周轉時間優化和結果質量方面，Cadence 安全解決方案擴展了現有的 Cadence 驗證套件，幫助我們更快地獲得 IEC 61508 認證。”
