機能検証

増加の一途をたどる検証の課題を克服

メンター・グラフィックスの機能検証プラットフォームであるVista、Questa、Veloceは、個々のニーズに最適化された生産性の高い検証フローを提供します。他社に先駆けてオープンな業界標準をサポートし、ESLからエミュレーション、トランザクションからトランジスタへのシームレスな移行を進めるために緊密に統合されたこれらのプラットフォームは、増え続ける検証の課題を克服し、スケジュールを予定通りに進行させ、検証クロージャを早期に実現するのに役立ちます。

Vista, Questa and Veloce

プロセッサドリブン検証

技術文献[英語]：HDLテストベンチからテストベクタを適用するという現在の手法は、プロセッサバスの動作を模倣している段階にあります。従来の検証手法にプロセッサドリブンのテストベンチを導入すると、実環境に即した検証が可能となり、プロジェクト全体でテストベンチ・ソフトウェアを幅広く再利用できるようになります。技術文献を表示

検証マネジメントでリスピンへの懸念を軽減

技術文献:検証が管理されていないと、プロジェクトがスケジュール通りに進まず、品質が脅かされ、リスピンの危険性が大幅に高まります。こうした好ましくない状況が発生する頻度が次第に増加しているようです。メンター・グラフィックスが実施した独自の検証調査によれば...技術文献を表示

機能検証の詳細

Verification Horizons Blog

先進の機能検証技術でできること、最も効果的に適用する方法を理解するのに役立つコンセプト、もたらされる価値、標準、メソドロジ、そして実例などの最新情報をご覧いただけます。Dennis Brophy、Harry Foster、Tom Fitzpatrickをはじめとするブログをご覧ください。さらに読む[英語]

Verification Horizons Newsletter

最先端の機能検証手法とテクノロジに関する詳細な記事や実践的な知識をご覧ください。Verification Horizons[英語]

変わりつつある検証 - オンデマンド・セミナー・シリーズ

SoCの複雑化に伴って機能検証は変化しつつあり、複数のテクノロジを統合し、広範な検証ソリューションを網羅した柔軟でオープンな検証フローが求められるようになってきました。メンター・グラフィックスでは、検証プロセスの改革に役立つオンラインの技術セミナーを用意しました。

オンデマンドWebセミナー[英語]:Questa Formalの自動チェック - バグを検出するためのプッシュ・ボタン方式

オンデマンドWebセミナー[英語]:Questaによるデバッグの生産性向上:Questaに最先端のデバッグ機能を導入することで、SystemVerilogのクラスベースのTBおよびOVM/UVMに対応し、RTLでの問題検出の難しさを解消

オンデマンドWebセミナー[英語]:検証の管理と計画

UVM/OVM

オンラインのUVM/OVMクックブックを視聴できます。このオンラインセミナーでは、検証に必要な部分のみを作成し、それらを統合して、検証に関する具体的な問題を解決する方法を紹介します。詳細

In The Press

ニュース&プレスリリース： メンター・グラフィックスは、UVM（Universal Verification Methodology）サポートを拡充しています。その一環として、UVMメソドロジの段階的な構築を支援するUVM Express、およびSystemCで書かれたモデルとUVM SystemVerilogで書かれたモデルの間に標準的なTLM 1.0およびTLM 2.0のコネクティビティを確立するUVM Connectをリリースしました。詳細

インダストリー・セグメント

メンター・グラフィックスの検証ソリューションは、さまざまな業界において、設計からテストベンチ作成、設計解析、シミュレーション、管理まで、設計と検証に関するあらゆる業務で利用されています。

半導体およびIP

  • プロセッサ、DSP
  • グラフィックス・チップ／コア
  • インタフェース・コントローラ
  • スイッチング・ファブリック
  • 通信コントローラ
  • メモリ・システム
  • オーディオ／ビデオ・コーデック
  • ストレージ・プロセッサ

ネットワーク／データ通信

  • LAN
  • 光通信
  • ストレージ・ソリューション
  • ブロードバンド・ソリューション
  • スイッチ／ルータ
  • 基地局
  • VOIPソリューション
  • ストレージ・プロセッサ

コンシューマ・エレクトロニクス

  • 携帯電話
  • PC（パーソナル・コンピュータ）
  • 携帯型マルチメディア
  • デジタル／モバイルTV
  • セットトップ・ボックス
  • カメラ／ビデオカメラ
  • ホーム・ネットワーク
  • GPSシステム

セーフティ／ミッション・クリティカル

  • 航空電子
  • 自動車制御
  • 医療機器制御
  • 衛星システム
  • 軍用／航空宇宙ソリューション
  • 産業電子

技術文献

メンター・グラフィックスでは、詳細な内容の技術文献を豊富にご用意しています。いつでもダウンロードしてお読みください。機能検証の技術文献を表示

Questa CoverCheck - コードカバレッジ・クロージャの自動ソリューション

デバッグは依然として今日の設計フローが抱える最大のボトルネックです。エンジニアは、アーキテクチャ・モデルやRTLモデル、さらに検証コードやテストの中に潜むバグを検出することがデバッグであると考えがちですが、デバッグはカバレッジ・クロージャという骨の折れる作業を含め、設計フロー全体に関わっています。実際、未到達のカバレッジ項目を追跡していった結果、到達不能であることが判明してがっかりすることもあります。技術文献を表示

Veloceのエミュレーション　システムレベルのパワー解析と検証

最新世代のVeloceエミュレータは、非常に効率的で精度の高いシステムレベルのパワー・アウェア検証とパワー解析のソリューションを提供するとともに、長時間テストなどエミュレーションに欠かせない機能を備えています。技術文献を表示

マルチメディア

メンター・グラフィックスの製品を上手に活用していただくため、ビデオ形式のWebセミナーや製品デモも多数用意しています。マルチメディア[英語]

UVM Express[英語]

UVM Connect[英語]

UVMレジスタの増強[英語]

ニュース&プレスリリース

ソリューション

ローパワー・ソリューション

メンター・グラフィックスのローパワー技術はバックボーンにUPF（Unified Power Format）を採用しており、電力に基づいたアーキテクチャの定義、電力を考慮した戦略の立案、ローパワー設計の検証などがTLMからGDSIIまでのフロー全体で可能です。ローパワー・ソリューション