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.
© Copyright 2024 Paperzz