RVFI - Correction corner case conflict on mstatus_fs upades when inte…

…ger load followed by fpu instr
pascalgouedo · Jun 6, 2024 · 54558a8 · 54558a8
1 parent 7a6961a
commit 54558a8
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/bhv/cv32e40p_rvfi.sv b/bhv/cv32e40p_rvfi.sv
@@ -1640,7 +1640,8 @@ insn_trace_t trace_if, trace_id, trace_ex, trace_ex_next, trace_wb;
           trace_wb.m_rd_wdata[0] = r_pipe_freeze_trace.rf_wdata_wb;
         end
 
-        if (r_pipe_freeze_trace.csr.fregs_we) begin
+        // if (r_pipe_freeze_trace.csr.fregs_we) begin
+        if(r_pipe_freeze_trace.csr.fregs_we && r_pipe_freeze_trace.rf_we_wb && r_pipe_freeze_trace.rf_addr_wb[5]) begin //Catching mstatus updates caused by flw
           `CSR_FROM_PIPE(wb, mstatus_fs)
           trace_wb.m_csr.mstatus_fs_we = 1'b1;
           trace_wb.m_csr.mstatus_fs_wmask = '1;