Can someone provide some materials on S32's ECC Function?

[kongdetao]

In the startup_s32k148.S file, the following codes  do RAM ECC function. Can't understand it! Need help or guide! Thanks!

#ifdef START_FROM_FLASH

/* Init ECC RAM */

ldr r1, =__RAM_START
ldr r2, =__RAM_END

subs r2, r1
subs r2, #1
ble .LC5

movs r0, 0
movs r3, #4
.LC4:
str r0, [r1]
add r1, r1, r3
subs r2, 4
bge .LC4
.LC5:
#endif

[Catosh]

Hi Kongdetao, 

this routine is initializing the RAM to a known value (0).

This because according to ref manual, point 1:

Furthermore, if you are using a device with PRAMC:

Then, last but not least, :