Verification Compiler 

業界最高水準の各種検証技術を1つの製品に統合 

概要
Verification Compiler™プラットフォームは、高度なSoC設計の機能検証のためのシノプシスのネイティブ統合型次世代ソリューションです。Verification Compilerプラットフォームの機能:

  • ネイティブ・ローパワー、X伝播、プランニング、カバレッジ、実行管理など、シノプシスのすべてのシミュレーション・フローを包括的にサポート
  • Power-Aware DebugやHW/SW Debugなど、業界最先端のSoCデバッグ・フローに対応
  • シミュレーションおよびデバッグ・フローにおいてシノプシスのすべての次世代検証用IPを利用できます。高度な統合により、Verification Compilerは最大2倍から3倍のパフォーマンスと3倍の生産性を実現します。

Verification Compilerのデータシート

主な特長

次世代のテクノロジ
  • 高度なフォーマル検証
  • UVMベースのSystemVerilog VIP
  • ネイティブ統合されたX伝播とネイティブ・ローパワーによる高性能、大容量シミュレーション
  • 検証のプランニング、カバレッジ、管理
  • 高度なマルチドメイン・デバッグ

ネイティブ統合による2~3倍の性能向上
  • シミュレーション、デバッグ、フォーマル検証を統合したコンパイル
  • ネイティブ・ローパワー・シミュレーションおよびパワーを考慮したデバッグの統合による完全なローパワー検証
  • Certitude®テクノロジによるネイティブなテストベンチ品質解析
  • ネイティブに統合されたシミュレーション/デバッグ・フローにより3倍のダンプスピード短縮と3倍のデータサイズ圧縮が可能

図1:Verification Compilerプラットフォーム
図1:Verification Compilerプラットフォーム

主なテクノロジ
次世代のフォーマル検証

  • 次世代のモデル/プロパティ・チェック(図3)
  • SoCコネクティビティのフォーマル・チェック
  • CからRTLへのトランザクション等価性チェック
  • RTLからRTLへのシーケンシャル等価性チェック

デバッグ
  • 業界をリードするVerdi™デバッグ環境をベースにした先進のSoCデバッグ
  • ローパワー・デバッグ、ハードウェア/ソフトウェア・デバッグ、高度なミックスドシグナル(AMS)・デバッグ、インタラクティブ・デバッグ(図2)
  • トランザクション・レベル・デバッグおよびプロトコル・アナライザ
  • 先進のカバレッジ・プラン管理、解析、エクスクルード管理
  • 拡張性の高いVCアプリケーション
シミュレーション
  • 高性能、大容量のシミュレーション機能を利用可能
  • 業界で最も広く信頼され、導入されているシミュレーション・ソリューション
  • ネイティブ・ローパワー
  • X伝播
VIP
  • 包括的かつますます幅広いラインアップ
  • 次世代のSystemVerilogアーキテクチャ・タイトル
  • テスト・スイート
カバレッジ
  • RTL、ゲート・レベル、C/C++故障注入
  • 先進のカバレッジ解析、プランニング、実行管理
  • Verdi環境にネイティブに統合されたフルカバレッジ機能

図2. 対話型のテストベンチ・デバッグ
図2:対話型のテストベンチ・デバッグ

主な統合機能

シミュレーションとデバッグの統合

  • 統一されたコンパイル:コンパイル動作の一貫性、コンパイル・オーバーヘッドを35%削減、デバッグ・モードのシミュレーション速度が2倍に向上
  • Siloti®とのネイティブ統合、インクリメンタルKDB、Verdi®によるカバレッジ解析、AMSの統合

シミュレーションのフォーマル/カバレッジ統合
  • 異なるエンジン間でコンパイルを統一し、一貫性のあるサポートおよびコンパイルのオーバーヘッド削減を実現
  • フォーマル・カバレッジ収束:セットアップ、カバレッジ・データベース、レポート機能を統合
  • 不到達解析とエクスクルード管理を自動化
  • Certitudeとのネイティブ統合:シンプルなシングル・ステップの利用モデル、共通の言語セットのサポート、すべてのシミュレーション・テクノロジをシームレスにサポート、実行時の性能を最適化
  • フォーマルおよびCertitudeに対するExecution Managerのサポート、マルチ・フォルト・シミュレーションによる故障伝播
シミュレーションとVIPの統合
  • 高性能VIPモデル:シミュレーション性能が最大となるように制約とコードを最適化。最適化されたデバッグ機能
  • 各種シミュレーション・テクノロジの組み込みサポート:コンパイル済みIP、検証プラン、カバレッジ収束
  • Execution Managerのサポートとカバレッジ収束機能を内蔵
フォーマル、VIP、カバレッジの統合
  • Certitudeとのフォーマル・エンジンの統合

図3. 次世代のフォーマル検証
図3:次世代のフォーマル検証

図4. Verification Compilerプラットフォームの次世代テクノロジ
図4:Verification Compilerプラットフォームの次世代テクノロジ



NewsArticlesBlogsSuccess StoriesWhite PapersWebinarsVideosTraining Courses