機能検証のメソドロジ

検証メソドロジは、強固な検証ストラテジのバックボーンとなります。
メンター･グラフィックスは先進のメソドロジを推進し、
業界全体の標準化に積極的に取り組んでいます。

メソドロジ

  • アサーションベース検証

    アサーションベース検証（ABV）は、設計の意図を確認するためのアサーションを挿入し、シミュレーション、フォーマル検証、エミュレーションのいずれかの方法によって、設計意図が正しく実装されているかどうかを検証する手法です。 詳細

  • OVM（Open Verification Methodology）

    OVMは業界で初めて真にオープンな相互運用性を実現した検証メソドロジで、実績のあるSystemVerilog IEEE 1800言語がベースになっています。OVMによってオープンで一元的なクラス・ライブラリとメソドロジが提供され、検証IP（VIP）の相互運用性が確保されます。 詳細

  • プロセッサドリブン検証

    HDLテストベンチからのテスト・ベクタを適用するという従来の手法は、プロセッサバスの動作を模倣するという意味ではまだ初歩的な段階でしかありません。既存の検証手法にプロセッサドリブン・テストベンチを導入すると、実際に即した検証が可能になり、プロジェクト全体でテストベンチ・ソフトウェアを幅広く再利用できるようになります。 詳細