Loading article…
インテリジェント検証（インテリジェントテストベンチ自動化を含む）は、電子ハードウェア設計の機能検証の一形態であり、デバイス製造前に設計が仕様に準拠していることを検証するために使用されます。インテリジェント検証では、設計および仕様から得られた情報を使用して、ハードウェアIP内およびIP間のバグを検出します。インテリジェント検証ツールは、テストベンチプログラムを作成するという標準的な手法と同等またはそれ以上の検証結果を得るために必要なエンジニアリング作業とユーザーガイダンスを大幅に削減できます。
第一世代のインテリジェント検証ツールは、自動カバレッジフィードバックと呼ばれる機能によって、回帰テストと呼ばれる検証プロセスの一部を最適化しました。自動カバレッジフィードバックでは、既存のテストでこれまで検証されていない（または「カバーされていない」）設計機能を対象とするように、テスト記述が自動的に調整されます。自動カバレッジフィードバックの重要な特性は、同じテスト環境が与えられた場合、ソフトウェアが設計の変更に応じてテストを自動的に変更し、機能設計のカバレッジを向上させることです。
最新のインテリジェント検証ツールは、テストベンチに期待される基本的な機能（刺激、カバレッジ、チェック）を、単一のコンパクトな高レベルモデルから導き出すことができます。元の仕様を表現し、類似した単一のモデルを使用することで、テストベンチ開発プロセスにおける人為的ミスの可能性を大幅に低減できます。人為的ミスは、バグの見落としや誤った障害につながる可能性があります。
インテリジェント検証のその他の特性には、以下のようなものがある。
「インテリジェント検証」は、既存のロジックシミュレーションテストベンチを使用し、以下のタイプの設計カバレッジを自動的にターゲットにして最大化します。
設計が機能的に正しいという確信を得ることは、ますます困難になっています。これらの問題に対処するため、1980年代後半には、高速ロジックシミュレータと、 VerilogやVHDLなどの専用ハードウェア記述言語が普及しました。1990年代には、検証の品質と時間をさらに改善するために、Vera [ 1 ]やeなどのハードウェア検証言語、およびSystemVerilog （2002年）を使用した制約付きランダムシミュレーション手法が登場しました。
インテリジェント検証アプローチは、設計構造ではなく外部入力に基づいてテスト生成を行う制約付きランダムシミュレーション手法を補完するものです。[ 2 ] インテリジェント検証は、シミュレーション中に設計知識を自動的に活用することを目的としており、設計規模と複雑さの増大、および設計を作成したエンジニアリングチームと、その正しい動作を検証するチームとの分離により、過去10年間でその重要性がますます高まっています。[ 1 ]
インテリジェント検証の分野では相当な研究が行われており、この技術を活用した商用ツールがようやく登場し始めたところだ。