Skip to content

Commit c23e295

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 93c8e92 commit c23e295

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
@@ -1583,7 +1583,7 @@ module ibex_core import ibex_pkg::*; #(
15831583

15841584
// Capture read data from LSU when it becomes valid
15851585
always_comb begin
1586-
if (lsu_resp_valid) begin
1586+
if (lsu_rdata_valid) begin
15871587
rvfi_mem_rdata_d = rf_wdata_lsu;
15881588
end else begin
15891589
rvfi_mem_rdata_d = rvfi_mem_rdata_q;

0 commit comments

Comments
 (0)