Questa™ 是由 Mentor Graphics 明導國際提供的最新驗證產品，功能包括測試平台自動化 (testbench automation)、涵蓋率驅動式驗證 (Coverage-Driven Verification)、以 assertion 為基礎的驗證 (Assertion-Based Verification) 和異動層級建模 (Transaction-Level Modeling)。