Optima-HE™の仕様は以下の通りです：
・数ヶ月のシミュレーションを数日に短縮する超高速故障解析
・カバレッジ・ホールを検出して修正するCoverageMaximizerテクノロジ
・ASIL評価の向上によるリソース、市場投入までの時間、労力の削減
車載デバイスにおけるハードエラー（永久故障）とは、1または0でスタックする状態のことです。これらは通常、自動車のような高温、振動、高圧の環境で発生しやすく、破損したトランジスタによって生じます。
これらの故障は、その重要性とデバイスのタイミング制約に応じて、発生から0.25mS～100mS以内に検出される必要があります。このため、デバイス全体を堅牢な安全メカニズムで保護し、継続的に動作させる必要があります。ASIL-Dデバイスでは、起こり得る故障の99%以上を安全メカニズムでガードする必要があります。Optima-HE™は、ハードエラー障害の検証および解析のための、大幅に強化された完全なソリューションを提供します。
ハードエラーの影響を排除するために、さまざまな安全メカニズムが活用されます。これには、BIST技術、プロセッサのロック・ステップ動作、ソフトウェア・テスト・ライブラリ（STL）、エラー訂正コードなどが含まれます。
デザインで発生し得るすべてのフォルトを完全にカバーするためには、大規模なフォルト・シミュレーションを実施する必要があります。テスト・ベクタの包括的なセットを使用したシミュレーションをクリーンなデザインに対して実行し、次にすべてのノードにフォルトを注入した状態で同じデザインに対して実行します。フォルトは安全機構への伝播の仕方に基づいて分類され、安全機構によって除去されます。このシミュレーションは、製造前の最終的なデバイスに対してゲート・レベルで実行する必要があります。
Optima-HE™ 環境
従来のフォルト・シミュレーション・プロセスでは、大規模なフォルト・コラプシング（折りたたみ）とプルーニング（間引き）を適用しても、実行に数ヶ月を要することがよくあります。OptimaのFIE™フォルト・シミュレーション技術は、実行時間を数時間に短縮することで、この検証プロセス全体をダイナミックに変えることができます。
故障解析プロセスは、シミュレーションに適用されるテストに依存します。そのため、デザインに対する高いカバレッジが非常に重要ですが、複雑なブロックの中にはこれを達成するのが困難なものもあります。Optima-HE™にはOptimaのCoverageMaximizer™テクノロジが搭載されており、本テクノロジによって特定の未カバレッジ・ノードをリストアップすることが可能です。この自動化されたソリューションにより、ブロックのフルカバレッジを簡単かつ迅速に実現できます。
Optima-HE™ 故障解析画面例
Optima-HE™は、故障を安全か安全でないかに分類し、さらに検出された故障と残存故障に分解して、完全な結果を生成することができます。また、シングルポイント・フォールト・メトリックを計算し、全体的なカバレッジの指標を提供します。CoverageMaximizerは、カバレッジの問題を検出し、それらの問題を排除するための自動化された手法を提供します。
Optima-HE™は、Optima Safety and Security Platform (OSSP)の他の機能安全製品とともに、ISO 26262 ASIL-D機能安全検証のためのTUV Nord認証、およびSGS-TÜV SaarからASIL-D READY機能安全認証を取得しています。
