Does the AXI peripheral bus have ECC on the data and/or parity on the control lines?
The safety manual states that "The CPU core contains the built-in ECC generation and evaluation logic for its AXI interface." (in reference to the data lines) and "The CPU core contains the built-in parity generation and evaluation logic for its AXI interface." (in reference to the address and control lines). That doesn't distinguish between the AXI master interface used for access to RAM and FLASH vs the AXI peripheral interface used for access to the peripherals, so I would expect it to apply to both. However, the PP_BUS_ECC bit in the Build Options 1 Register register of the Cortex-R5 core (bit 0 of c15, 0, c2, 0) is set to 0, which according to the Cortex-R5 TRM means "bus-ECC not included on peripheral ports". Which one is correct?