Questa™ 是由 Mentor Graphics 明导国际提供的最新验证产品，功能包括测试平台自动化 (testbench automation)、涵盖率驱动式验证 (Coverage-Driven Verification)、以 assertion 为基础的验证 (Assertion-Based Verification) 和异动层级建模 (Transaction-Level Modeling)。