From f4ed1425a3873549ba4a3250e13ba43d048096f2 Mon Sep 17 00:00:00 2001 From: Pirmin Vogel Date: Tue, 4 Apr 2023 22:06:32 +0200 Subject: [PATCH] [rvfi] Only catch LSU RF write data if it's actually valid Previously, the interface was also catching the data returned by stores which may be X. Signed-off-by: Pirmin Vogel --- rtl/ibex_core.sv | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/rtl/ibex_core.sv b/rtl/ibex_core.sv index 67548fdbc2..6d35c06f07 100644 --- a/rtl/ibex_core.sv +++ b/rtl/ibex_core.sv @@ -1643,7 +1643,7 @@ module ibex_core import ibex_pkg::*; #( // Capture read data from LSU when it becomes valid always_comb begin - if (lsu_resp_valid) begin + if (lsu_rdata_valid) begin rvfi_mem_rdata_d = rf_wdata_lsu; end else begin rvfi_mem_rdata_d = rvfi_mem_rdata_q;