注重安全性的汽車設計需要一些特殊的實現功能，以實現可自動兼顧安全性的 P&R，包括三重投票觸發器（Triple Voting Flop）插入、 安全島生成、邏輯隔離緩沖器插入和不同布線約束的規范。本文講講雙核鎖步。

利用完全集成的流程，數字安全機制可以通過 Genus Synthesis、Innovus Implementation（P&R）、Cadence Modus DFT Software 和 Conformal Equivalence Checker 進行設計、管理和驗證。Genus Synthesis 可以自動插入安全機制，如 TMR flops 或雙核鎖步（DCLS）控制器，并加快安全機制綜合。然后，Innovus Implementation 可以自動創建和控制投票觸發器的插入，并管理 DCLS 控制器安全島的創建、形狀和布線。

雙核鎖步（DCLS：Dual Core Lock Step）：

雙核鎖步（DCLS）是指對安全關鍵型的核心處理模塊進行復制，在每一個時鐘周期對雙核的輸出進行比較，在發生故障時輸出錯誤標識信號，以供系統及時采取應對措施。

以電動助力轉向（EPS）應用場景為例，用于EPS的MCU必須滿足ASIL D，確保汽車的轉向系統是可預測的、確定的、安全的。EPS控制系統通常使用雙核鎖步MCU，并增加內部自檢、使用高級電源管理解決方案提高安全性，防止電源故障和時鐘故障帶來的安全風險。

那么邏輯綜合、后端實現，在布局、時鐘樹綜合、布線等每一步驟上做哪些處理才能減少主核與次核共模失效的幾率呢？答案參見全棧芯片工程師知識星球。

雖然可以使用完全自動化的 RTL-to-GDSII 流程進行數字安全設計和實現，但模擬和混合信號設計流程并沒有為模擬綜合和物理實現的 P&R 提供這種自動化水平。大量的現場失效是由產品的模擬或混合信號部分引起的，因此引入了基于缺陷導向測試概念的綜合模擬故障仿真方法，以測量和最大程 度提高檢測覆蓋率。IEEE P2427工作組對模擬仿真制造缺陷的定義進行了標準化，并提出了一套缺陷模型，大大簡化了缺陷建模和仿真。

審核編輯：劉清