We are trying to understand which memory types of the S32K is protected by ECC. It is clear from the S32K1xx Series Reference Manual that both sections of RAM is protected as well as how to detect both single-bit and double-bit ECC errors. For the FlexNVM module it is also clear that if it is configured as Data Flash or Emulated EEPROM, single-bit ECC errors are automatically corrected and how to detect double-bit ECC errors. If CSEc is used, it is also clear that CSE_PRAM area is protected.
However, for the regular data/program flash (ex in S32K148 address range: 0000_0000-0017_FFFF ), it is not clear for us from the Reference Manual or other S32K documentation if it is ECC protected and how. It seems like double-bit faults in regular flash is reported in register FTFC->FERSTAT->DFDIF (Double Bit Fault Detect Interrupt Flag). Is this correct? For single-bit faults in regular flash there is less information: Is it in place for regular flash? Is it automatically corrected? Is there any reporting of it?
Best regards,
André