You just read:

Toshiba Selects Synopsys VC Formal Verification Solution

News provided by

Synopsys, Inc.

Jun 15, 2017, 09:05 ET