Skip to content

Commit e37e673

Browse files
vogelpiGregAC
authored andcommitted
[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 033abfc commit e37e673

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

rtl/ibex_core.sv

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1589,7 +1589,7 @@ module ibex_core import ibex_pkg::*; #(
15891589

15901590
// Capture read data from LSU when it becomes valid
15911591
always_comb begin
1592-
if (lsu_resp_valid) begin
1592+
if (lsu_rdata_valid) begin
15931593
rvfi_mem_rdata_d = rf_wdata_lsu;
15941594
end else begin
15951595
rvfi_mem_rdata_d = rvfi_mem_rdata_q;

0 commit comments

Comments
 (0)