Functional Verification

Conquer your growing verification challenges.

The Mentor Graphics Functional Verification platform delivers the strongest verification foundation and vision, spanning simulation, emulation, and formal verification to conquer your ever growing verification challenges. Its leading support for open, industry standards, customizability, and scalability ensures an optimized verification flow that is tailored to your needs and achieves the highest productivity, schedule predictability, and rapid verification closure.

Products for Functional Verification

HDL Designer

HDL Designer provides engineers with a suite of advanced design editors to facilitate development: interface-based design spreadsheet editor (IBD) and block diagram, state-machine, truth table, flow chart and algorithmic state-machine editors.

ModelSim®

ModelSim combines high performance and high capacity with the code coverage and debugging capabilities required to simulate larger blocks and systems and attain ASIC gate-level sign-off. Comprehensive support of Verilog, VHDL, and SystemC provide a solid foundation for single and multi-language design verification environments.

Questa® Advanced Simulator

The Questa® Advanced Simulator combines high performance and capacity simulation with unified advanced debug capabilities for the most complete native support of Verilog, SystemVerilog, VHDL, SystemC, PSL and UPF

Questa® Formal Verification

The Questa Formal Verification tool complements simulation-based RTL design verification by analyzing all possible behaviors of the design to detect any reachable error states.  

Questa Power Aware Simulator

The Questa Power Aware Simulator enables design teams to verify the architecture and behavior of active power management planned for the implementation, but starting much earlier in the design process.

ReqTracer

Manage requirements in your FPGA and ASIC design flows. ReqTracer simplifies, automates and enables requirements traceability from hardware specification through HDL coding, implementation, verification and validation.