You just read:

Synopsys TetraMAX II ATPG Certified for ISO 26262 Automotive Functional Safety

News provided by

Synopsys, Inc.

Jul 12, 2016, 16:15 ET