You just read:

Samsung SARC Selects Synopsys as Primary Verification Solution for Advanced Mobile Processor Designs

News provided by

Synopsys, Inc.

Sep 05, 2017, 09:05 ET