You just read:

Cadence Expands JasperGold Platform for Advanced Formal-Based RTL Signoff

News provided by

Cadence Design Systems, Inc.

May 16, 2017, 04:31 ET