制御ソフトウェア Precision Hi-Rel

デザインセキュリティ合成

Precision Hi-Rel は、TMR、安全なFSM、およびその他の最適化を使用して、セーフティクリティカルおよび高信頼性アプリケーションのSEU/SETを自動的に緩和することで、Precision RTL Plusを強化します。 SEEの緩和と機能的等価性の確保 Precision Hi-Relは、セーフティクリティカルおよび高信頼性アプリケーション向けに複数のSEE緩和戦略を提供します。FormalPro LECとの統合により、合成ベースの緩和設計がRTLと機能的に同等であることが保証され、DO-254認証を確実に取得できます。 トリプル・モジュラー・リダンダンシー（TMR） TMRは、FPGAのSEU/SETからの保護に使用される最も一般的な緩和戦略です。Precision Hi-Relは、LTMR、DTMR、GTMR、およびインテリジェント選択的TMR（iSTMR）というTMRモードの最も幅広い選択肢を提供し、ユーザーが安全性、面積、および性能の間でトレードオフできるようにします。合成レベルでTMRを挿入することで、より大きなユーザー制御と優れたQoRを実現します。 安全なFSM Precision Hi-Relは、2つの強化された安全FSMモードを提供します： SEU検出 - 無効な遷移/状態を検出し、既知の状態に回復します。 SEUトレラント - SEUを吸収し、中断することなく動作を継続します。 合成フローへのシームレスな統合と完全なユーザー制御により、設計者はこれらのFSM最適化をグローバルまたはモジュールレベルで実装できます。 プッシュボタンまたはユーザー指示による緩和フロー Precision Hi-Relでは、ミティゲーション戦略用のプッシュボタン・フローまたは選択的ミティゲーション用のユーザー指示フローを選択できます。ユーザー指向のミティゲーションは、HDLではプラグマ/属性、TCLでは制約を使用して実装されます。