May 8, 2007 – Mentor Graphics Corporation (Nasdaq ... results across all valid combinations of modes in the design. The Formal Verification functionality has been enhanced with a new edge-based clock ...