You just read:

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

News provided by

Cadence Design Systems, Inc.

07 Apr, 2016, 10:45 ET