You just read:

Microsemi and OneSpin Solutions Target High-reliability Design Verification with Formal-based FPGA Equivalency Checking Solution

News provided by

Microsemi Corporation , OneSpin

Mar 23, 2015, 07:00 ET