registers for ECC testing: the CPCx_CPCERRINJHI and CPCx_CPCERRINJLO define which bits you wish to corrupt,
CPCx_CPCERRINJCTL[TERRIEN]=1 enables error insertion.
The test sequence can be as following:
1) CPCx_CPCERRINJLO=00000001 (the LSbit of 64-bit word is going to be inverted);
2) CPCx_CPCERRINJCTL[TERRIEN]=1;
3) to write 0000000000000001 to some location (actually 0000000000000000 will be written due to above steps);
4) to read the location, result should be 0000000000000001 (LSbit is corrected). CPCx_CPCERRCTL register should report a single-bit ECC error.