fixup! Add fence.t (#14)

pulp-platform · Oct 21, 2024 · 99b8bba · 99b8bba
1 parent 8fad130
commit 99b8bba
Show file tree

Hide file tree

Showing 5 changed files with 15 additions and 14 deletions.
diff --git a/core/cache_subsystem/std_nbdcache.sv b/core/cache_subsystem/std_nbdcache.sv
@@ -109,7 +109,7 @@ module std_nbdcache
   cl_be_t                                                                       be_ram;
 
   // Busy signals
-  logic                                                         miss_handler_busy;
+  logic                                                                         miss_handler_busy;
   assign busy_o = |busy | miss_handler_busy;
 
   // ------------------

diff --git a/core/cache_subsystem/wt_cache_subsystem.sv b/core/cache_subsystem/wt_cache_subsystem.sv
@@ -112,11 +112,11 @@ module wt_cache_subsystem
 
 
   logic dcache_adapter_data_req, adapter_dcache_data_ack, adapter_dcache_rtrn_vld;
-  dcache_req_t  dcache_adapter;
+  dcache_req_t dcache_adapter;
   dcache_rtrn_t adapter_dcache;
 
-  logic                       icache_busy;
-  logic                       dcache_busy;
+  logic icache_busy;
+  logic dcache_busy;
 
   assign busy_o = dcache_busy | icache_busy;
 

diff --git a/core/cache_subsystem/wt_dcache.sv b/core/cache_subsystem/wt_dcache.sv
@@ -128,10 +128,10 @@ module wt_dcache
   wbuffer_t [     CVA6Cfg.WtDcacheWbufDepth-1:0]                                  wbuffer_data;
 
   // controllers -> management
-  logic         [              NumPorts-2:0]                          ctrl_busy;
+  logic     [                      NumPorts-2:0]                                  ctrl_busy;
 
   // missunit -> management
-  logic                                                               missunit_busy;
+  logic                                                                           missunit_busy;
 
   assign busy_o = |ctrl_busy | missunit_busy | ~wbuffer_empty_o;
 

diff --git a/core/controller.sv b/core/controller.sv
@@ -303,7 +303,8 @@ module controller
   // ----------------------
   always_comb begin
     // halt the core if the fence is active
-    halt_o = halt_csr_i || halt_acc_i || (CVA6Cfg.DCacheType == config_pkg::WB && fence_active_q) || (fence_t_state_q != IDLE);;
+    halt_o = halt_csr_i || halt_acc_i ||(CVA6Cfg.DCacheType == config_pkg::WB && fence_active_q) ||
+             (fence_t_state_q != IDLE);
   end
 
   // ----------------------

diff --git a/core/csr_regfile.sv b/core/csr_regfile.sv
@@ -150,13 +150,13 @@ module csr_regfile
     // L1 ICache Enable - CACHE
     output logic icache_en_o,
     // L1 DCache Enable - CACHE
-    output logic                                                           dcache_en_o,
+    output logic dcache_en_o,
     // Padding time of fence.t relative to time interrupt - CONTROLLER
-    output logic              [                     31:0]                  fence_t_pad_o,
+    output logic [31:0] fence_t_pad_o,
     // Pad relative to selected source - CONTROLLER
-    output logic                                                           fence_t_src_sel_o,
+    output logic fence_t_src_sel_o,
     // Largest recorded fence.t latency - CONTROLLER
-    input  logic              [                     31:0]                  fence_t_ceil_i,
+    input logic [31:0] fence_t_ceil_i,
     // Accelerator memory consistent mode - ACC_DISPATCHER
     output logic acc_cons_en_o,
     // Performance Counter
@@ -973,9 +973,9 @@ module csr_regfile
       (fence_t_ceil_i > fence_t_ceil_q[31:0]) ? fence_t_ceil_i : fence_t_ceil_q[31:0]
     };
 
-    fiom_d     = fiom_q;
-    dcache_d   = dcache_q;
-    icache_d   = icache_q;
+    fiom_d = fiom_q;
+    dcache_d = dcache_q;
+    icache_d = icache_q;
     acc_cons_d = acc_cons_q;
 
     if (CVA6Cfg.RVH) begin