Verification Compiler

Datasheet
Verification Compiler
業界最高水準の各種検証技術を 1 つの製品に統合
概要
主な利点
Verification Compiler は、 最 先 端 の
SoC デザインの機能検証に必要なソフト
▶ 5 倍のパフォーマンス
ウェア機 能、テクノロジ、メソドロジ、
VIP を オ ー ル イン ワ ン で 提 供 しま す
(図 1)。
Verification Compiler は、ネイティブ・
ローパワー、X 値伝播、プランニング、
カバレッジ、検 証管 理を含むすべての
シミュレーション・フローを 全 面 的に
サポートします。またPower-Aware Debug
や HW/SW Debug など、業界最先端の
デバッグ・フローもサポートしています。
さらに、先進のローパワー・スタティック・
チェック、 フォーマル 検 証、 クロック
・チェック、
ドメイン・クロッシング(CDC)
アドバンスト・リントなどシノプシスの
次 世 代 スタティック/ フォーマル 検 証
テクノロジも利用できます。Verification
Compilerでは、シミュレーションおよび
デバッグ・フローにおいてシノプシスの
すべての次世代検証用 IP を利用できます
(図 5 参照)。
こうした高度な統合により、Verification
Compiler は最大 5 倍のパフォーマンス
と 3 倍 の 生 産 性、 そしてデバッグ 効 率
の 大 幅 な 向 上を 実 現しま す。 さらに、
シミュレーション、スタティック/ フォー
マル検証、デバッグの 3 種類の機能を同
時並行で利用できる柔軟なライセンス・
モデルの採用により、コンカレント検証
もサポートしています。
─ スタティック / フォーマル検証のパフォーマンスが 3 ∼ 5 倍に向上
─ 制約条件付きシミュレーションの実行時間が 1/4 に短縮
─ コンパイルの TAT が 10 倍以上に向上
─ ネイティブ・ローパワー・シミュレーションのパフォーマンスが 2 倍に向上
─ 検証用 IP(VIP)のパフォーマンスが 2 倍に向上
─ Siloti とのネイティブ統合により、デバッグ・フローのパフォーマンスが 2 ∼ 4 倍に
向上
▶ 次世代テクノロジ
─ 高度なスタティック / フォーマル検証
─ 次世代 VIP
─ ネイティブ・ローパワー・シミュレーションと X 値伝播シミュレーションを完全に統合
─ 検証プランニングおよびマネジメント
─ 高度なマルチドメイン・デバッグ
▶ デバッグ効率の向上
─ 使い易い Verdi インターフェイスをベースにした高度なマルチドメイン・デバッグ
• HW/SW Debug、Testbench Debug、Transaction Debug、Protocol/
Power-Aware Debug
─ オープンで高い拡張性。一貫性のある解析機能と共通のルック & フィール
─ 革新的なカバレッジ・デバッグ自動化
─ シングル・コンパイルによる高い効率
▶ 3 倍の生産性
─ Verification Compiler の 3 種 類 の
テクノロジ(シミュレーション、デバッグ、
フォーマル/スタティック検証)を個別
Verification Compiler
プランニング&カバレッジ
デバッグ
に利用可能なコンカレント検証
─ 業界のベスト・プラクティスに基づく
コンカレント検証メソドロジ
スタティック
フォーマル
シミュレーション
─ 各検証テクノロジのネイティブ統合
VIP、モデル、データベース
図1:Verification Compiler
Verification Compiler 業界最高水準の各種検証技術を 1 つの製品に統合
1
図2:対話型のテストベンチ・デバッグ
主なテクノロジ
─ 先進のカバレッジ・プラン管理、解析、除外マネージャ
─ オープン VIA アプリ
▶ 次世代のスタティック / フォーマル検証
▶ シミュレーション
─ 先進のローパワー・スタティック検証
─ 高速、大容量のシミュレーション
─ 次世代のモデル / プロパティ・チェック
─ ネイティブ・ローパワー
─ SoC コネクティビティのフォーマル・チェック
─ X 値伝播
─ C から RTL へのトランザクション等価性チェック
─ RTL から RTL へのシーケンシャル等価性チェック
▶ VIP
─ 高度なクロックドメイン・クロッシング(CDC)・チェック
─ シノプシスのすべての VIP
▶ デバッグ
─ 次世代の SystemVerilog アーキテクチャ・タイトル
─ テスト・スイートと開発キット
─ 業界をリードする Verdi デバッグ環境をベースに開発
3
─ Power-Aware Debug 、 HW/SW Debug 、 AMS
▶ カバレッジ
(Advanced Mixed Signal)/Interactive Debug など
─ RTL、ゲート・レベル、C/C++フォルト挿入
最先端の SoC デバッグ(図 2)
─ 先進のカバレッジ解析、プランニング、実行管理
─ トランザクション・レベル・デバッグおよびプロトコル・
アナライザ
TCL
インターフェイス
セーブ/リストア
ローパワー
フォーマル・プロパティ
チェック
コマンド
インターフェイス
GUI +
回路図
CDCチェック
アドバンスト
リント
FSM解析
カスタム
レポート
最適化された設計データベース
LP
DB
クロック
DB
テスト
DB
拡張
DB
統一された論理データベース
統一されたハードウェア推論
Verilog、VHDL、SV、.lib、UPF、SDC、…
図3:次世代のスタティック/フォーマル検証
2
Verification Compiler 業界最高水準の各種検証技術を 1 つの製品に統合
主な統合機能
コンカレント検証
▶ シミュレーションとデバッグの統合
今日の SoC 検証フローでは、地理的に離れた複数のチームが
─ 統一されたコンパイル:コンパイル動作の一貫性、コン
パイル・オーバーヘッドを 35% 削減、デバッグ・モードの
シミュレーション速度が 2 倍に向上
─ Siloti と の ネ イティブ 統 合、 イン クリメン タル KDB、
Verdi によるカバレッジ解析、AMS の統合
▶ シミュレーションとスタティック / フォーマル /
カバレッジの統合
─ 異なるエンジン間でコンパイルを統一し、一貫性のある
サポートおよびコンパイルのオーバーヘッド削減を実現
─ フォーマル・カバレッジ・コンバージェンス:セットアップ、
カバレッジ・データベース、レポート機能を統一
─ 到達可能な状態の解析と除外を自動化
─ Certitude とのネイティブ統合:シンプルなシングル・
ステップの利用モデル、共通の言語サポート、すべての
シミュレーション・テクノロジをシームレスにサポート、
実行時の性能を最適化
─ ス タティック / ダイナミック CDC チェックの 自 動 化、
ス タ ティック / フォ ーマル お よ び Certitude に 対 す る
様々な検証テクノロジを同時並行で遂行しています。さらに、
検証フローの特定の段階では、特定の検証テクノロジに使用が
集中します。こうしたことが、検証生産性やコスト、開発期間
の足かせになっています。このようなボトルネックを解消する
ため、 Verification Compiler は 1 ライセンスにつき 3 つの
独立したキーを用意しています。ひとつですべてのスタティック /
フォーマル検証テクノロジを使用できるキー、ひとつですべての
シミュレーション関連テクノロジ(すべての検証用 IP を含む)を
使用できるキー、ひとつですべてのデバッグ・テクノロジを使用
できるキーです。これら 3 種 類のキーは、1 人のユーザーが
コンカレントに使用して自身の生産性を高めることもできる
ほか、同じ社内の別ユーザーが個別に使用することもできます
(図 4)。
こうした柔軟性により、設計チームは複数の異なる検証機能を
同時に実行し、検証効率を格段に向上させることができます。
▶ 利点
─ 複数のユーザーが検証フローの別々のステージを同時に
進行可能
Execution Manager のサポート、 マル チ・フォルト・
─ 先進の統合検証フローに必要な要素をすべて提供
シミュレーションによるフォルト伝播
─ 検証機能の柔軟な導入が可能
▶ シミュレーションと VIP の統合
─ 高性能 VIP モデル:シミュレーション性能が最大となる
よう に 制 約 条 件 と コ ード を 最 適 化 。 最 適 化 さ れ た
Verification Compiler の一般提供は、2014 年 12 月を予定し
ています。詳細は、以下をご参照ください。
www.synopsys.com/vc
デバッグ機能
─ 各種シミュレーション・テクノロジを標準でサポート:
コンパイル済み IP、検証プラン、カバレッジ・クロージャ
検証プランニング
─ Execution Manager のサポートとカバレッジ・コンバー
ジェンス機能を内蔵
検証 環境
▶ スタティック / フォーマルと VIP とカバレッジの統合
─ Certitude とのフォーマル・エンジンの統合
スタティック
フォーマル
デバッグ
シミュレーション
&
VIP
カバレッジ
図4:生産性を3倍に高めるコンカレント検証
Verification Compiler 業界最高水準の各種検証技術を 1 つの製品に統合
3
シミュレーション
・ネイティブ・ローパワー
・X 値伝播
・ローパワー・アサーション / カバレッジ
・高速シミュレーション
・強力な制約ソルバ
・分割コンパイル技術
・コンパイル済み IP(PIP)
・動的再構成
・セーブ / リストア
・マルチコア(DLP/ALP)
・プロファイリング・テクノロジ
・Execution Manager*
・Congruent モードのシミュレーション
・AMS テストベンチ機能
・SystemC シミュレーション
・Virtualizer との統合
・UVM TLM/SC アダプタ
・UVMGEN/UVM RALGEN
カバレッジ / プランニング
・Verification Planner
・統一されたカバレッジ報告機能
・カバレッジ解析
・対話型のカバレッジ・プラン作成
・高度なカバレッジ・プラン管理
・カバレッジ除外マネージャ
・フォーマル・ベースの到達不能性解析
・RTL フォルト挿入
・ゲート・レベル・フォルト挿入
・C/C++フォルト挿入
* アドバンスト・メソドロジ・サービスのみ
スタティック / フォーマル
・5 倍のパフォーマンスと容量
・ローパワー・スタティック・チェック
・高位等価性チェック *
・フォーマル・プロパティ・チェック
・SoC 構造チェック
・CDC チェック
・アドバンスト・リント
・シーケンシャル等価性チェック
デバッグ
・消費電力を考慮したデバッグ
・HW/SW デバッグ
・対話型のテストベンチ・デバッグ
・メソドロジ(UVM/OVM/VMM)を考慮した
デバッグ
・制約条件の対話型解析およびデバッグ
・トランザクション・レベル・デバッグ
・X 値伝播デバッグ
・AMS デバッグ
・オープン VIA アプリ
・自動可視化
・ゲート・レベル ECO デバッグ
・相関エンジン
・アサーション評価エンジン
検証用 IP
・すべての検証用 IP(AMBA、PCIe、USB、
Ethernet、MIPI、HDMI、SATA、I2S、I2C…)
・プロトコル・アナライザ
・次世代 SV VIP アーキテクチャ
・プロトコル検証プラン
・テスト・スイート
図5:完全な検証フローを構築するVerification Compilerの次世代テクノロジ
日本シノプシス合同会社
〒158-0094 東京都世田谷区玉川2-21-1 二子玉川ライズ オフィス
〒531-0072 大阪府大阪市北区豊崎3-19-3 ピアスタワー13F
TEL.03-6746-3500 (代) FAX.03-6746-3535
TEL.06-6359-8139(代) FAX.06-6359-8149
© Synopsys, Inc. All rights reserved.Synopsysは、米国およびその他の国におけるSynopsys, Inc.の商標です。
シノプシスの商標一覧は、http://www.synopsys.com/Company/Pages/Trademarks.aspx をご参照ください。その他の名称は、各社の商標または登録商標です。
07/14.RD.CS4628.