AVMクックブック、リクエストフォームの確認
AVM COOKBOOKのダウンロードはこちらから！システムレベルからRTLへと移行する作業は、ほとんどがマニュアルで行われており、それが正しく行われていることを確実にする唯一の方法は、デザインを複数の抽象度において効果的に検証するための環境を構築することです。その環境はまた、ファンクショナル・カバレッジ、制約付きランダムスティミュラス生成、アサーション、その他の先進の検証テクニックを容易に活用できるものでなくてはなりません。 メンター・グラフィックスのAdvanced Verification Methodologyは、初の、真のシステムからRTLへの検証メソドロジであり、最先端の検証テクノロジを複数の抽象度で、複数の言語を用いて設計者にもたらすものなのです。AVMにはベースクラスのライブラリやモジュールがオープンソース形式で含まれており、検証コンポーネント間のコミュニケーションの仕組みとしてTLMインターフェースを採用しています。 AVMキットにはまた、広範囲に及ぶ実行可能な例題が、SystemVerilogとSystemCで掲載されており、本のように構成されているドキュメンテーションでは、各例題で紹介される異なる様々なコンセプトについての議論が盛り込まれています。
|
