成功事例

検証の成功

メンター・グラフィックスの検証テクノロジスト、Tom Fitzpatrickが検証の成功について語ります。

ビデオを表示

thumbnail

次世代の検証事例

  • Applied Micro (AMCC)
    データ処理、伝送、ストレージの大手AMCCは、使いやすさを理由に0-In CDCを採用し、短期間で驚くほどの成果を上げました。
  • 三菱電機
    三菱電機のマルチモード・マルチメディア通信プロセッサの検証を短期間で実施するために、ハードウェア支援検証プラットフォームVeloceを次世代HDTVビデオ・デコーダIPの検証に適用しました。
  • SEAKR
    航空宇宙分野のデータ・ストレージ企業SEAKRは、Questaを利用して高度なテストベンチを短期間で準備し、かつてないスピードでより多くのバグを検出することに成功しました。
  • Sun Microsystems: マルチクロック設計
    Sun UltraSPARC T1プロセッサで採用されている革新的なマルチクロック・アーキテクチャに対応できる非同期検証ソリューションは0-In CDC以外にはありませんでした。
  • Sun Microsystems: 300万ゲート規模の設計
    Sun Microsystemsの設計検証マネージャ、Paul Gingras氏は、いくつかの極めて大規模かつ複雑なコンポーネントを搭載したハイエンド・サーバ向けの大規模なASICの検証を担当していました。
  • Tensilica
    TensilicaのXtensaプロセッサはコンフィギュラブルで拡張可能な32ビット・マイクロプロセッサ・アーキテクチャおよびサポート環境です。これにより、組込みシステム設計者はより高品質で高度に統合された製品を従来よりも大幅に少ない時間で開発することができます。
  • National Semiconductor
    National SemiconductorのGordon Mortensen氏は、「設計サイクルの極めて早期段階でバグを検出し、スケジュールの遅れなしにバグを修正できるようにする」ため、メンター・グラフィックスの0-Inアサーションベース検証を採用しました。
  • Olivetti
    Olivettiは、設計プロセス全体の管理を全社的にメンター・グラフィックスのHDL Designer Seriesで統一しました。HDL Designer Seriesは、様々な設計ツールを統合して、すべての設計者のフローを標準化できるユニークなソリューションです。
  • Advanced Micro Devices
    AMD Saxonyのドレスデン・デザインセンターは、複雑なAMDプロセッサ向けチップセットおよび無線、優先のイーサネット接続の半導体製品を開発しています。「私たちのチップは非常に複雑で・・・・・
  • Dot Hill Systems
    今日の非常に複雑で高いスループットの設計には、SystemVerilogのオブジェクト指向の能力のみが実現し得る高度な検証機能が求められます。制約付きランダムを含む・・・・・
  • Evatronix IP
    メンター・グラフィックスの0-In Formal Verificationは、網羅的なカバレッジ、定評ある業界プロトコルとチェッカ、アサーションベース検証のサポートなどにより、Evatronix IPの品質を向上させることに成功しました。
  • Hynix
    SystemVerilogをサポートしたQuestaを導入したことにより、Hynixはテストベンチ・オートメーション、アサーションベース検証、AVM（Advanced Verification Methodology）を利用できるようになりました。生産性を向上させることで、この強力な組み合わせは・・・・・
  • Hyperstone: ModelSimとSystemVerilog DPI
    Hyperstoneは、ネットリストからCモデルに抽象度を上げることによってRTLシミュレーションを高速化しています。これを可能にしたのが、ModelSimのSystemVerilog DPIです。ModelSimのインタラクティブな・・・・・
  • Hyperstone: SystemVerilog DPI
    Questa SystemVerilog DPIにより、ISS Cモデルとソフトウェア・デバッグ環境の統合など、Hyperstoneの強力な混在言語テストベンチ開発が可能になりました。
  • Icron
    新しい国に展開する際、その言語を流暢に扱えることが必要です。メンター・グラフィックスのPDtiはIcronがSystemVerilogを選定し、その最初のASICの検証に適用するのを支援してくれました。
  • Institute of Microelectronics
    未来をビジュアル化し、現在に新たなリアリティーを創るユニークなシステムのリアルタイム部分の設計に挑戦する際、IMEチームが判断したのは、複雑なFPGAアルゴリズムに対処する・・・・・
  • IMEC
    IMECは、同社が提唱するM4（Multi-Mode MultiMedia）端末を短期間で検証するためにメンター・グラフィックスのTBXおよびARM IP Xpress Target Platform（IPxTP）ソリューションを利用してハードウェア支援の検証を行いました。
  • Xsigo Systems
    QuestaとOVMにより、Xsigoは制約付きランダム検証メソドロジに移行することができ、より高い検証の生産性と品質に達成することができました。