RVFI - Set proper write mask for mstatus fs when writes to frm

pascalgouedo · Apr 26, 2024 · 90e982e · 90e982e
1 parent 7b9bf59
commit 90e982e
Showing 1 changed file with 4 additions and 1 deletion.
diff --git a/bhv/pipe_freeze_trace.sv b/bhv/pipe_freeze_trace.sv
@@ -369,7 +369,10 @@ function compute_csr_we();
         r_pipe_freeze_trace.csr.fflags_we = 1'b1;
         r_pipe_freeze_trace.csr.mstatus_fs_we = 1'b1;
       end
-      CSR_FRM:       r_pipe_freeze_trace.csr.frm_we = 1'b1;
+      CSR_FRM: begin
+        r_pipe_freeze_trace.csr.frm_we = 1'b1;
+        r_pipe_freeze_trace.csr.mstatus_fs_we = 1'b1;
+      end
       CSR_FCSR: begin
         r_pipe_freeze_trace.csr.fcsr_we = 1'b1;
         r_pipe_freeze_trace.csr.mstatus_fs_we = 1'b1;