File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change @@ -103,6 +103,7 @@ module cva6_mmu
103103 output dcache_req_i_t req_port_o,
104104
105105 // PMP
106+
106107 input riscv :: pmpcfg_t [avoid_neg (CVA6Cfg.NrPMPEntries- 1 ): 0 ] pmpcfg_i,
107108 input logic [avoid_neg (CVA6Cfg.NrPMPEntries- 1 ): 0 ][CVA6Cfg.PLEN - 3 : 0 ] pmpaddr_i
108109);
@@ -172,8 +173,6 @@ module cva6_mmu
172173
173174 logic shared_tlb_access, shared_tlb_miss;
174175 logic shared_tlb_hit, itlb_req;
175- // logic shared_tlb_lookup_done;
176-
177176 // Assignments
178177
179178 assign itlb_lu_access = icache_areq_i.fetch_req;
Original file line number Diff line number Diff line change 1818// shared TLB sv32 developed by Sebastien Jacq (Thales Research & Technology)
1919// to be used with sv32, sv39 and sv39x4.
2020
21- /* verilator lint_off WIDTH*/
21+ /* verilator lint_off WIDTH */
22+
2223module cva6_shared_tlb # (
2324 parameter config_pkg :: cva6_cfg_t CVA6Cfg = config_pkg :: cva6_cfg_empty,
2425 parameter type pte_cva6_t = logic ,
@@ -97,6 +98,7 @@ module cva6_shared_tlb #(
9798 logic [HYP_EXT * 2 : 0 ] v_st_enbl; // v_i,g-stage enabled, s-stage enabled
9899 logic is_napot_64k; // Svnapot: Flag indicating a 64KiB NAPOT page
99100 } shared_tag_t ;
101+
100102 shared_tag_t shared_tag_wr;
101103 shared_tag_t [SHARED_TLB_WAYS - 1 : 0 ] shared_tag_rd;
102104
@@ -468,6 +470,7 @@ module cva6_shared_tlb #(
468470 // ------------------
469471 // Update and Flush
470472 // ------------------
473+
471474 logic [CVA6Cfg.VpnLen- 1 : 0 ] vpn_to_store;
472475 logic [$clog2 (CVA6Cfg.SharedTlbDepth)- 1 : 0 ] vpn_index;
473476 // flushing signals
@@ -833,3 +836,5 @@ module cva6_shared_tlb #(
833836 end
834837 end
835838endmodule
839+
840+ /* verilator lint_on WIDTH */
You can’t perform that action at this time.
0 commit comments