Remove openhwgroup#894 corrections for formal verification debug.

Signed-off-by: Pascal Gouedo <[email protected]>
pascalgouedo · Nov 24, 2023 · 060962b · 060962b
1 parent 1d0ec8d
commit 060962b
Showing 1 changed file with 2 additions and 4 deletions.
diff --git a/rtl/cv32e40p_ex_stage.sv b/rtl/cv32e40p_ex_stage.sv
@@ -213,9 +213,7 @@ module cv32e40p_ex_stage
       end
     end else begin
       regfile_alu_we_fw_o = regfile_alu_we_i & ~apu_en_i;
-      regfile_alu_we_fw_power_o = !COREV_PULP ? regfile_alu_we_i & ~apu_en_i : 
-                                                regfile_alu_we_i & ~apu_en_i &
-                                                mult_ready & alu_ready & lsu_ready_ex_i;
+      regfile_alu_we_fw_power_o = regfile_alu_we_i & ~apu_en_i;
       regfile_alu_waddr_fw_o = regfile_alu_waddr_i;
       if (alu_en_i) regfile_alu_wdata_fw_o = alu_result;
       if (mult_en_i) regfile_alu_wdata_fw_o = mult_result;
@@ -233,7 +231,7 @@ module cv32e40p_ex_stage
 
     if (regfile_we_lsu) begin
       regfile_we_wb_o       = 1'b1;
-      regfile_we_wb_power_o = !COREV_PULP ? 1'b1 : ~data_misaligned_ex_i & wb_ready_i;
+      regfile_we_wb_power_o = 1'b1;
       if (apu_valid & (!apu_singlecycle & !apu_multicycle)) begin
         wb_contention_lsu = 1'b1;
       end