TI uses SuperTest qualification suite in their SafeTI Compiler Qualification Kit

TI introduces SafeTI™ Compiler Qualification Kit to help ease functional safety development for industrial, automotive and medical products.

Read more here: TI introduces SafeTI™ Compiler Qualification Kit