Mentor Graphics Questa Verification Platform Enables Broad Adoption of Formal Verification - DailyFinance | formal methods | Scoop.it
Mentor Graphics Questa Verification Platform Enables Broad Adoption of Formal Verification WILSONVILLE,...Ore.--(BUSINESS WIRE)-- Mentor Graphics Corp. (NAS: MENT) today announced new formal-based technologies in the Questa® Verification Platform that provide mainstream users with the ability to more easily perform exhaustive formal verification analysis. The new Questa AutoCheck technology delivers fully automated formal checking analysis, while the Questa CoverCheck tool provides 100% code coverage closure. The Questa Verification Platform now also offers expanded clock-domain crossing (CDC) capabilities.