My understanding is that you are checking for ISO26262 certification for the products we offer code generation and model verification.
Please find the below information of TUV SUD certificates at mathworks.
Embedded Coder®, Simulink® model verification tools, and Polyspace® code verification tools are certified by TÜV SÜD as qualified tools according to ISO 26262 for ASIL A-D.
Moreover, list of products supporting ISO26262 using IEC Certification Kit are in the below link:
IEC Certification Kit provides tool qualification artifacts, certificates, and test suites, and generates traceability matrices.
I hope the above information helps you.