Mentor®, a Siemens Business, has pioneered technology to close the design and verification gap to improve productivity and quality of results. Catapult® High-Level Synthesis for C-level verification and PowerPro® for power analysis; Questa® for simulation, low-power, VIP, CDC, Formal and support for UVM and Portable Stimulus; Veloce® for hardware emulation and system of systems verification, unified with the Visualizer™ debug environment.