RVFI: Gated rf_wdata with address==0 (!220) · Merge requests · OpenHW Group / backup-20241120 / cv32e40x

Eclipse Webmaster requested to merge github/fork/halfdan-dolva/rvfi_bugfix_rd_wdata_gating into master Sep 08, 2021

Created by: halfdan-dolva

Gated rf_wdata with address==0 because x0 is set separately from wdata in rtl (wdata and write enable can be non-zero for x0). The RVFI spec does not allow non-zero wdata for x0.

"rvfi_rd_wdata is the value of the x register addressed by rd after execution of this instruction. This output must be zero when rd is zero."

Signed-off-by: Halfdan Bechmann halfdan.bechmann@silabs.com

RVFI: Gated rf_wdata with address==0

Merge request reports