Precision Hi-Rel 提供多種 SEE 緩解策略,適用於關鍵安全和高可靠性的應用。與 FormalPro LEC 整合可以確保基於合成的緩解設計功能上與 RTL 相當於,確保 DO-254 認證。
TMR 是最受歡迎的緩解策略,用於保護 FPGA 中的 SEU/SET。精密高雷射線提供最廣泛的 TMR 模式選擇-LTMR,DTMR,GTMR 和智能選擇性 TMR(iStMR),使用者能夠在安全性、面積和性能之間進行平衡。在合成層級插入 TMR 可提供更好的用戶控制和卓越的 QoR。
精密 Hi-Rel 提供兩種增強的安全 FSM 模式:
通過在合成流程中的無縫集成和完全的用戶控制,它允許設計師在全球或模塊化層級實施這些 FSM 最佳化。
Precision Hi-Rel 提供您選擇按鈕流程進行緩解策略,或者選擇用戶導向流程進行選擇性緩解。使用者導向的緩解是使用 HDL 中的實務/屬性或 TCL 中的限制來實現。
FormalPro 和 Precision Hi-Rel 是業界唯一的整合,證明 RTL 和降低 FPGA 設計之間的功能相等性。Precision 會自動產生一個包含合成最佳化和緩解資訊的 FVI 設定檔,使可靠的按鈕 RTL 連接網清單,以減輕閘道網清單等效檢查。
加入討論新主題、功能、內容和技術專家。
存取詳細的文件、訓練資源等。
透過獨特的開發和設計經驗和方法專業知識,解決複雜的技術和企業挑戰,幫助您實現最大的業務影響。