You just read:

Mentor Achieves ISO 26262 Qualification for Oasys-RTL, Nitro-SoC and FormalPro Tool Reports

News provided by

Mentor Graphics

Jun 14, 2017, 09:00 ET