Verdi Automated Debug

[pdf download]

インターナショナル・エンジニアリング・コンソーシアム2005
デザイン・ビジョン賞

 

Verdiのユニークな動作解析テクノロジーは、デバッグで時間のかかる多くの局面においてエンジニアの作業 効率化に貢献致します。

Verdi Automated Debugシステムは高度なデジタル設計用のデバッグソリューションかつパワフルなテクノロジーであり、以下のことを可能にします。

• 複雑で馴染みのない設計動作の理解
• 困難かつ時間のかかるデバッグプロセスの自動化
• 多様かつ複雑な設計環境の統一

デバッグ時間を半減
Verdi は最大50%デバッグ時間を削減し、デザインの質をさらに上げることにフォーカスすることができます。　次のようなユニークなテクノロジーがこのような時間短縮を可能にしています。

• ユニークなBehavior Analysisテクノロジーが、動作のトレースを自動化。
• フレキシブルかつパワフルなデザインビューの中で抽出、切り分け、および適切なロジックを表示。
• 設計、アサーション、およびテストベンチの運用とそれらの相互作用を明らかにします。

統合されたデバッグシステム
Verdi Automated DebugシステムはDebussyDebug システムのスーパーセットであり、Debussyのテクノロジーと性能を全て組み込んでいます。さらにVerdi は高度なデバッグ機能と、広範な言語やメソドロジのサポートを統合しています。

主な機能
Verdiは以下の基本的デバッグ機能を提供します。

• 高機能のwaveform viewerが時間経過毎のアクティビティを分析・表示します。
• パワフルなwaveform comparison engineはfast signal database (FSDB、シミュレーション結果)ファイル間の不一致箇所を容易に切り分けます。
• Source code browserはソースコードと階層の間を容易に行き来することを可能にします。
• フレキシブルなスケマティックとブロック・ダイアグラムがおなじみの記号を用いてロジックの接続関係を表示することを可能にします。
• 直感的なバブルダイアグラムが、FSM(フィニットステートマシーン)の動作を明らかにするのに役立ちます。

高度な機能
Verdi は以下の高度なデバッグ機能を提供します。

• シグナルアクティビティの自動トレースは、パワフルな動作解析テクノロジーを用いて、すばやく多数のクロックサイクルにわたって信号のアクティビティをトレースします。
• テンポラル・フロービューは、時間とストラクチャを一緒に表示して原因と結果の関係をすぐに理解することを可能にします。
• 抽象化の高位レベルでの設計デバッギングと解析のためのフレキシブルなトランザクションおよびメッセージ・ロギング機能を使用したトランザクションベースのデバッグを提供します。
• アサーション・ベースのデバッグは、アサーションのフェイルからすばやく関連のデザインアクティビティに移行することを可能にします。
• SystemVerilogテストベンチ・デバッグ。
  • 宣言ベースの階層ブラウジングおよびナビゲーション、クラスの継承と関係の理解、およびトレースを含む、テストベンチ・コードの理解を助ける独自のビュー。
  • 高度な視覚化技術を伴うユニークなメッセージ・ロギング機能が、テストベンチアクティビティおよび検証環境の構造、動作の理解に役立ちます。
  • より詳細な解析のために、高機能なインタラクティブ・シミュレーション・コントロールが複雑なテストベンチ・コードをステップごとに追うことを可能にします。

言語とメソドロジ
Verdi は以下のような言語およびメソドロジをサポートします。

• Verilog、VHDL、およびSystemVerilogで記述された設計構成要素
• SystemVerilog Testbench (SVTB)を用いた自動化テストベンチ環境
• SystemVerilog Assertions (SVA)を用いたアサーション

オープン・アーキテクチャと統一されたメソドロジの最適化
Verdi Automated Debug システムはあなたが自身の検証およびデバッグのメソドロジをフルに利用できるように設計されています。Verdi は、より効率の高いデバッグのために最適化されたデータベースに重要な情報を抽出するコンパイラから成る、オープンなNovas Design KnowledgeArchitecture上に構築されています。Verdiは検証ツール、設計/検証言語、および抽象化の複数のドメインにわたって一貫して、またシームレスに作用する単一ソリューションを提供することによりあなたのデバッグプロセスを統一します。この一貫性が最小の投資で大きな効果を実現し、異なるツールや言語を使うプロジェクトを始めてもデバッグ作業を効率的に進める事が可能です。そして、Verdiを更に活用して頂く事で、他のツールやメソドロジの進化と共に、より大きな効果を実現して頂けるでしょう。

Novas Design Knowledge Architectureは以下のものから成っています。

• Knowledge engine compilers はHDLコード、テストベンチ、アサーション内に含まれる設計知識を抽出します。
• Knowledge database (KDB) は、デバッグとデザインの理解を助ける、重要なデザイン情報を保持したデータベースです。
• Fast Signal Database (FSDB) はシミュレータ、エミュレータ、およびフォーマル・ツールからのタイム/バリュー・シーケンス結果を保持したデータベースです。
• Application programming interfaces (APIs)はデータベースとコマンド＆コントロールのメカニズム両方に対してインターフェースを提供し、Verdi とその他の検証ツール、設計環境を容易に統合します。

インターオペラビリティ（相互運用性）
Novas のオープン・アーキテクチャはコマーシャルおよび内製の検証ツールのどちらにも容易に統合することを可能にします。Verdiと統合されているパートナーの数は年々増え続けています。パートナーの中でも下記のものを含め一般的に使用されている広範なコマーシャルなツールにおいては、統合された環境がすでに提供されているため、すぐにVerdiをその環境下で使うことができます。

• シミュレータ
• エミュレータ
• モデルチェッカおよびその他のフォーマル解析エンジン

複数の抽象レベルにわたったデバッグと解析
Verdiは、システムレベルからゲートレベルの検証までのメソドロジのフロー全体のシームレスなデバッグを可能にすることによりさらに理解を容易にします。Verdiはさらに、nAnalyzer Design Implementation Analysisモジュールを用い、実装レベルにおける検証と解析のサポートを提供します。nAnalyzerモジュールは クロック、クロックツリー、およびタイミングに関係した厄介な設計エラー解析のための統合環境を提供します。

Verdi Automated Debug システムはあなたの作業時間を削減します
Verdiはあなたのデバッグ時間を半減する、業界での受賞経験も豊富なデバッグシステムです。この強力かつ洗練されたシステムは、時間のかかるマニュアルでのデバッグ作業を削除し、複雑な設計の動作を理解するために必要な時間を大幅に削減します。Verdiのオープン・アーキテクチャと一般的なコマーシャルツールとの広範な統合はあなたの検証、デバッグ環境を統一しさらに効率を向上させます。SpringSoft社は400 以上ものカスタマと60 のEDAパートナーを持ち、Verdiは事実上、業界のスタンダード・デバッガとなりました。私たちのカスタマは、Verdi を使用して節約した時間でさらに自らの設計に付加価値をつけたり、他の作業をしたり、プライベートな時間を楽しんだりすることができると言っています。 SpringSoft社の使命はエンジニアの皆さまをスピードアップさせる、すなわちエンジニアの皆さまの設計検証の効率を大幅に向上させる事です。

 

Related File Download: SS_Verdi_Datasheet_JN3.pdf

 

商品名	輸出ライセンス	ECCN番号	アメリカ合衆国輸出管理規則
Verdi 自動デバッグ・ソリューション	NLR	3D991	アメリカ合衆国輸出管理規則 General Prohibitions / Part 736.2