「QuestaR Verification Library」：OCP向け検証IP。プロトコルモニター　

「0-InR CheckerWare® Monitor」：OCP向け検証IP。プロトコルモニター

「QuestaR Multi-View Verification Component」：OCP向け検証IP、マスター、スレーブモデル

「QuestaSim」：OCP検証IPを用いたOVMベースのダイレクテッドテストおよび制約付きランダムテストが可能

「inFact™ + QuestaSim」：OCP検証IPを用いたOVMベースのアルゴリズミックテストが可能

「0-InR Formal Verification」：OCP検証IPを制約およびターゲットとしたフォーマル検証が可能

- Questa MVC データシート： http://www.mentorg.co.jp/products/fv/upload/QuestaMVC_DS_04232008.pdf
- 検証コンポーネント： http://www.mentorg.co.jp/products/fv/verification_components/index.html

Questa Verification Library（QVL）および0-In CheckerWare Monitorは検証者が簡単に取り扱えるOCP用のプロトコルモニターです。
このモニターをご使用いただくことにより自動的に各種カバレッジ情報を取得でき、また、検証項目の追加も容易なためコーナーケースの検証漏れを未然に防ぐことが可能です。QVLはQuestaに付属した専用のライブラリです。0-In Checker Ware MonitorはQuestaに限らず一般的な各種論理シミュレータでご使用いただけます。
Questa Multi View Verification Component (MVC)はシステムレベル、TLM、RTL、任意の抽象度で接続可能な検証用モデルです。