検証のトランスフォーマ Questa 検証プラットフォーム 機能検証 D A T A S H E E T 確信を得るまでの最短検証時間 10 ∼ 100 倍の高速化を実証 業界をリードするソリューション カバレッジ・クロージャの加速 統合型の検証管理 デバッグ時間の短縮 パワー・アウェア検証 クロックドメイン・クロッシング検証 クラス最高のテクノロジ 多言語シミュレータ フォーマル検証 ハードウェア／ソフトウェア協調検証 UVM/OVM 手法 メンター・グラフィックスは 3 種類の先進的なプラットフォームを組み合わせ、標準準拠の業 界リーダーとして、トランザクションレベルからトランジスタレベルに至るまでの検証を変革 しています。 標準規格に基づき、トランザクションレベルからトランジスタレベルまでを網羅 メンター・グラフィックスは、検証に変革をもたらす 3 種類の先進的なプラットフォームを提供しています。アーキテクチャレ ベルに位置する Vista™ は、アーキテクチャの設計、解析、検証、仮想プロトタイピングに向けた包括的な TLM 2.0 ベー スのソリューションです。Vista を導入すると、システム・アーキテクトや SoC 設計者が実現可能なアーキテクチャについて 意思決定をくだす一方で、ハードウェア／ソフトウェアの設計者がハードウェアやソフトウェアを検証できるようになります。 次のレベルに位置する Questa® は、複雑な設計に対応した包括的な検証プラットフォームです。Questa のベースになって いるコア・シミュレーション／デバッグ・エンジンは、Verilog、SystemVerilog、VHDL、SystemC、PSL、UPF に対して 業界で最も広範なネイティブ・サポートを提供しています。そして最後のレベルでは、高性能シミュレーション・アクセラレー ションと、SoC インサーキット・エミュレーションによるリアルなプリシリコン・テスト向けに Veloce® 製品ファミリが用意さ ブロッ れています。最大で 5 億 1,200 万ゲートに対応し、内部 DUT に対する 100% の可視性を備えた Veloce を利用すると、 クや SoC 全体の RTL シミュレーションを劇的に高速化できるほか、検証 IP（信号レベルとトランザクションベースのテスト ベンチや、アサーションベースの検証 IP など）の再利用が可能になります。 この 3 種類のプラットフォームは、2011 年 2 月に Open Verification Methodology（OVM）の直接的な派生物として Accellera によって承認された Universal Verification Methodology（UVM）をはじめ、業界をリードする標準に基づいて 構築されています。UVM は Class Reference Manual（オープンソースの SystemVerilog 基本クラス・ライブラリが付属） と User Guide を提供しており、設計と検証の効率、検証データの移植性、ツールと検証 IP の相互運用性を向上させる手 法を確立しました。 メンター・グラフィックスの Questa 検証プラットフォームは、最高水準の検証ソリューションを単に集めたものではなく、トラ ンザクションレベルからトランジスタレベル、さらには ESL からエミュレーションまで、現在のさまざまな検証を変革する手 段を提供します。 www.mentorg.co.jp/fv Questa 検証プラットフォームの概要 機能検証は、 ゲートや RTL のシミュレーションからより広範な検証ツールの集まりへと進化しました。SoC の複雑化に伴い、 機能検証も変化を求められており、複数のポイントツールを多様な検証ソリューションで構成された柔軟でオープンなフロー に統合することが必要になっています。SoC 検証の複雑さへの対応は、クロックドメイン・クロッシング（CDC）検証、フォー マル検証、ミックスシグナル・シミュレーションなど問題を切り分け、最適なソリューションを適用することで行われています。 この方式では、検証プランと、検証プロセスや検証タスクの全体にわたって指標を収集する能力が極めて重要になります。 収集した指標に基づきながら、検証プランに対する進捗を追跡し、リソースの効率的な割り当ておよび管理を行い、プロジェ クトのスケジュールに対する進捗を把握します。 また、複雑化の結果、自動または手作業で RTL 実装を改善し、設計と検証の抽象度をトランザクションレベルやアルゴリ ズムレベルに高めることも求められています。 ソフトウェアは SoC システムの主要構成要素になり、ブロックからシステム間で検証を再利用する際の新たな課題、システ ム検証やシステム・デバッグの必要性をもたらしました。SoC のインテグレーションおよび基本機能のソフトウェアによるテ ストや、ローレベル・ドライバ・ソフトウェアの検証はシミュレーションでも実施できますが、システム機能を実行する長い 複雑なシーケンスについては、デバッグの完全な可視性を確保し、しかも高速化を行う必要があります。 製品の品質を妥協することは誰も望んでいません。しかし、 SoC プロジェクトでは Time-to-Market のプレッシャーが強大 です。高い品質をスケジュールどおりに実現するには、カバレッジ目標と品質目標を達成できるまでの期間を短縮しなけれ ばなりません。 このプラットフォームは、それぞれ単独でも強力な複数のテクノロジで構成されています。これらのテクノロジを組み合わせ、 包括的なデータベースとクラス最高の検証管理ツールを加えることで、数々の検証問題に対する効果的な解決策が実現しま した。以下のテクノロジが採用されています。 www.mentorg.co.jp/fv シミュレーション／カバレッジ／デバッグの統合テクノロジ：クラス最高のシミュレータをベースに開発されました。Questa Advanced Simulator は、SystemVerilog と VHDL に対して極めて積極的なグローバル・コンパイル／シミュレーション最適化ア ルゴリズムを適用し、SystemVerilog と VHDL/SystemVerilog 混在の RTL シミュレーションの性能を最大で 10 倍に引き上げる など、業界トップクラスの性能とキャパシティを発揮します。Questa では、次のシミュレーション開始までの時間を大幅に短縮す る機能や効果的なライブラリ管理もサポートされているほか、デバッグ可視化をブロックごとに事前に最適化定義する独自の機能 によって高い性能も維持されます。こうした機能により、大規模なテスト・スイート実行時のリグレッション・スループットが最大で 3 倍に向上するなど、劇的な効果を得られます。 インテリジェント・テストベンチ・オートメーション：ブロック・レベル、サブシステム・レベル、SoC レベルでテストシーケンスを自 動生成します。このテクノロジの利用により、冗長性を回避して、制約付きランダムテストよりも 10 倍以上高速に目標カバレッジ を達成できます。ユーザによる制御のもと、テスト実行を高速化することも、同じ時間内で実行可能なテスト数を増やすことも、 その中間にすることも選べます。 Questa 検証 IP：プロトコルやインタフェースに準拠している再利用可能なテストベンチ・ビルディング・ブロックの集まりであり、 プロトコルに従い設計が正しく実装されているかどうかの検証に使用できます。OVM と UVM をネイティブでサポートしたこの IP は、シミュレーション、フォーマル検証、エミュレーションを支援し、テストプランの容易な追跡を可能にします。 Questa CDC 検証：あるクロックドメインで生成され、別のクロックドメインで使用される信号（または信号グループ）、すなわち CDC に関連したエラーを検出します。これは、クロックドメインやシンクロナイザの構造解析／認識と、リコンバージェンス検証に 向けたメタスタビリティ・モデルの生成によって行われます。可能性がある故障モードをすべてチェックし、ユーザにとって扱いや すい回路図表示や波形表示で示します。 Questa フォーマル検証：シミュレーションを補完します。一般的なエラーの自動検出と、SVA、PSL、OVL アサーションのサポー トによって、テストベンチを使わずに網羅的な検証を行えます。このテクノロジのキャパシティと性能は、シミュレーション・テスト 前の初期のデバッグから、ポストシリコン・デバッグにまで対応します。 Questa ローパワー検証：複雑な設計に適用されたアクティブ・パワー・マネジメントに対する初期段階の RTL 検証を可能にし、 パワー・マネジメントのアーキテクチャや振る舞いが適切なこと、設計がアクティブ・パワー・マネジメントのもとで正しく動作するこ とを確認します。Questa PASim は、自動エラー検出、パワー・マネジメントのアーキテクチャと振る舞いの可視化、パワー・ステー トやステート遷移についてのカバレッジデータの収集を通じて検証プロセスを簡素化します。アクティブ・パワー・マネジメントの 仕様に関する業界標準 IEEE 1801-2009 UPF に基づいた Questa PASim は、ほかの UPF ベース・ツールと緊密に統合して、マ ルチツールとマルチベンダの設計／検証フローをサポートします。 Questa ADMS：複雑なアナログ／ミックスシグナル設計を検証します。このテクノロジは、Eldo® Classic/Premier（汎用アナログ）、 ADiT（高速トランジスタレベル）、Eldo RF（モジュラ・ステディ・ステート）、Questa Sim（デジタル）の 4 つの高性能エンジンで構 成されています。複数の言語とアルゴリズムを組み合わせれば、トップダウン設計とボトムアップ検証のいずれにも対応しています。 Questa HW/ SW 検証： プロセッサベース設計のシステム・レベルの検証を実現し、ハードウェア／ソフトウェア協調検証を可能 にします。このテクノロジは、チップのパワー・マネジメントの確保、オペレーティング ･ システムのロードとブート、ソフトウェア・ アプリケーションの実行など、数多くの利点を備えています。また、シミュレーションの高速化、即座のリプレイ、仮想エミュレーショ ンによってデバッグ時間を短縮できます。 Questa 検証マネジメント：さまざまな解析機能と最適化機能を提供します。機能の例としては、UCDB（Unified Coverage DataBase）、結果／傾向解析、テストプランの追跡、実行管理があります。Questa 検証マネジメントでは、すべてのカバレッジ 関連タスクを効率的に組み合わせて、プロジェクトに関するリアルタイムの可視性をシステム・アーキテクト、ソフトウェア・エンジ ニア、設計者、検証専門家など関係者全員に提供します。このような可視性は、市場投入スケジュールの達成、リスク管理、デバッ グ・プロセスの促進に役立ちます。 UVM と OVM：「メソドロジ・プラットフォーム」の提供により、Questa テクノロジを活用し、ユーザ固有の用途に合った検証環境 を実現します。UVM/OVM ライブラリはブロック／システム間やプロジェクト間で再利用できるコンフィギュレーション可能な VIP （検証 IP）や検証環境を構築するためのインフラストラクチャを提供します。スティミュラス生成については、 Questa のインテリ ジェント・テストベンチ・オートメーションを UVM/OVM 環境へシームレスに統合できます。UVM/OVM はモジュール方式のた め、トランザクションレベル・テストベンチを Questa プラットフォームでも Veloce プラットフォームでも再利用可能で、収集したカ バレッジデータを Questa 検証マネジメントで後から解析可能です。また、Questa 独自の UVM/OVM デバッグ機能を利用すると、 設計に加えてテストベンチも容易にデバッグできるようになります。 検証専門技術 メンター・グラフィックスは、ユーザが先進検証技術を採用 する上で十分な情報リソースを提供しています。 Verification Academy （www.verificationacademy.org） Verification Academy は、無料のオンライン・コース（モ ジュール）とリソースで構成されており、組織内の検証プロ セスの成熟を目的とした先 進機能検証の側面に重点を 置いています。モジュール のトピックは、アサーション ベース検 証、FPGA 検証、 CDC 検証、インテリジェン ト・テストベンチ・オートメー ションなど多岐にわたりま す。各モジュールは複数の セッションからなり、視聴者 は関心のあるトピックを選択 したり、後でトピックを再確 認することもできます。 Verification Academy は、 極 め て 包 括 的 な UVM/OVM オンライン・リソースの集まりです。 キットをダウンロードしたり、オンラインまたは 対面式のトレーニングに参加したりしながら、 UVM や OVM を最大限活用するのに必要な全てを見つけ られます。UVM/OVM モジュールでは、有用なコード例 を紹介したビデオを使って、入門者から上級者までを対象 にこの手法のコンセプトの概要を説明します。また、オンラ イン・テキストブックの UVM/OVM Online Methodology Cookbook では、この手法の各種機能を使い再利用可能 な検証コンポーネントや検証環境を作成する方法について 詳しく解説します。 コンサルティングとトレーニング メンター・グラフィックスの検証コンサルティングサービスで は、ソリューション重視のコンサルタントが検証時間を大 幅に短縮しつつ検証品質の向上を実現します。経験豊富な メンター・グラフィックスの検証サービスチームは、ほかの EDA コンサルティング・サービスやサードパーティのコンサ ルタントと異なり、カスタマイズされたソリューションと実績 ある構造化されたプロセスを提供して、プロジェクトの納期 と仕様を守りながら初回成功の可能性を高められるように 支援します。 メンター・グラフィックスのエデュケーション・サービスでは、 先進検証に携わる電子機器の設計者やエンジニア向けに 開発された学習ソリューションを幅広く提供し ています。ユーザは、それぞれのニーズやス ケジュールに最適なトレーニングのタイプを選 択できます。トレーニングの選択肢には、独自 の Live Online トレーニング、世界各地のメン ター・グラフィックス・トレーニング・センター で開催されるトレーニングと セミナー、個々の企業専用 に開発されたオンサイト・ト レーニング／メンタリングが あります。 Questa Vanguard Program（QVP） Questa Vanguard Program （QVP）では、 製 品 の 統 合 とインターオペラビリティの 確保を世界規模で実現する ことにより、Questa を使用した検証のオプションをさらに強 化し、強固で包括的な SystemVerilog エコシステムを構築 します。QVP は、検証関連のツールや手法、VIP、変換 サービス、トレーニング、コンサルティングを提供する業界 のリーディング・カンパニーとのパートナーシップを通じて、 メンター・グラフィックスの広範な設計／検証テクノロジを 拡張します。 メンター・グラフィックスは、複雑な SoC の設計と検証に大 きな変革をもたらすという目標に取り組んでいます。数々の ソリューションを統合し、過去に例がない 10 ∼ 100 倍の 検証時間の高速化を実現した Questa 検証プラットフォーム は、この変革に向けた最初の一歩に過ぎません。 詳しい製品情報は、http://www.mentorg.co.jp/products/fv をご覧ください。 Copyright © 2012 Mentor Graphics Corporation. All rights reserved. Mentor Graphics は Mentor Graphics Corporation の登録商標です。その他記載されている製品名および会社名は各社の商標または登録商標です。製品の仕様は予告なく変更 されることがありますのでご了承ください。 本 社 大阪支店 名古屋支店 URL 〒140-0001 東京都品川区北品川 4 丁目 7 番 35 号 御殿山ガーデン 電話（03）5488-3030（営業代表） 〒532-0004 大阪府大阪市淀川区西宮原 2 丁目 1 番 3 号 SORA 新大阪 21 電話（06）6399-9521 〒460-0008 愛知県名古屋市中区栄 4 丁目 2 番 29 号 名古屋広小路プレイス 電話（052）249-2101 http://www.mentorg.co.jp 12/10-R2-PDF-T
© Copyright 2024 Paperzz
