Certitude Functional Qualificationシステム

[pdf download]

Certitude™Functional Qualification System（機能認証システム）は、検証環境の有効性を阻む不確実な要素を取り除く唯一のソリューションです。このシステムは、バグが検知されないまま設計が進み、それにより引き起こされる機能的な問題がASICのリスピンや製品の市場投入の遅れにつながるような検証上の弱点を特定します。
Certitudeシステムは、独自の自動化技術をもってこのソリューションを実現します：

• 検証環境の品質を客観的に測定
• 設計のバグを隠す可能性がある検証漏れを特定

検証環境を確かなものに

Certitudeシステムは、検証環境の活性/非活性、伝播/未伝播、エラーの検出/未検出に関する詳細情報を提供し、既存のツールでは見落とされていた検証の脆弱性やバグを明らかにします。また検証プランの抜けだけではなく、入力スティミュラスや可観測性、およびチェッカーにおける脆弱性を特定するデータを提供します。不確定な要素が取り除かれれば、検証作業の信頼性はより高まります。

オペレーションモード

Certitudeシステムは2つのモードで動作します。

• 検証品質改善（verification improvement）モードは、設計ブロックの検証を、ブロック間の接続も含めて評価します。
• 品質測定（metric）モードは、検証環境全体の品質を客観的に測定します。

 検証品質改善モード

Certitudeシステムで主に利用されるこのモードは、チェッカーやテストシナリオにおける不完全や欠落による欠陥や抜けを検出します。結果はHTMLフォーマットでレポートします。このモードは、ブロックレベルのコンポーネント検証における欠陥をあぶりだし、改善を促すために使用することができ、さらにSoCインテグレーションの際にはブロック間の接続検証を評価するために利用することもできます。

品質測定モード

このシステムのもうひとつの使用方法は、機能検証の品質を客観的に測定する全体的なスコアを出力するCertitude測定です。この測定モードを、ブロックレベルの検証環境全体の品質を分析するために使用することにより、次のことが可能になります。

• 信頼性の高いIP流通
• SoC の予測性向上
• リソース配置の最適化

Certitudeシステムは、運用している検証環境の潜在的なバグを活性化し、伝播させ、検出するための個別のスコアを提供します。

動作のしくみ

Certitude機能認証システムは、HDLシミュレーションによる機能検証の品質をあらゆる側面から測定し向上させるため、Mutationテクノロジと静的解析を組み合わせた、新しい特許出願中の技術によって動作します。Certitudeは、ハードウェア設計にMutationベースの解析を実装した業界初のシステムです。
Certitudeシステムは、既存のHDLコードの中にMutation（Faultとも呼ばれる）を挿入します。例えば、

a = b or c; (オリジナルコード)
a=b and c; (不良プログラムコード)

その後3つのステップで、検証環境が、挿入されたFaultコードを活性化し、観測ポイントまでその動作を伝播させ、検出できるかどうかを判定します。

• Faultモデル分析（fault model analysis）段階では、HDL設計を分析し、挿入するべきコードを選択します。
• Faultコード活性化（fault activation）段階では、レグレッション・シミュレーションを行い、挿入されたMutationに関する検証環境の動作を分析します。
• Faultコード検出（fault detection）段階では、挿入されたMutation(Fault)を検知する能力を測定するために、検証環境でいくつかのテストを行います。

Certitudeシステムは、各Mutationごとに全体検証を行なうのではなく、少数のレグレッション・テストで高い検出レベルを得る特許技術を利用しています。

相互運用性

Certitudeシステムは、一般的に利用されているシミュレータと密接に統合されており、既存の機能検証フローに統合することも容易です。ダイレクトランダムパターン生成やアサーションベースの手法といった、現在の検証手法全てと完全に互換性を持っています。

Certitude機能認証システムは、検証環境の有効性を阻む不確実な要素を取り除きます。独自の自動化技術により検証環境の品質を客観的に測定し、欠陥を特定します。Certitudeシステムは、既存の検証ツールとの相互運用性があり、既存のフローに容易に統合でき、より高い効率性を提供します。SpringSoft社がエンジニアの作業効率を上げるために提供する新しい手段、それがCertitude機能認証システムです。

Certitude™ Methodology Primer: 初期段階での適応が優れた結果を実現

Download Datasheet: Certitude Datasheet