You just read:

Kyocera Selects Synopsys VC Formal for High-Performance Property Verification

News provided by

Synopsys, Inc.

Jun 28, 2017, 09:05 ET