1. Home
  2. ICツール製品ポートフォリオ
  3. Questa先進機能検証ソリューション

Questa先進機能検証ソリューション

Questaは、複雑なSoCやFPGAの検証とデバッグを自動化し、生産性の劇的な向上と効率的なリソース管理を実現します。
その支柱となるクラス最高のテクノロジは、ブロック、サブシステム、システムといったそれぞれのレベルで最大限の検証効果を発揮します。

ホワイトペーパー

PCIe Gen5の検証課題を克服する

PCIe Gen5の機能と検証面での課題を解説します。また、強力な検証IPソリューションを使用してこれらの課題に対処する方法について、アンリツと共同で取り組んだ事例についてもご紹介いたします。

Questaのシミュレーション・ツールは、設計チームが実装予定のアーキテクチャと動作を検証します。

高い性能

Questaシミュレーション

Questaは、設計と検証のすべての抽象レベルにおけるテストベンチの生産性、自動化、再利用性を高めるために複数の検証メソドロジと言語をサポートしています。

製品情報を表示
Questaの設計ソリューション・ツールスイートは、デザインの作成から収束までを必要最低限のインプットでサポートします。UPFと基本制約が必要な場合を除き、RTL以上のものは必要ありません。

設計意図にフォーカスした洞察

Questaの設計ソリューション

Questaの設計ソリューション・ツールスイートは、デザインの作成から収束までを必要最低限のインプットでサポートします。設計段階でコードを分析し、バグの早期検出と修正を実現する、自動化された統合機能検証ツールスイートです。

製品情報を表示
Questa Formalは、フォーマル手法やアサーションベース手法に精通した設計・検証エンジニアに、強力なフォーマル解析機能を提供します。

検証の効率化

Questaフォーマル検証

Questaのフォーマル検証アプリケーションは、フォーマル検証やアサーションベース検証の専門的な経験を必要とせず、困難な検証作業を徹底的に自動化することで、検証の効率とデザインの質を高めます。

製品情報を表示

検証IP

Questa検証IP(VIP)

Questaの検証IP(VIP)は、幅広い業界標準のインタフェースをサポートする再利用可能なプロトコルおよびメソドロジのコンポーネントを構築することで、設計品質の向上とスケジュールの短縮を実現します。

製品情報を表示
OneSpinは、検証の難題を解決し、設計チームが機能的に正しく、安全でセキュアなSoCを作成するために、ICのインテグリティ問題を解決する最も先進的で堅牢な検証プラットフォームを提供します。シーメンスEDAの機能検証プロフェッショナルは、設計チームが機能的に正しく、安全かつ安心で、高い信頼性を持つSoCを設計するための支援となるソリューションの提供に日夜励んでいます。

ICのインテグリティを保証

OneSpinフォーマル検証

OneSpinは、検証の難題を解決し、設計チームが機能的に正しく、安全でセキュアなSoCを作成するために、ICのインテグリティ問題を解決する最も先進的で堅牢な検証プラットフォームを提供します。シーメンスEDAの機能検証プロフェッショナルは、設計チームが機能的に正しく、安全かつ安心で、高い信頼性を持つSoCを設計するための支援となるソリューションの提供に日夜励んでいます。

製品情報を表示
Visualizer デバッグ環境では、未知数(X 値)の発見、複数のクロックドメインを通じてイベントの根本原因箇所まで立ち戻るトレースが可能で、Time Coneウィンドウを使用して問題解決に必要となる未知数の発生個所を的確に示します。

直観的で使いやすい

Visualizerデバッグ環境

Visualizerは、シミュレーション、エミュレーション、プロトタイピングとデザイン、テストベンチ、ローパワー、アサーション解析など、論理検証フロー全体をサポートする高性能・大容量のコンテキスト・アウェア・デバッガです。

製品情報を表示

SO 26262 & DO-254ソリューション

機能安全

自動車、産業、航空宇宙などのセーフティ・クリティカルな市場において、イノベーションへの要求は高まり続けており、動作寿命を通じて製品が正しく動作し、故障の際にも安全に想定通りとなることを保証する必要があります。

製品情報を表示