id_stage/pmp_entry: Fix formatting (#2705)

Run verible verilog format to fix upstream formatting.
openhwgroup · Jan 15, 2025 · b28545e · b28545e
1 parent a12d511
commit b28545e
Show file tree

Hide file tree

Showing 2 changed files with 34 additions and 34 deletions.
diff --git a/core/id_stage.sv b/core/id_stage.sv
@@ -161,45 +161,45 @@ module id_stage #(
           .x_compressed_req_t(x_compressed_req_t),
           .x_compressed_resp_t(x_compressed_resp_t)
       ) i_cvxif_compressed_if_driver_i (
-          .clk_i             (clk_i),
-          .rst_ni            (rst_ni),
-          .hart_id_i         (hart_id_i),
-          .is_compressed_i   (is_compressed_cvxif),
-          .is_illegal_i      (is_illegal_cvxif),
-          .instruction_i     (instruction_cvxif),
-          .instruction_valid_i (fetch_entry_valid_i),
-          .is_compressed_o   (is_compressed_cmp),
-          .is_illegal_o      (is_illegal_cmp),
-          .instruction_o     (instruction),
-          .stall_i           (stall_macro_deco),
-          .stall_o           (stall_instr_fetch),
-          .compressed_ready_i(compressed_ready_i),
-          .compressed_resp_i (compressed_resp_i),
-          .compressed_valid_o(compressed_valid_o),
-          .compressed_req_o  (compressed_req_o)
+          .clk_i              (clk_i),
+          .rst_ni             (rst_ni),
+          .hart_id_i          (hart_id_i),
+          .is_compressed_i    (is_compressed_cvxif),
+          .is_illegal_i       (is_illegal_cvxif),
+          .instruction_i      (instruction_cvxif),
+          .instruction_valid_i(fetch_entry_valid_i),
+          .is_compressed_o    (is_compressed_cmp),
+          .is_illegal_o       (is_illegal_cmp),
+          .instruction_o      (instruction),
+          .stall_i            (stall_macro_deco),
+          .stall_o            (stall_instr_fetch),
+          .compressed_ready_i (compressed_ready_i),
+          .compressed_resp_i  (compressed_resp_i),
+          .compressed_valid_o (compressed_valid_o),
+          .compressed_req_o   (compressed_req_o)
       );
     end else begin
       cvxif_compressed_if_driver #(
           .CVA6Cfg(CVA6Cfg),
           .x_compressed_req_t(x_compressed_req_t),
           .x_compressed_resp_t(x_compressed_resp_t)
       ) i_cvxif_compressed_if_driver_i (
-          .clk_i             (clk_i),
-          .rst_ni            (rst_ni),
-          .hart_id_i         (hart_id_i),
-          .is_compressed_i   (is_compressed),
-          .is_illegal_i      (is_illegal),
-          .instruction_valid_i (fetch_entry_valid_i),
-          .instruction_i     (compressed_instr),
-          .is_compressed_o   (is_compressed_cmp),
-          .is_illegal_o      (is_illegal_cmp),
-          .instruction_o     (instruction),
-          .stall_i           (1'b0),
-          .stall_o           (stall_instr_fetch),
-          .compressed_ready_i(compressed_ready_i),
-          .compressed_resp_i (compressed_resp_i),
-          .compressed_valid_o(compressed_valid_o),
-          .compressed_req_o  (compressed_req_o)
+          .clk_i              (clk_i),
+          .rst_ni             (rst_ni),
+          .hart_id_i          (hart_id_i),
+          .is_compressed_i    (is_compressed),
+          .is_illegal_i       (is_illegal),
+          .instruction_valid_i(fetch_entry_valid_i),
+          .instruction_i      (compressed_instr),
+          .is_compressed_o    (is_compressed_cmp),
+          .is_illegal_o       (is_illegal_cmp),
+          .instruction_o      (instruction),
+          .stall_i            (1'b0),
+          .stall_o            (stall_instr_fetch),
+          .compressed_ready_i (compressed_ready_i),
+          .compressed_resp_i  (compressed_resp_i),
+          .compressed_valid_o (compressed_valid_o),
+          .compressed_req_o   (compressed_req_o)
       );
       assign is_last_macro_instr_o = '0;
       assign is_double_rd_macro_instr_o = '0;

diff --git a/core/pmp/src/pmp_entry.sv b/core/pmp/src/pmp_entry.sv
@@ -78,8 +78,8 @@ module pmp_entry #(
         assert (size >= 2);
         if (conf_addr_mode_i == riscv::NAPOT) begin
           assert (size > 2);
-          if (size < CVA6Cfg.PLEN-2) assert (conf_addr_i[size-3] == 0);
-          for (int i = 0; i < CVA6Cfg.PLEN-2; i++) begin
+          if (size < CVA6Cfg.PLEN - 2) assert (conf_addr_i[size-3] == 0);
+          for (int i = 0; i < CVA6Cfg.PLEN - 2; i++) begin
             if (size > 3 && i <= size - 4) begin
               assert (conf_addr_i[i] == 1);  // check that all the rest are ones
             end