Hi Peter,
Thanks for your reply. But I still have some puzzles.
As you said, there are 2 separate DMEM controllers and replicated access path.
Does you mean the Checker Core has write/read access to D-MEM?
While in the description of Safety Manual:
“The Checker Core does not have a direct connection to the XBAR. All of the outputs of Checker Core_0 that target the XBAR (as well as any other non-duplicated resource, like local memories) will end in an RCCU for verification, and all the inputs to Checker Core_0 from the XBAR will be split off from the Main Core_0 XBAR inputs.”

It seems like that the outputs of Checker Core will not connect to any non-duplicated resource (e.g. D-MEM, Cache,XBAR). The outputs from Checker Core are connected to RCCU only and be compared with outputs from Master Core.
Similarly, any input signals from non-duplicated resource, like instruction or data from XBAR or D-MEM, Cache, will not be connected to Checker Core directly. In contrary, input signals are connected to Master core only and these signals are registered. After delaying 2 clocks, these input signals are fed to the Checker Core.
In summary, I am guessing that the Checker Core has no write/read access to any non-duplicated resource.
Please correct me if I was wrong. I need your help.
Furthermore, I didn’t find any RCCU registers. There is no RCCU register to flag the mismatch errors?
Waiting for your reply.
Sincerely,
Alice