I am using S32K324 for my ASILB project. I have to perform micro controller diagnostics to qualify for ASILB. Does NXP provide any kind of safety library (which can be integrated to my source code to perform micro diagnostics) for the above-mentioned micro controller? if not how does the micro diagnostics usually implemented in NXP?