成功事例

検証の成功

「ModelSimによって、RTLシミュレーションへのCコードの統合は、非常にシンプルな3ステッププロセスになりました。ModelSimは、役立つ機能が多数あるだけでなく、簡単に習得することができます。」

Hyperstone AG、Development Engineer、Arthur Freitas氏 詳細[英語]

 
 

Advanced Micro Devices(AMD)

Advanced Micro Devices   成功事例: AMDのドイツザクセン州にあるドレスデンデザインセンター(Dresden Design Center)は、無線/有線Ethernet接続とAMDのプロセッサ用チップセット向けの半導体製品を開発しています。「AMDのチップは非常に複雑で、特定の環境下でのみ発生するコーナーケース動作が多数組み込まれた制御構造とデータ構造が含まれています。」Dresden Design Center、Design/Verification DepartmentのManager、Frank Dresig氏はこのように語っています。成功事例を表示[英語]

 

AMCC

成功事例: Applied Micro Circuits Corporation(AMCC)は、複雑なクロックドメインクロッシングの検証にQuesta CDCを採用しました。成功事例を表示[英語]

 

Evatronix IP

Evatronix 成功事例: メンター・グラフィックのQuesta Formal Verificationは、非常に高いカバレッジの達成、実証済みの業界標準プロトコル、チェッカならびにアサーションベース検証のサポートを通じて、Evatronix IPの品質を改善しています。このように徹底的に検証されたコアだからこそ、どのお客様の設計環境でも動作するという確信を持てます。それがお客様の作業時間の短縮とコストの節減につながるのです。成功事例を表示[英語]

 

Icron

Icron 成功事例: 新しい国に展開する場合、その言語に精通していることが大切です。Icronは、メンター・グラフィックスとPDTiの支援によってSystemVerilogを習得し、初めてのASIC設計の検証にそれを応用できました。Questaは、Icronが必要としていたすべてのSystemVerilog機能をサポートしていました。さらに、PDTiのおかげでレジスタ仕様のSystemVerilogモジュールをエラーなしで生成できました。 成功事例を表示[英語]

 

Infineon

Infineon 成功事例: 自動車業界における第1位のチップサプライヤーであるInfineonは、メンター・グラフィックスと共同で、新しい検証メソドロジの開発に取り組んでいます。その結果、ハードウェア/ソフトウェアの協調検証に、構造化された優れたアプローチが生まれました。成功事例を表示[英語]

 

三菱電機

Mitsubishi 成功事例: Veloceハードウェア支援検証テクノロジが、この大手エレクトロニクス企業が求める効率的な検証メソドロジにぴったりでした。成功事例を表示[英語]

 

Olivetti

成功事例: Olivettiは、設計プロセス全体の管理を全社的にメンター・グラフィックスのHDL Designer Seriesに一本化しました。HDL Designer Seriesは、さまざまな設計ツールを統合して、すべての設計者およびフローを標準化できるユニークなソリューションです。成功事例を表示[英語]

 

Sun Microsystems: マルチクロック設計

Sun Microsystems 成功事例: Sun UltraSPARC T1プロセッサで採用されている革新的なマルチクロックアーキテクチャに対応できる非同期検証ソリューションは、Questa CDC以外にはありませんでした。Sunの検証チームとQuestaサポート/R&Dスタッフとの緊密な連携により、Sunは初回シリコン製造時の非同期エラーを確実に防げるようになりました。成功事例を表示[英語]

 

Xsigo Systems

成功事例: QuestaとOVMにより、Xsigoは制約付きランダム検証メソドロジに移行することができ、検証の生産性と設計品質を高め、堅牢な最先端のFPGAをスケジュールどおりに開発できました。成功事例を表示[英語]

 

IMEC

IMEC 成功事例: IMECが提唱するM4(Multi-Mode MultiMedia)端末を短期間で検証するために、IMECはメンター・グラフィックスのTBXおよびARM IP Xpress Target Platform(IpxTP)ソリューションを利用してハードウェア支援の検証を行いました。メンター・グラフィックスが提供するこのテクノロジを使用することで、Flexible Air Interfaceモデムと3MF(MultiMode Multi-Format codec)プラットフォームの機能を完全に検証できました。TBX内でSystemCトランザクションレベルモデルを直接マッピングし、すばやく包括的なテストシーケンスを実行することで、IMECは、テストベンチの実行および作成にかかる期間を数か月も短縮しました。TBXとARM IpxTPによって、チップがファウンドリから戻される前に、IMECソフトウェアが準備されデバッグされていることを保証できるようになりました。 成功事例を表示[英語]

 

Hyperstone: SystemVerilog DPI

Hyperstone 成功事例: Questa SystemVerilog DPIにより、ISS Cモデルとソフトウェアデバッグ環境の統合など、Hyperstoneの強力な混在言語テストベンチ開発が可能になりました。DPIにより、C、RTL、ゲートの各レベルを連結することでソフトウェアデバッガとのインタフェースを作成、それが協調検証の土台となり、ソフトウェアとハードウェアの設計と検証の並列処理を通じて大幅な生産性向上を実現します。また、このモジュラ型のトランザクションレベルのアプローチは、現在および将来の設計における再利用にも対応しています。成功事例を表示[英語]

 

Dot Hill Systems

Dot Hill Systems 成功事例: 今日の非常に複雑で高スループット設計には、制約付きランダムテスト、トランザクションレベルモデリング、アサーションといった、SystemVerilogのオブジェクト指向機能でなければ提供できない高度な検証機能が必要です。Dot Hillは、彼らが必要とするSystemVerilogのサポートレベルを備えているのはQuestaとAVMだけだと判断しました。結果は彼らを裏切りませんでした。1/3のサイズで4~5倍の機能を備えたテストベンチが少人数のチームによって迅速かつ容易に作成されました。成功事例を表示[英語]

