Verdi

包括的なデバッグ・システム

Verdi自動デバッグ・システムには、デバッグ・システムに必要なあらゆるテクノロジや機能が組み込まれています。Verdiシステムは高度なデバッグ機能を備え、また幅広い言語や手法をサポートしています。

主な機能

Verdiシステムは以下に示す基本的なデバッグ機能を備えています。

• 時系列でアクティビティを表示および解析できる高機能な波形ビューア
• Fast Signal Database（FSDB）ファイル間の不一致箇所を特定する高性能な波形比較エンジン
• ソースコードと階層ブラウザ間の連携を容易にするソースコード・ブラウザ
• 馴染み深いシンボルを用いてロジックと接続関係を表示できるフレキシブルな回路図とブロック図
• ステートマシンの動作を把握できる直観的な状態遷移図

高度な機能

Verdiシステムには、以下のような高度なデバッグ機能もあります。 

• 高性能な挙動解析テクノロジを用いて、多数のクロックサイクルにわたって信号をすばやくトレースできる信号アクティビティの自動トレース 
  
• 時間と構造を組み合わせて表示し、因果関係を即座に把握できるTemporal Flow View 
  
• 柔軟なトランザクションとメッセージダンプのサポート機能を備え、高い抽象度でデザインのデバッグと解析を可能にするトランザクションベース・デバッグ
  
• アサーションの組み込みサポートにより、アサーションエラーから関連する設計アクティビティにすばやく移行できるアサーションベース・デバッグ

SystemVerilogテストベンチ・デバッグには、以下の機能が備わっています。

• SystemVerilogテストベンチ（SVTB）とUniversal Verification Methodology（UVM）などのライブラリの完全なソースコードのサポートにより、テストベンチ・コードの再利用性と相互運用性を確保
  
• 宣言ベースの階層ブラウジングおよびナビゲーション、クラスの継承ならびに関連性の把握、トレース機能などをサポートし、テストベンチ・コードをわかりやすくする専用ビュー
  
• ポストシミュレーション検証環境におけるテストベンチの動作の全体像を示す高度な可視化テクノロジを備えた、組み込みのメッセージ・ロギング機能とUVMトランザクションダンプ機能
  
• フル機能のインタラクティブなシミュレーション・コントロールが、複雑なテストベンチ・コードを踏まえながらより詳細な解析を可能に
  
• UVM考慮のデバッグビューにより、リソース、ファクトリー、フェーズ、シーケンスなど、UVMのさまざまな局面からの検証結果検討が可能
  
• トランザクション・レベルのデバッグビューは、拡張されたFSDBに基づき、新規トランザクションと関連データのダンプをサポート