You just read:

Mentor Graphics Expands Formal Verification's Reach with New Cross-Platform GUI and Apps for Sequential Logic Equivalence Checking and CDC Gate-Level Analysis

News provided by

Mentor Graphics

Apr 20, 2017, 09:00 ET