When I attempt to inject ECC errors in Linux via the PS DDR EDAC driver, an error is not actually triggered.
How do I resolve this?
This occurs because the injection code is not able to correctly convert the AXI address into the correct ECCPOISONADDR0 and ECCPOISONADDR1 registers.
To work around this issue, manually set these registers to correspond to the address which will have an ECC check bit corrupted.
This issue is planned to be fixed in the Linux version associated with Vivado 2018.1.