Questa inFact
インテリジェント・テストベンチ・オートメーション
メンター・グラフィックスのQuesta inFactは、業界最高水準のテストベンチ・オートメーション・ソリューションです。従来の制約付きランダム・テストが果たす役割を対象としていますが、10倍から100倍早くカバレッジ目標を達成します。
エンジニアリング・チームは、機能検証プロセスをより短時間で完了できるため、カバレッジ目標を拡張して以前は割愛されていた機能もテストできます。また、Questa inFactはエンジニアの想定を超えたテストを生成し、通常のテスト手法では見逃してしまう困難なコーナー・ケースも検証します。Questa inFactを使用すると、高品質な製品が保証されます。
詳細
進化を続けるテクノロジ
技術革新はまだ終わりません。最先端のテクノロジは、既存のプロセスやフローに適合できなければなりません。Questa inFactは、ほとんど変更することなく現在の検証環境に統合できます。Questa inFactはUVM（およびOVM）手法をはじめ、SystemVerilog、SystemC、C/C++などの標準言語、その他の独自のテストベンチ言語さえサポートしています。独自言語からSystemVerilogへの段階的な移行を目指しているなら、Questa inFactがシームレスに橋渡ししてくれるため、標準以外の言語で記述されたレガシー検証IPをサポートしながら、標準言語のメリットを活用できます。
結果の再現性
Questa inFactを採用する企業が急増しています。ターゲット・カバレッジを達成するまでの時間は少なくとも10倍短くなりました。もっとも、多くの企業では100倍以上短縮しています。なぜ、これほど劇的に生産性が向上したのでしょうか。制約付きランダム・テストそれ自体は制御不可能で冗長です。ある程度の冗長性は有用ですが、Questa inFactを使用すると、設計者は、今までと同じかそれ以上の数のテストを生成しながら、冗長性のレベルを制御できます。
ユーザ事例
あるネットワーク企業は、以前には3,175 CPU時間を要していた制約付きランダム・テストを、Questa inFactを使用して、48 CPU時間で達成できました。それは66倍の速さです。ある家電メーカーは、6 CPUで8週間シミュレーションした後、ターゲット・カバレッジが60%の状態が続きました。Questa inFactを使用すると、同じ6 CPUで、たった36時間でターゲット・カバレッジが100%達成されました。37倍の速さに加え、40%のカバレッジの増加がもたらされました。どちらの場合も、Questa inFactを既存の環境に統合させるのに要した時間は2日足らずでした。
データシート
- Questa検証プラットフォーム (PDF, 1MB)
ツールキット
- オンデマンドWebセミナー[英語]: インテリジェント・テストベンチ・オートメーションによりカバレッジ・クロージャを短時間
- テクノロジの概要[英語]: Questa inFact: DMAコントローラの検証
- 技術文献[英語]: カバレッジ・ドリブン検証フローの進展
お問い合わせ
- 製品情報リクエスト