ATMスイッチの検証では、テストプラットフォームが制約付きランダムインセンティブを生成し、機能的なカバレッジデータを収集する必要があります。
最上階のデザインはスクワットになります。
環境クラスは、テストプラットフォームの中核です。このクラスには、ジェネレーター、ドライバー、モニター、スコアボードなど、レイヤードテストプラットフォームのさまざまなモジュールが含まれています。また、テストの4つのステップを制御します。ランダムな構成の生成、テストプラットフォームの動作環境の確立、テストの実行と終了の待機、システムのクローズとレポートのクローズです。
System Verilogで完全な検証環境を構築するためのコアは、コールバック関数とブループリントパターンの使用にあります。これは、コールバックメカニズムおよびブループリントメカニズムと言えます。
System Verilogに基づいて完全な検証環境を構築すると、シーケンスメカニズム、ファクトリメカニズム、コールバックメカニズムの3つのメカニズムが提供されます。その中で、シーケンスメカニズムとファクトリメカニズムは、System Verilogのブループリントメカニズムの拡張です。
