米Mentor Graphics社は、新たに検証ソフトウエア「Questa SystemVerilog」と「Questa Advanced Functional Verification（AFV）」を発売すると発表した。この2つの製品には新しい検証技術であるシングルカーネル検証エンジン「QuestaSim」が搭載されている。SystemVerilogやSystemC、PSLなどの標準言語を使用しているため、 カバレッジドリブン検証（CAD）やアサーションベース検証（ABV）、トランザクションレベルモデリング（TLM）などの新しい手法にスムーズに移行することが可能。設計の再利用や移植にも容易に行える。
Questa SystemVerilogは、新しいIEEE P1800 SystemVerilog規格の主要な構成要素である設計構文、テストベンチ構文、アサーションならびにDirect Programming Interface（DPI）をシングルカーネルの検証ソリューションとして統合した。最新のシステムレベルの標準言語や手法を使用することで、より多くのバグをより早期に発見して検証の生産性を向上させることができる。
Questa AFVは、System Verilogによる検証に加え、AFVではテストベンチの自動化のためにSystemCを、アサーションとファンクション・カバレッジのためにスケジュール管理テストPSLを、そして設計言語としてVHDLをサポートし、これら標準言語を使いシステムレベルの検証を行うことができる。
QuestaSimは、HDLシミュレーションのカーネル、コンストレインツソルバー（制約解消システム）、アサーションエンジン（条件成立エンジン）、ファンクショナルカバレッジ（機能検証）を共通のユーザー・インタフェースで統合し、検証の進捗を見ながらスペックや設計のテストを行えるようになっている。
Questaは、同社の既存のソフトウエアと統合することにより、特定の検証手法にあわせたカスタム・ソリューションを構築することできる。「ModelSim」ユーザーはアドオン・オプションを使用すればQuestaの機能を使用することができ、「Seamless」や「Advance MS」、「0-In」、「VStation」は、Questa製品群とも互換性がある。
