You just read:

Cadence Introduces the Conformal Smart Logic Equivalence Checker

News provided by

Cadence Design Systems, Inc.

Sep 13, 2017, 21:30 ET