inFact

インテリジェント・テストベンチ・オートメーション

メンター・グラフィックスのinFactは、インテリジェントなテストベンチの自動化ソリューションとして初めてグラフベースのアプローチを採用し、機能カバレッジの達成時間を高速化し、検証プロセスの早期段階での設計バグの検出を可能にします。

inFactでは、ユーザが期待するデバイスの動作をシナリオとして網羅的に記述できます。多くの場合、この操作だけでスティミュラス・シーケンスが検証システム内で適用され、DUTやテストベンチに接続されたその他のデバイスから期待した応答が得られます。inFactはインテリジェントなアルゴリズムを採用しており、これらのシーケンスを生成後、結果を監視して重複したシーケンスを生成しません。

inFactインテリジェント・テストベンチ・オートメーションの最新バージョンでは、大規模なシミュレーションを最大1,000 CPUまで自動的に分散し、シミュレーション・サーバ・ファーム全体を活用して重複のないシーケンスを生成できます。独自のルールグラフ・アーキテクチャ、および生産アプリケーション向けに最適化された新しいグラフ走査アルゴリズムの採用により、飛躍的な効率向上を実現しています。

inFactインテリジェント･テストベンチ･オートメーション

オンデマンドWebセミナー

メンター・グラフィックスのインテリジェント・テストベンチ・オートメーション・ツールであるinFactの背後にあるメソドロジを解説します。テストベンチを丸ごと書き直す必要なく異なる検証戦略を適用する方法や、インテリジェント・テストベンチが、以下に最適に検証アーキテクチャ全体に適合するかを紹介します。（40.39分、英語）ビデオを表示

言語サポート

inFactでは、シミュレーション・タスクをVerilog、SystemVerilog、C/C++、SystemCなどを使って記述できるため、エンジニアは新しい言語を学習する必要がありません。他のテストベンチ手法と同様に、inFactで作成されるテストベンチ・シーケンスにもスティミュラスとチェックが含まれ、アサーションをトリガできます。inFactは、QuestaやModelSimをはじめ、業界標準のシミュレータと組み合わせて使用できます。