Merge pull request #936 from YoannPruvost/dev-RVFI-dpc_we

RVFI - Checking csr write address for dpc
openhwgroup · Jan 12, 2024 · 71833e8 · 71833e8
2 parents ca7f156 + 15e7b2f
commit 71833e8
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/bhv/cv32e40p_rvfi.sv b/bhv/cv32e40p_rvfi.sv
@@ -1584,7 +1584,7 @@ insn_trace_t trace_if, trace_id, trace_ex, trace_ex_next, trace_wb;
           `CSR_FROM_PIPE(id, mcause)
           `CSR_FROM_PIPE(id, dscratch0)
           `CSR_FROM_PIPE(id, dscratch1)
-          if(r_pipe_freeze_trace.csr.we) begin
+          if(r_pipe_freeze_trace.csr.we && (r_pipe_freeze_trace.csr.addr == CSR_DPC)) begin
             `CSR_FROM_PIPE(id, dpc)
           end
           ->e_csr_in_ex;