You just read:

STMicroelectronics Standardizes on Synopsys VC Formal for Faster Verification Closure of Leading Microcontroller Designs

News provided by

Synopsys, Inc.

07 Jun, 2017, 09:10 ET