Skip to content

Commit f4ed142

Browse files
committed
[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 <[email protected]>
1 parent fbd070c commit f4ed142

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

rtl/ibex_core.sv

+1-1
Original file line numberDiff line numberDiff line change
@@ -1643,7 +1643,7 @@ module ibex_core import ibex_pkg::*; #(
16431643

16441644
// Capture read data from LSU when it becomes valid
16451645
always_comb begin
1646-
if (lsu_resp_valid) begin
1646+
if (lsu_rdata_valid) begin
16471647
rvfi_mem_rdata_d = rf_wdata_lsu;
16481648
end else begin
16491649
rvfi_mem_rdata_d = rvfi_mem_rdata_q;

0 commit comments

Comments
 (0)