Questa Formal Verificationアプリケーション

複雑な検証問題に対応する徹底した自動化ソリューション

Questa Formal Verificationアプリケーション  

Questa Formal Verificationアプリケーション

Questaのフォーマル検証技術には、主要な多くの分野においてシミュレーションを相互に補完できる幅広いフォーマル検証ソリューションとアプリケーションが含まれています。
なかでもQuesta Formal Verificationは、従来の方法では完遂することが難しい検証作業を徹底することにより、高い検証効率と設計品質を達成するアプリケーションです。しかも、フォーマル検証やアサーションベース検証の経験も必要としません。

どれだけ細心の注意を払って設計したUVMテストベンチも、制約付きランダムスティミュラスがすべてのコーナーケースをカバーできるわけではなく、本質的に完全とはいえません。残念ながら、これは機能カバレッジが100%達成されたとしても、ステート空間の想像もしていなかった場所に重大なバグが潜んでいる可能性が依然として残っていることを意味します。こうしたことから、フォーマル検証は今日の複雑な設計の検証において大きな役割を果たしています。フォーマル検証ツールは、一連のプロパティを使って、統計的に設計の挙動を解析し、横型方式ですべての入力シーケンスを徹底的に探索し、他の方法では見つけられなかったであろう設計エラーを見つけ出します。

Questa Formal Verificationアプリケーションは、フォーマル/アサーションベースの検証に詳しい設計/検証エンジニアにとって非常に強力な解析ツールです。メンター・グラフィックスは、Questa検証プラットフォームをベースに多岐にわたるフォーマル検証アプリケーションを開発しています。今日の検証課題に応えるこれらのアプリケーションは、自動化されているので、最小限のトレーニングがあればフォーマルの専門家でなくともご利用いただけます。

利点と特長

  • バグの早期検出 – テストベンチの準備が整う前の設計フェーズの早期に検証を開始
  • 機能検証の品質向上 - カバレッジクロージャの自動化、Xチェック、レジスタ検証向けソリューションに対応する検証プロセスを向上
  • 高い操作性 - 従来の方法では検証することが非常に難しいか、不可能であった設計領域に対する高精度な検証をワンクリックで自動的に実行
  • Questa Enterprise Verification Platformシミュレータエミュレータと統合 - 検証マネジメント機能、コンパイラ、デバッガ、多言語(SystemVerilog、Verilog、VHDL、UPFなど)対応の各種機能が共通化されており、同一検証エンジンに基づいて検証プロセスと検証ゴールを抽象化したソリューションを提供
  • ハイパフォーマンス– ランタイム性能、メモリ利用率、ストレージ稼働率をはじめとするQuesta Formal中核技術の持続的な改良を進め、期待以上のスケーラビリティとコンピューティングリソースを達する内蔵アプリケーションエンジンの実現を目指し、応用研究/工学分野に集中的に投資
製品情報リクエスト