Hyperstone: ModelSimとSystemVerilog DPI

Hyperstone 成功事例: Hyperstoneは、ネットリストからCモデルに抽象度を上げることによってRTLシミュレーションを高速化しています。これを可能にしたのが、ModelSimのSystemVerilog DPIです。成功事例を表示[英語]

 

Hynix

Hynix Semiconductor 成功事例: Hynixは、SystemVerilogをサポートしているQuestaの導入により、テストベンチオートメーション、アサーションベース検証、AVM(Advanced Verification Methodology)を利用できるようになりました。この強力な組合せによって生産性が向上したことで、Hynixは、プロジェクトのスケジュールを前倒しして、バグのない2種類のチップを2か月でテープアウトできました。成功事例を表示[英語]

 

Institute of Microelectronics

Institute of Microelectronics 成功事例: 未来をビジュアル化し、現在に新しいリアリティを創るユニークなシステムのリアルタイム部分の設計に挑戦しようとしたとき、そのFPGAアルゴリズムの複雑性に対処するには、IMEの生産性をさらに高めてくれるより高度な検証ツールとメソドロジが必要だということを実感しました。メンター・グラフィックスは優れた実績を持ち、SystemVerilogの完全サポートを謳っていることから、IMEは、数々の優れた結果を残しているQuestaとOpen Verification Methodology(OVM)の導入を決めました。これにより、非現実的と思われたリアリティの実現を妨げていた、2つの特に厄介な問題が解決しました。成功事例を表示[英語]

 

National Semiconductor

National Semiconductor 成功事例: National Semiconductorの開発チームを率いるGordon Mortensen氏は、X86 Geode統合型プロセッサ製品に付随するコンパニオンチップを担当しています。これらのコンパニオンチップには、従来のSouth Bridge機能、Super I/Oおよびレガシー機能、USBホストコントローラ、オーディオコントローラをはじめ、広範な機能が統合されています。こうした複雑な設計について、Mortensen氏は次のように語っています。「検証における最も困難な課題は、バグ修正によってスケジュールに遅れが生じないように、設計のかなり早い時期にバグを見つけることです。」成功事例を表示[英語]

 

ON Semiconductor

ON Semiconductor 成功事例: メンター・グラフィックスの多言語シミュレータであるQuestaとOVM(Open Verification Methodology)ライブラリによって、ON Semiconductorの自動化された制約ドリブンスティミュラス生成とカバレッジデータ収集の適用を短期間で成功させることができました。成功事例を表示[英語]

 

SEAKR

成功事例: 航空宇宙分野のデータストレージ企業のSEAKRは、Questaを利用して高度なテストベンチを短期間で準備し、かつてないスピードでより多くのバグを検出することに成功しました。成功事例を表示[英語]

 

Sun Microsystems: 300万ゲート規模の設計

Sun Microsystems 成功事例: エンタープライズコンピューティングソリューションの世界的リーダーであるSun Microsystemsは、ワークステーションとハイエンドサーバを製造し、すべてのサーバでクラス最高レベルの帯域幅と最短のレイテンシを維持しています。Sun Microsystemsの設計検証担当マネージャであるPaul Gingras氏は、いくつかの極めて大規模かつ複雑なコンポーネントを搭載したハイエンドサーバ向けの大規模なASICの検証を担当していました。成功事例を表示[英語]

 

Tensilica

Tensilica 成功事例: Tensilicaは、シングルチップシステム向けのアプリケーション固有のマイクロプロセッサソリューションを提供しています。Xtensaプロセッサは、コンフィギュラブルで拡張可能な32ビットマイクロプロセッサアーキテクチャで、組込みシステム設計者が高品質で高度に統合された製品を従来よりも短期間で開発できる環境をサポートしています。この環境には、特定のアプリケーション要件を深く理解できるようにサポートするインフラストラクチャが組み込まれているため、設計者は指定された機能やインフラストラクチャを簡単かつ迅速にプロセッサに追加できます。変更後の設計は、ソフトウェア開発ツールチェーン全体の中でシームレスに認識されます。成功事例を表示[英語]

 

Northrop Grumman Italia

成功事例: 航空宇宙分野のメーカーであるNorthrop Grumman Italiaは、検証の品質と効率を改善すると同時に、短期間でDO-254コンプライアンスを達成しました。成功事例を表示[英語]

 

STマイクロエレクトロニクス

STマイクロエレクトロニクス 成功事例: エレクトロニクス業界が物理的な法則に基づいているかぎり、アナログ信号の重要性が消えることはありません。自然界では、厳密に統制されたビットストリームではなく、波形で物事が伝達されています。そこで生じる課題、つまり、より複雑な半導体デバイスを開発する上で繰り返し解決しなければならない問題は、アナログデジタル間インタフェースで起こっていることをどのように検証するかという点です。成功事例を表示[英語]

 

STマイクロエレクトロニクス: シミュレーション + エミュレーション = 検証成功

STマイクロエレクトロニクス 成功事例: 2012年にSTマイクロエレクトロニクスはEagleリファレンスデザイン(ERD)を開発するパイロットプロジェクトをスタートさせました。目的は3つのARM製品(Cortex-A15、Cortex-7、DMC 400)をつないで、ユーザがXMLのシステム記述だけで調整が可能な非常に柔軟性に富んだプラットフォームの可能性を検討することでした。成功事例を表示

 

事例内で掲載した社名、部署名、役職名、氏名などは、事例発表当時のものです。

製品情報リクエスト