You just read:

Cadence and University of Oxford Foster the Advancement of Formal Verification Innovation

News provided by

Cadence Design Systems, Inc.

Apr 07, 2016, 10:45 ET