16d5ddbceSLemover/*************************************************************************************** 26d5ddbceSLemover* Copyright (c) 2020-2021 Institute of Computing Technology, Chinese Academy of Sciences 3f320e0f0SYinan Xu* Copyright (c) 2020-2021 Peng Cheng Laboratory 46d5ddbceSLemover* 56d5ddbceSLemover* XiangShan is licensed under Mulan PSL v2. 66d5ddbceSLemover* You can use this software according to the terms and conditions of the Mulan PSL v2. 76d5ddbceSLemover* You may obtain a copy of Mulan PSL v2 at: 86d5ddbceSLemover* http://license.coscl.org.cn/MulanPSL2 96d5ddbceSLemover* 106d5ddbceSLemover* THIS SOFTWARE IS PROVIDED ON AN "AS IS" BASIS, WITHOUT WARRANTIES OF ANY KIND, 116d5ddbceSLemover* EITHER EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO NON-INFRINGEMENT, 126d5ddbceSLemover* MERCHANTABILITY OR FIT FOR A PARTICULAR PURPOSE. 136d5ddbceSLemover* 146d5ddbceSLemover* See the Mulan PSL v2 for more details. 156d5ddbceSLemover***************************************************************************************/ 166d5ddbceSLemover 176d5ddbceSLemoverpackage xiangshan.cache.mmu 186d5ddbceSLemover 198891a219SYinan Xuimport org.chipsalliance.cde.config.Parameters 206d5ddbceSLemoverimport chisel3._ 216d5ddbceSLemoverimport chisel3.util._ 226d5ddbceSLemoverimport xiangshan._ 236d5ddbceSLemoverimport xiangshan.cache.{HasDCacheParameters, MemoryOpConstants} 246d5ddbceSLemoverimport utils._ 253c02ee8fSwakafaimport utility._ 266d5ddbceSLemoverimport freechips.rocketchip.diplomacy.{LazyModule, LazyModuleImp} 276d5ddbceSLemoverimport freechips.rocketchip.tilelink._ 28b6982e83SLemoverimport xiangshan.backend.fu.{PMPReqBundle, PMPRespBundle} 296d5ddbceSLemover 3092e3bfefSLemover/** Page Table Walk is divided into two parts 3192e3bfefSLemover * One, PTW: page walk for pde, except for leaf entries, one by one 3292e3bfefSLemover * Two, LLPTW: page walk for pte, only the leaf entries(4KB), in parallel 336d5ddbceSLemover */ 3492e3bfefSLemover 3592e3bfefSLemover 3692e3bfefSLemover/** PTW : page table walker 3792e3bfefSLemover * a finite state machine 3892e3bfefSLemover * only take 1GB and 2MB page walks 3992e3bfefSLemover * or in other words, except the last level(leaf) 4092e3bfefSLemover **/ 4192e3bfefSLemoverclass PTWIO()(implicit p: Parameters) extends MMUIOBaseBundle with HasPtwConst { 426d5ddbceSLemover val req = Flipped(DecoupledIO(new Bundle { 4345f497a4Shappy-lx val req_info = new L2TlbInnerBundle() 446d5ddbceSLemover val l1Hit = Bool() 456d5ddbceSLemover val ppn = UInt(ppnLen.W) 466d5ddbceSLemover })) 476d5ddbceSLemover val resp = DecoupledIO(new Bundle { 48bc063562SLemover val source = UInt(bSourceWidth.W) 49*eb4bf3f2Speixiaokun val s2xlate = UInt(2.W) 5063632028SHaoyuan Feng val resp = new PtwMergeResp 51d0de7e4aSpeixiaokun val h_resp = new HptwResp 526d5ddbceSLemover }) 536d5ddbceSLemover 5492e3bfefSLemover val llptw = DecoupledIO(new LLPTWInBundle()) 559c503409SLemover // NOTE: llptw change from "connect to llptw" to "connect to page cache" 569c503409SLemover // to avoid corner case that caused duplicate entries 57cc5a5f22SLemover 58d0de7e4aSpeixiaokun val hptw = new Bundle { 59d0de7e4aSpeixiaokun val req = DecoupledIO(new Bundle { 60*eb4bf3f2Speixiaokun val source = UInt(bSourceWidth.W) 61d0de7e4aSpeixiaokun val id = UInt(log2Up(l2tlbParams.llptwsize).W) 6282978df9Speixiaokun val gvpn = UInt(vpnLen.W) 63d0de7e4aSpeixiaokun }) 64d0de7e4aSpeixiaokun val resp = Flipped(Valid(new Bundle { 65d0de7e4aSpeixiaokun val h_resp = Output(new HptwResp) 66d0de7e4aSpeixiaokun })) 67d0de7e4aSpeixiaokun } 686d5ddbceSLemover val mem = new Bundle { 69b848eea5SLemover val req = DecoupledIO(new L2TlbMemReqBundle()) 705854c1edSLemover val resp = Flipped(ValidIO(UInt(XLEN.W))) 71cc5a5f22SLemover val mask = Input(Bool()) 726d5ddbceSLemover } 73b6982e83SLemover val pmp = new Bundle { 74b6982e83SLemover val req = ValidIO(new PMPReqBundle()) 75b6982e83SLemover val resp = Flipped(new PMPRespBundle()) 76b6982e83SLemover } 776d5ddbceSLemover 786d5ddbceSLemover val refill = Output(new Bundle { 7945f497a4Shappy-lx val req_info = new L2TlbInnerBundle() 806d5ddbceSLemover val level = UInt(log2Up(Level).W) 816d5ddbceSLemover }) 826d5ddbceSLemover} 836d5ddbceSLemover 8492e3bfefSLemoverclass PTW()(implicit p: Parameters) extends XSModule with HasPtwConst with HasPerfEvents { 8592e3bfefSLemover val io = IO(new PTWIO) 866d5ddbceSLemover val sfence = io.sfence 876d5ddbceSLemover val mem = io.mem 88d0de7e4aSpeixiaokun val req_s2xlate = Reg(UInt(2.W)) 8950c7aa78Speixiaokun val enableS2xlate = io.req.bits.req_info.s2xlate =/= noS2xlate 9050c7aa78Speixiaokun val onlyS1xlate = io.req.bits.req_info.s2xlate === onlyStage1 9150c7aa78Speixiaokun val onlyS2xlate = io.req.bits.req_info.s2xlate === onlyStage2 92d0de7e4aSpeixiaokun 93d0de7e4aSpeixiaokun val satp = Mux(enableS2xlate, io.csr.vsatp, io.csr.satp) 94d0de7e4aSpeixiaokun val hgatp = io.csr.hgatp 95d0de7e4aSpeixiaokun val flush = io.sfence.valid || satp.changed 96d0de7e4aSpeixiaokun val s2xlate = enableS2xlate && !onlyS1xlate 976d5ddbceSLemover val level = RegInit(0.U(log2Up(Level).W)) 98b6982e83SLemover val af_level = RegInit(0.U(log2Up(Level).W)) // access fault return this level 996d5ddbceSLemover val ppn = Reg(UInt(ppnLen.W)) 10082978df9Speixiaokun val vpn = Reg(UInt(vpnLen.W)) // vpn or gvpn 1016d5ddbceSLemover val levelNext = level + 1.U 1026d5ddbceSLemover val l1Hit = Reg(Bool()) 103d0de7e4aSpeixiaokun val pte = mem.resp.bits.asTypeOf(new PteBundle().cloneType) 1046d5ddbceSLemover 10544b79566SXiaokun-Pei // s/w register 10644b79566SXiaokun-Pei val s_pmp_check = RegInit(true.B) 10744b79566SXiaokun-Pei val s_mem_req = RegInit(true.B) 10844b79566SXiaokun-Pei val s_llptw_req = RegInit(true.B) 10944b79566SXiaokun-Pei val w_mem_resp = RegInit(true.B) 110d0de7e4aSpeixiaokun val s_hptw_req = RegInit(true.B) 111d0de7e4aSpeixiaokun val w_hptw_resp = RegInit(true.B) 112d0de7e4aSpeixiaokun val s_last_hptw_req = RegInit(true.B) 113d0de7e4aSpeixiaokun val w_last_hptw_resp = RegInit(true.B) 11444b79566SXiaokun-Pei // for updating "level" 11544b79566SXiaokun-Pei val mem_addr_update = RegInit(false.B) 11644b79566SXiaokun-Pei 11744b79566SXiaokun-Pei val idle = RegInit(true.B) 1182a906a65SHaoyuan Feng val finish = WireInit(false.B) 1192a906a65SHaoyuan Feng val sent_to_pmp = idle === false.B && (s_pmp_check === false.B || mem_addr_update) && !finish 12044b79566SXiaokun-Pei 121d0de7e4aSpeixiaokun val pageFault = pte.isPf(level) 12244b79566SXiaokun-Pei val accessFault = RegEnable(io.pmp.resp.ld || io.pmp.resp.mmio, sent_to_pmp) 1236d5ddbceSLemover 124d0de7e4aSpeixiaokun val hptw_pageFault = RegInit(false.B) 125d0de7e4aSpeixiaokun val hptw_accessFault = RegInit(false.B) 126d0de7e4aSpeixiaokun val last_s2xlate = RegInit(false.B) 127d0de7e4aSpeixiaokun 128d0de7e4aSpeixiaokun val ppn_af = pte.isAf() 129d0de7e4aSpeixiaokun val find_pte = pte.isLeaf() || ppn_af || pageFault 13044b79566SXiaokun-Pei val to_find_pte = level === 1.U && find_pte === false.B 131935edac4STang Haojin val source = RegEnable(io.req.bits.req_info.source, io.req.fire) 1326d5ddbceSLemover 1336d5ddbceSLemover val l1addr = MakeAddr(satp.ppn, getVpnn(vpn, 2)) 134d0de7e4aSpeixiaokun val l2addr = MakeAddr(Mux(l1Hit, ppn, pte.ppn), getVpnn(vpn, 1)) 135b6982e83SLemover val mem_addr = Mux(af_level === 0.U, l1addr, l2addr) 13644b79566SXiaokun-Pei 137d0de7e4aSpeixiaokun val hptw_resp = io.hptw.resp.bits.h_resp 13882978df9Speixiaokun val gpaddr = Mux(onlyS2xlate, Cat(vpn, 0.U(offLen.W)), mem_addr) 139d0de7e4aSpeixiaokun val hpaddr = Cat(hptw_resp.entry.ppn, 0.U(offLen.W)) 140d0de7e4aSpeixiaokun 14144b79566SXiaokun-Pei io.req.ready := idle 14244b79566SXiaokun-Pei 143d0de7e4aSpeixiaokun io.resp.valid := idle === false.B && mem_addr_update && !last_s2xlate && ((w_mem_resp && find_pte) || (s_pmp_check && accessFault) || onlyS2xlate) 14444b79566SXiaokun-Pei io.resp.bits.source := source 145d0de7e4aSpeixiaokun io.resp.bits.resp.apply(pageFault && !accessFault && !ppn_af, accessFault || ppn_af, Mux(accessFault, af_level,level), pte, vpn, satp.asid, hgatp.asid, vpn(sectortlbwidth - 1, 0), not_super = false) 146d0de7e4aSpeixiaokun io.resp.bits.h_resp := io.hptw.resp.bits.h_resp 147d0de7e4aSpeixiaokun io.resp.bits.s2xlate := s2xlate 14844b79566SXiaokun-Pei 14944b79566SXiaokun-Pei io.llptw.valid := s_llptw_req === false.B && to_find_pte && !accessFault 15044b79566SXiaokun-Pei io.llptw.bits.req_info.source := source 15144b79566SXiaokun-Pei io.llptw.bits.req_info.vpn := vpn 15282978df9Speixiaokun io.llptw.bits.req_info.s2xlate := req_s2xlate 153*eb4bf3f2Speixiaokun io.llptw.bits.ppn := DontCare 15444b79566SXiaokun-Pei 155b6982e83SLemover io.pmp.req.valid := DontCare // samecycle, do not use valid 156d0de7e4aSpeixiaokun io.pmp.req.bits.addr := Mux(s2xlate, hpaddr, mem_addr) 157b6982e83SLemover io.pmp.req.bits.size := 3.U // TODO: fix it 158b6982e83SLemover io.pmp.req.bits.cmd := TlbCmd.read 159b6982e83SLemover 16044b79566SXiaokun-Pei mem.req.valid := s_mem_req === false.B && !mem.mask && !accessFault && s_pmp_check 161d0de7e4aSpeixiaokun mem.req.bits.addr := Mux(s2xlate, hpaddr, mem_addr) 162bc063562SLemover mem.req.bits.id := FsmReqID.U(bMemID.W) 1636d5ddbceSLemover 164*eb4bf3f2Speixiaokun io.refill.req_info.s2xlate := req_s2xlate 16545f497a4Shappy-lx io.refill.req_info.vpn := vpn 1666d5ddbceSLemover io.refill.level := level 16745f497a4Shappy-lx io.refill.req_info.source := source 1686d5ddbceSLemover 169d0de7e4aSpeixiaokun io.hptw.req.valid := !s_hptw_req || !s_last_hptw_req 170d0de7e4aSpeixiaokun io.hptw.req.bits.id := FsmReqID.U(bMemID.W) 17182978df9Speixiaokun io.hptw.req.bits.gvpn := get_pn(gpaddr) 172*eb4bf3f2Speixiaokun io.hptw.req.bits.source := source 173d0de7e4aSpeixiaokun 174d0de7e4aSpeixiaokun io.hptw.req.valid := !s_hptw_req || !s_last_hptw_req 175d0de7e4aSpeixiaokun io.hptw.req.bits.id := FsmReqID.U(bMemID.W) 176d0de7e4aSpeixiaokun io.hptw.req.bits.gvpn := gvpn 177d0de7e4aSpeixiaokun 178935edac4STang Haojin when (io.req.fire){ 17944b79566SXiaokun-Pei val req = io.req.bits 18044b79566SXiaokun-Pei level := Mux(req.l1Hit, 1.U, 0.U) 18144b79566SXiaokun-Pei af_level := Mux(req.l1Hit, 1.U, 0.U) 18244b79566SXiaokun-Pei ppn := Mux(req.l1Hit, io.req.bits.ppn, satp.ppn) 18344b79566SXiaokun-Pei vpn := io.req.bits.req_info.vpn 18444b79566SXiaokun-Pei l1Hit := req.l1Hit 18544b79566SXiaokun-Pei accessFault := false.B 18644b79566SXiaokun-Pei s_pmp_check := false.B 18744b79566SXiaokun-Pei idle := false.B 188d0de7e4aSpeixiaokun hptw_pageFault := false.B 18950c7aa78Speixiaokun req_s2xlate := io.req.bits.req_info.s2xlate 19082978df9Speixiaokun when(io.req.bits.req_info.s2xlate =/= noS2xlate && io.req.bits.req_info.s2xlate =/= onlyStage1){ 191d0de7e4aSpeixiaokun last_s2xlate := true.B 192d0de7e4aSpeixiaokun s_hptw_req := false.B 193d0de7e4aSpeixiaokun }.otherwise { 194d0de7e4aSpeixiaokun s_pmp_check := false.B 195d0de7e4aSpeixiaokun } 196d0de7e4aSpeixiaokun } 197d0de7e4aSpeixiaokun 198d0de7e4aSpeixiaokun when(io.hptw.req.fire() && s_hptw_req === false.B){ 199d0de7e4aSpeixiaokun s_hptw_req := true.B 200d0de7e4aSpeixiaokun w_hptw_resp := false.B 201d0de7e4aSpeixiaokun } 202d0de7e4aSpeixiaokun 203d0de7e4aSpeixiaokun when(io.hptw.resp.fire() && w_hptw_resp === false.B) { 204d0de7e4aSpeixiaokun hptw_pageFault := io.hptw.resp.bits.h_resp.gpf 205d0de7e4aSpeixiaokun hptw_accessFault := io.hptw.resp.bits.h_resp.gaf 206d0de7e4aSpeixiaokun w_hptw_resp := true.B 207d0de7e4aSpeixiaokun when(onlyS2xlate){ 208d0de7e4aSpeixiaokun mem_addr_update := true.B 209d0de7e4aSpeixiaokun last_s2xlate := false.B 210d0de7e4aSpeixiaokun }.otherwise { 211d0de7e4aSpeixiaokun s_pmp_check := false.B 212d0de7e4aSpeixiaokun } 213d0de7e4aSpeixiaokun } 214d0de7e4aSpeixiaokun 215d0de7e4aSpeixiaokun when(io.hptw.req.fire() && s_last_hptw_req === false.B) { 216d0de7e4aSpeixiaokun w_last_hptw_resp := false.B 217d0de7e4aSpeixiaokun s_last_hptw_req := true.B 218d0de7e4aSpeixiaokun } 219d0de7e4aSpeixiaokun 220d0de7e4aSpeixiaokun when(io.hptw.resp.fire() && w_last_hptw_resp === false.B){ 221d0de7e4aSpeixiaokun hptw_pageFault := io.hptw.resp.bits.h_resp.gpf 222d0de7e4aSpeixiaokun hptw_accessFault := io.hptw.resp.bits.h_resp.gaf 223d0de7e4aSpeixiaokun w_last_hptw_resp := true.B 224d0de7e4aSpeixiaokun mem_addr_update := true.B 225d0de7e4aSpeixiaokun last_s2xlate := false.B 22644b79566SXiaokun-Pei } 22744b79566SXiaokun-Pei 22844b79566SXiaokun-Pei when(sent_to_pmp && mem_addr_update === false.B){ 22944b79566SXiaokun-Pei s_mem_req := false.B 23044b79566SXiaokun-Pei s_pmp_check := true.B 23144b79566SXiaokun-Pei } 23244b79566SXiaokun-Pei 23344b79566SXiaokun-Pei when(accessFault && idle === false.B){ 23444b79566SXiaokun-Pei s_pmp_check := true.B 23544b79566SXiaokun-Pei s_mem_req := true.B 23644b79566SXiaokun-Pei w_mem_resp := true.B 23744b79566SXiaokun-Pei s_llptw_req := true.B 238d0de7e4aSpeixiaokun s_hptw_req := true.B 239d0de7e4aSpeixiaokun w_hptw_resp := true.B 240d0de7e4aSpeixiaokun s_last_hptw_req := true.B 241d0de7e4aSpeixiaokun w_last_hptw_resp := true.B 24244b79566SXiaokun-Pei mem_addr_update := true.B 243d0de7e4aSpeixiaokun last_s2xlate := false.B 24444b79566SXiaokun-Pei } 24544b79566SXiaokun-Pei 246935edac4STang Haojin when (mem.req.fire){ 24744b79566SXiaokun-Pei s_mem_req := true.B 24844b79566SXiaokun-Pei w_mem_resp := false.B 24944b79566SXiaokun-Pei } 25044b79566SXiaokun-Pei 251935edac4STang Haojin when(mem.resp.fire && w_mem_resp === false.B){ 25244b79566SXiaokun-Pei w_mem_resp := true.B 25344b79566SXiaokun-Pei af_level := af_level + 1.U 25444b79566SXiaokun-Pei s_llptw_req := false.B 25544b79566SXiaokun-Pei mem_addr_update := true.B 25644b79566SXiaokun-Pei } 25744b79566SXiaokun-Pei 25844b79566SXiaokun-Pei when(mem_addr_update){ 25944b79566SXiaokun-Pei when(level === 0.U && !(find_pte || accessFault)){ 26044b79566SXiaokun-Pei level := levelNext 261d0de7e4aSpeixiaokun when(s2xlate){ 262d0de7e4aSpeixiaokun s_hptw_req := false.B 263d0de7e4aSpeixiaokun }.otherwise{ 26444b79566SXiaokun-Pei s_mem_req := false.B 265d0de7e4aSpeixiaokun } 26644b79566SXiaokun-Pei s_llptw_req := true.B 26744b79566SXiaokun-Pei mem_addr_update := false.B 2682a906a65SHaoyuan Feng }.elsewhen(io.llptw.valid){ 269935edac4STang Haojin when(io.llptw.fire) { 27044b79566SXiaokun-Pei idle := true.B 27144b79566SXiaokun-Pei s_llptw_req := true.B 27244b79566SXiaokun-Pei mem_addr_update := false.B 273d0de7e4aSpeixiaokun last_s2xlate := false.B 2742a906a65SHaoyuan Feng } 2752a906a65SHaoyuan Feng finish := true.B 276d0de7e4aSpeixiaokun }.elsewhen(s2xlate && last_s2xlate === true.B) { 277d0de7e4aSpeixiaokun s_last_hptw_req := false.B 278d0de7e4aSpeixiaokun mem_addr_update := false.B 2792a906a65SHaoyuan Feng }.elsewhen(io.resp.valid){ 280935edac4STang Haojin when(io.resp.fire) { 28144b79566SXiaokun-Pei idle := true.B 28244b79566SXiaokun-Pei s_llptw_req := true.B 28344b79566SXiaokun-Pei mem_addr_update := false.B 28444b79566SXiaokun-Pei accessFault := false.B 28544b79566SXiaokun-Pei } 2862a906a65SHaoyuan Feng finish := true.B 2872a906a65SHaoyuan Feng } 28844b79566SXiaokun-Pei } 28944b79566SXiaokun-Pei 29044b79566SXiaokun-Pei 29144b79566SXiaokun-Pei when (sfence.valid) { 29244b79566SXiaokun-Pei idle := true.B 29344b79566SXiaokun-Pei s_pmp_check := true.B 29444b79566SXiaokun-Pei s_mem_req := true.B 29544b79566SXiaokun-Pei s_llptw_req := true.B 29644b79566SXiaokun-Pei w_mem_resp := true.B 29744b79566SXiaokun-Pei accessFault := false.B 298d826bce1SHaoyuan Feng mem_addr_update := false.B 299d0de7e4aSpeixiaokun s_hptw_req := true.B 300d0de7e4aSpeixiaokun w_hptw_resp := true.B 301d0de7e4aSpeixiaokun s_last_hptw_req := true.B 302d0de7e4aSpeixiaokun w_last_hptw_resp := true.B 30344b79566SXiaokun-Pei } 30444b79566SXiaokun-Pei 30544b79566SXiaokun-Pei 30644b79566SXiaokun-Pei XSDebug(p"[ptw] level:${level} notFound:${pageFault}\n") 3076d5ddbceSLemover 3086d5ddbceSLemover // perf 309935edac4STang Haojin XSPerfAccumulate("fsm_count", io.req.fire) 3106d5ddbceSLemover for (i <- 0 until PtwWidth) { 311935edac4STang Haojin XSPerfAccumulate(s"fsm_count_source${i}", io.req.fire && io.req.bits.req_info.source === i.U) 3126d5ddbceSLemover } 31344b79566SXiaokun-Pei XSPerfAccumulate("fsm_busy", !idle) 31444b79566SXiaokun-Pei XSPerfAccumulate("fsm_idle", idle) 3156d5ddbceSLemover XSPerfAccumulate("resp_blocked", io.resp.valid && !io.resp.ready) 316dd7fe201SHaoyuan Feng XSPerfAccumulate("ptw_ppn_af", io.resp.fire && ppn_af) 317935edac4STang Haojin XSPerfAccumulate("mem_count", mem.req.fire) 318935edac4STang Haojin XSPerfAccumulate("mem_cycle", BoolStopWatch(mem.req.fire, mem.resp.fire, true)) 3196d5ddbceSLemover XSPerfAccumulate("mem_blocked", mem.req.valid && !mem.req.ready) 320cc5a5f22SLemover 32144b79566SXiaokun-Pei TimeOutAssert(!idle, timeOutThreshold, "page table walker time out") 322cd365d4cSrvcoresjw 323cd365d4cSrvcoresjw val perfEvents = Seq( 324935edac4STang Haojin ("fsm_count ", io.req.fire ), 32544b79566SXiaokun-Pei ("fsm_busy ", !idle ), 32644b79566SXiaokun-Pei ("fsm_idle ", idle ), 327cd365d4cSrvcoresjw ("resp_blocked ", io.resp.valid && !io.resp.ready ), 328935edac4STang Haojin ("mem_count ", mem.req.fire ), 329935edac4STang Haojin ("mem_cycle ", BoolStopWatch(mem.req.fire, mem.resp.fire, true)), 330cd365d4cSrvcoresjw ("mem_blocked ", mem.req.valid && !mem.req.ready ), 331cd365d4cSrvcoresjw ) 3321ca0e4f3SYinan Xu generatePerfEvent() 3336d5ddbceSLemover} 33492e3bfefSLemover 33592e3bfefSLemover/*========================= LLPTW ==============================*/ 33692e3bfefSLemover 33792e3bfefSLemover/** LLPTW : Last Level Page Table Walker 33892e3bfefSLemover * the page walker that only takes 4KB(last level) page walk. 33992e3bfefSLemover **/ 34092e3bfefSLemover 34192e3bfefSLemoverclass LLPTWInBundle(implicit p: Parameters) extends XSBundle with HasPtwConst { 34292e3bfefSLemover val req_info = Output(new L2TlbInnerBundle()) 343d61cd5eeSpeixiaokun val ppn = Output(if(HasHExtension) UInt((vpnLen.max(ppnLen)).W) else UInt(ppnLen.W)) 34492e3bfefSLemover} 34592e3bfefSLemover 34692e3bfefSLemoverclass LLPTWIO(implicit p: Parameters) extends MMUIOBaseBundle with HasPtwConst { 34792e3bfefSLemover val in = Flipped(DecoupledIO(new LLPTWInBundle())) 34892e3bfefSLemover val out = DecoupledIO(new Bundle { 34992e3bfefSLemover val req_info = Output(new L2TlbInnerBundle()) 35092e3bfefSLemover val id = Output(UInt(bMemID.W)) 351d0de7e4aSpeixiaokun val h_resp = Output(new HptwResp) 35292e3bfefSLemover val af = Output(Bool()) 35392e3bfefSLemover }) 35492e3bfefSLemover val mem = new Bundle { 35592e3bfefSLemover val req = DecoupledIO(new L2TlbMemReqBundle()) 35692e3bfefSLemover val resp = Flipped(Valid(new Bundle { 35792e3bfefSLemover val id = Output(UInt(log2Up(l2tlbParams.llptwsize).W)) 35892e3bfefSLemover })) 35992e3bfefSLemover val enq_ptr = Output(UInt(log2Ceil(l2tlbParams.llptwsize).W)) 36092e3bfefSLemover val buffer_it = Output(Vec(l2tlbParams.llptwsize, Bool())) 36192e3bfefSLemover val refill = Output(new L2TlbInnerBundle()) 36292e3bfefSLemover val req_mask = Input(Vec(l2tlbParams.llptwsize, Bool())) 36392e3bfefSLemover } 3647797f035SbugGenerator val cache = DecoupledIO(new L2TlbInnerBundle()) 36592e3bfefSLemover val pmp = new Bundle { 36692e3bfefSLemover val req = Valid(new PMPReqBundle()) 36792e3bfefSLemover val resp = Flipped(new PMPRespBundle()) 36892e3bfefSLemover } 369d0de7e4aSpeixiaokun val hptw = new Bundle { 370d0de7e4aSpeixiaokun val req = DecoupledIO(new Bundle{ 371*eb4bf3f2Speixiaokun val source = UInt(bSourceWidth.W) 372d0de7e4aSpeixiaokun val id = UInt(log2Up(l2tlbParams.llptwsize).W) 37382978df9Speixiaokun val gvpn = UInt(vpnLen.W) 374d0de7e4aSpeixiaokun }) 375d0de7e4aSpeixiaokun val resp = Flipped(Valid(new Bundle { 376d0de7e4aSpeixiaokun val id = Output(UInt(log2Up(l2tlbParams.llptwsize).W)) 377d0de7e4aSpeixiaokun val h_resp = Output(new HptwResp) 378d0de7e4aSpeixiaokun })) 379d0de7e4aSpeixiaokun } 38092e3bfefSLemover} 38192e3bfefSLemover 38292e3bfefSLemoverclass LLPTWEntry(implicit p: Parameters) extends XSBundle with HasPtwConst { 38392e3bfefSLemover val req_info = new L2TlbInnerBundle() 384d0de7e4aSpeixiaokun val s2xlate = Bool() 38592e3bfefSLemover val ppn = UInt(ppnLen.W) 38692e3bfefSLemover val wait_id = UInt(log2Up(l2tlbParams.llptwsize).W) 38792e3bfefSLemover val af = Bool() 388d0de7e4aSpeixiaokun val gaf = Bool() 389d0de7e4aSpeixiaokun val gpf = Bool() 39092e3bfefSLemover} 39192e3bfefSLemover 39292e3bfefSLemover 39392e3bfefSLemoverclass LLPTW(implicit p: Parameters) extends XSModule with HasPtwConst with HasPerfEvents { 39492e3bfefSLemover val io = IO(new LLPTWIO()) 39582978df9Speixiaokun val enableS2xlate = io.in.bits.req_info.s2xlate =/= noS2xlate 396d0de7e4aSpeixiaokun val satp = Mux(enableS2xlate, io.csr.vsatp, io.csr.satp) 39792e3bfefSLemover 398d0de7e4aSpeixiaokun val flush = io.sfence.valid || satp.changed 39992e3bfefSLemover val entries = Reg(Vec(l2tlbParams.llptwsize, new LLPTWEntry())) 400d0de7e4aSpeixiaokun val state_idle :: state_hptw_req :: state_hptw_resp :: state_addr_check :: state_mem_req :: state_mem_waiting :: state_mem_out :: state_last_hptw_req :: state_last_hptw_resp :: state_cache :: Nil = Enum(10) 40192e3bfefSLemover val state = RegInit(VecInit(Seq.fill(l2tlbParams.llptwsize)(state_idle))) 4027797f035SbugGenerator 40392e3bfefSLemover val is_emptys = state.map(_ === state_idle) 40492e3bfefSLemover val is_mems = state.map(_ === state_mem_req) 40592e3bfefSLemover val is_waiting = state.map(_ === state_mem_waiting) 40692e3bfefSLemover val is_having = state.map(_ === state_mem_out) 4077797f035SbugGenerator val is_cache = state.map(_ === state_cache) 408d0de7e4aSpeixiaokun val is_hptw_req = state.map(_ === state_hptw_req) 409d0de7e4aSpeixiaokun val is_last_hptw_req = state.map(_ === state_last_hptw_req) 41092e3bfefSLemover 411935edac4STang Haojin val full = !ParallelOR(is_emptys).asBool 41292e3bfefSLemover val enq_ptr = ParallelPriorityEncoder(is_emptys) 41392e3bfefSLemover 4147797f035SbugGenerator val mem_ptr = ParallelPriorityEncoder(is_having) // TODO: optimize timing, bad: entries -> ptr -> entry 41592e3bfefSLemover val mem_arb = Module(new RRArbiter(new LLPTWEntry(), l2tlbParams.llptwsize)) 41692e3bfefSLemover for (i <- 0 until l2tlbParams.llptwsize) { 41792e3bfefSLemover mem_arb.io.in(i).bits := entries(i) 41892e3bfefSLemover mem_arb.io.in(i).valid := is_mems(i) && !io.mem.req_mask(i) 41992e3bfefSLemover } 420d0de7e4aSpeixiaokun val hyper_arb1 = Module(new RRArbiter(new LLPTWEntry(), l2tlbParams.llptwsize)) 421d0de7e4aSpeixiaokun for (i <- 0 until l2tlbParams.llptwsize) { 422d0de7e4aSpeixiaokun hyper_arb1.io.in(i).bits := entries(i) 423d0de7e4aSpeixiaokun hyper_arb1.io.in(i).valid := is_hptw_req(i) 424d0de7e4aSpeixiaokun } 425d0de7e4aSpeixiaokun val hyper_arb2 = Module(new RRArbiter(new LLPTWEntry(), l2tlbParams.llptwsize)) 426d0de7e4aSpeixiaokun for(i <- 0 until l2tlbParams.llptwsize) { 427d0de7e4aSpeixiaokun hyper_arb2.io.in(i).bits := entries(i) 428d0de7e4aSpeixiaokun hyper_arb2.io.in(i).valid := is_last_hptw_req(i) 429d0de7e4aSpeixiaokun } 43092e3bfefSLemover 431f3034303SHaoyuan Feng val cache_ptr = ParallelMux(is_cache, (0 until l2tlbParams.llptwsize).map(_.U(log2Up(l2tlbParams.llptwsize).W))) 4327797f035SbugGenerator 43392e3bfefSLemover // duplicate req 43492e3bfefSLemover // to_wait: wait for the last to access mem, set to mem_resp 43592e3bfefSLemover // to_cache: the last is back just right now, set to mem_cache 43692e3bfefSLemover val dup_vec = state.indices.map(i => 437cca17e78Speixiaokun dup(io.in.bits.req_info.vpn, entries(i).req_info.vpn) && io.in.bits.req_info.s2xlate === entries(i).req_info.s2xlate 43892e3bfefSLemover ) 439cca17e78Speixiaokun val dup_req_fire = mem_arb.io.out.fire && dup(io.in.bits.req_info.vpn, mem_arb.io.out.bits.req_info.vpn) && io.in.bits.req_info.s2xlate === mem_arb.io.out.bits.req_info.s2xlate // dup with the req fire entry 44092e3bfefSLemover val dup_vec_wait = dup_vec.zip(is_waiting).map{case (d, w) => d && w} // dup with "mem_waiting" entres, sending mem req already 44192e3bfefSLemover val dup_vec_having = dup_vec.zipWithIndex.map{case (d, i) => d && is_having(i)} // dup with the "mem_out" entry recv the data just now 44292e3bfefSLemover val wait_id = Mux(dup_req_fire, mem_arb.io.chosen, ParallelMux(dup_vec_wait zip entries.map(_.wait_id))) 443935edac4STang Haojin val dup_wait_resp = io.mem.resp.fire && VecInit(dup_vec_wait)(io.mem.resp.bits.id) // dup with the entry that data coming next cycle 44492e3bfefSLemover val to_wait = Cat(dup_vec_wait).orR || dup_req_fire 44592e3bfefSLemover val to_mem_out = dup_wait_resp 4467797f035SbugGenerator val to_cache = Cat(dup_vec_having).orR 4477797f035SbugGenerator XSError(RegNext(dup_req_fire && Cat(dup_vec_wait).orR, init = false.B), "mem req but some entries already waiting, should not happed") 44892e3bfefSLemover 449935edac4STang Haojin XSError(io.in.fire && ((to_mem_out && to_cache) || (to_wait && to_cache)), "llptw enq, to cache conflict with to mem") 45092e3bfefSLemover val mem_resp_hit = RegInit(VecInit(Seq.fill(l2tlbParams.llptwsize)(false.B))) 4517797f035SbugGenerator val enq_state_normal = Mux(to_mem_out, state_mem_out, // same to the blew, but the mem resp now 4527797f035SbugGenerator Mux(to_wait, state_mem_waiting, 4537797f035SbugGenerator Mux(to_cache, state_cache, state_addr_check))) 4547797f035SbugGenerator val enq_state = Mux(from_pre(io.in.bits.req_info.source) && enq_state_normal =/= state_addr_check, state_idle, enq_state_normal) 455935edac4STang Haojin when (io.in.fire) { 45692e3bfefSLemover // if prefetch req does not need mem access, just give it up. 45792e3bfefSLemover // so there will be at most 1 + FilterSize entries that needs re-access page cache 45892e3bfefSLemover // so 2 + FilterSize is enough to avoid dead-lock 4597797f035SbugGenerator state(enq_ptr) := enq_state 46092e3bfefSLemover entries(enq_ptr).req_info := io.in.bits.req_info 46192e3bfefSLemover entries(enq_ptr).ppn := io.in.bits.ppn 46292e3bfefSLemover entries(enq_ptr).wait_id := Mux(to_wait, wait_id, enq_ptr) 46392e3bfefSLemover entries(enq_ptr).af := false.B 464d0de7e4aSpeixiaokun entries(enq_ptr).gaf := false.B 465d0de7e4aSpeixiaokun entries(enq_ptr).gpf := false.B 466d0de7e4aSpeixiaokun entries(enq_ptr).s2xlate := enableS2xlate 46792e3bfefSLemover mem_resp_hit(enq_ptr) := to_mem_out 46892e3bfefSLemover } 4697797f035SbugGenerator 4707797f035SbugGenerator val enq_ptr_reg = RegNext(enq_ptr) 471d0de7e4aSpeixiaokun val need_addr_check = RegNext(enq_state === state_addr_check && (io.in.fire() || io.hptw.resp.fire()) && !flush) 472d0de7e4aSpeixiaokun 47382978df9Speixiaokun val gpaddr = MakeGAddr(io.in.bits.ppn, getVpnn(io.in.bits.req_info.vpn, 0)) 474d0de7e4aSpeixiaokun val hpaddr = Cat(io.in.bits.ppn, gpaddr(offLen-1, 0)) 475d0de7e4aSpeixiaokun 476d0de7e4aSpeixiaokun val addr = Mux(enableS2xlate, hpaddr, MakeAddr(io.in.bits.ppn, getVpnn(io.in.bits.req_info.vpn, 0))) 4777797f035SbugGenerator 4787797f035SbugGenerator io.pmp.req.valid := need_addr_check 479d0de7e4aSpeixiaokun io.pmp.req.bits.addr := RegEnable(addr, io.in.fire) 4807797f035SbugGenerator io.pmp.req.bits.cmd := TlbCmd.read 4817797f035SbugGenerator io.pmp.req.bits.size := 3.U // TODO: fix it 4827797f035SbugGenerator val pmp_resp_valid = io.pmp.req.valid // same cycle 4837797f035SbugGenerator when (pmp_resp_valid) { 4847797f035SbugGenerator // NOTE: when pmp resp but state is not addr check, then the entry is dup with other entry, the state was changed before 4857797f035SbugGenerator // when dup with the req-ing entry, set to mem_waiting (above codes), and the ld must be false, so dontcare 4867797f035SbugGenerator val accessFault = io.pmp.resp.ld || io.pmp.resp.mmio 4877797f035SbugGenerator entries(enq_ptr_reg).af := accessFault 4887797f035SbugGenerator state(enq_ptr_reg) := Mux(accessFault, state_mem_out, state_mem_req) 4897797f035SbugGenerator } 4907797f035SbugGenerator 491935edac4STang Haojin when (mem_arb.io.out.fire) { 49292e3bfefSLemover for (i <- state.indices) { 49392e3bfefSLemover when (state(i) =/= state_idle && dup(entries(i).req_info.vpn, mem_arb.io.out.bits.req_info.vpn)) { 49492e3bfefSLemover // NOTE: "dup enq set state to mem_wait" -> "sending req set other dup entries to mem_wait" 49592e3bfefSLemover state(i) := state_mem_waiting 49692e3bfefSLemover entries(i).wait_id := mem_arb.io.chosen 49792e3bfefSLemover } 49892e3bfefSLemover } 49992e3bfefSLemover } 500935edac4STang Haojin when (io.mem.resp.fire) { 50192e3bfefSLemover state.indices.map{i => 50292e3bfefSLemover when (state(i) === state_mem_waiting && io.mem.resp.bits.id === entries(i).wait_id) { 503d0de7e4aSpeixiaokun state(i) := Mux(entries(i).s2xlate, state_last_hptw_req, state_mem_out) 50492e3bfefSLemover mem_resp_hit(i) := true.B 50592e3bfefSLemover } 50692e3bfefSLemover } 50792e3bfefSLemover } 508d0de7e4aSpeixiaokun 509d0de7e4aSpeixiaokun when (hyper_arb1.io.out.fire()) { 510d0de7e4aSpeixiaokun for (i <- state.indices) { 511d0de7e4aSpeixiaokun when (state(i) === state_hptw_req && entries(i).ppn === hyper_arb1.io.out.bits.ppn && entries(i).s2xlate) { 512d0de7e4aSpeixiaokun state(i) := state_hptw_resp 513d0de7e4aSpeixiaokun entries(i).wait_id := hyper_arb1.io.chosen 514d0de7e4aSpeixiaokun } 515d0de7e4aSpeixiaokun } 516d0de7e4aSpeixiaokun } 517d0de7e4aSpeixiaokun 518d0de7e4aSpeixiaokun when (hyper_arb2.io.out.fire()) { 519d0de7e4aSpeixiaokun for (i <- state.indices) { 520d0de7e4aSpeixiaokun when (state(i) === state_last_hptw_req && entries(i).ppn === hyper_arb2.io.out.bits.ppn && entries(i).s2xlate) { 521d0de7e4aSpeixiaokun state(i) := state_last_hptw_resp 522d0de7e4aSpeixiaokun entries(i).wait_id := hyper_arb2.io.chosen 523d0de7e4aSpeixiaokun } 524d0de7e4aSpeixiaokun } 525d0de7e4aSpeixiaokun } 526d0de7e4aSpeixiaokun 527d0de7e4aSpeixiaokun when (io.hptw.resp.fire()) { 528d0de7e4aSpeixiaokun for (i <- state.indices) { 529d0de7e4aSpeixiaokun when (state(i) === state_hptw_resp && io.hptw.resp.bits.id === entries(i).wait_id) { 530d0de7e4aSpeixiaokun state(i) := state_addr_check 531d0de7e4aSpeixiaokun entries(i).gpf := io.hptw.resp.bits.h_resp.gpf 532d0de7e4aSpeixiaokun entries(i).gaf := io.hptw.resp.bits.h_resp.gaf 533d0de7e4aSpeixiaokun } 534d0de7e4aSpeixiaokun when (state(i) === state_last_hptw_resp && io.hptw.resp.bits.id === entries(i).wait_id) { 535d0de7e4aSpeixiaokun state(i) := state_mem_out 536d0de7e4aSpeixiaokun entries(i).gpf := io.hptw.resp.bits.h_resp.gpf 537d0de7e4aSpeixiaokun entries(i).gaf := io.hptw.resp.bits.h_resp.gaf 538d0de7e4aSpeixiaokun } 539d0de7e4aSpeixiaokun } 540d0de7e4aSpeixiaokun } 541d0de7e4aSpeixiaokun 542935edac4STang Haojin when (io.out.fire) { 54392e3bfefSLemover assert(state(mem_ptr) === state_mem_out) 54492e3bfefSLemover state(mem_ptr) := state_idle 54592e3bfefSLemover } 54692e3bfefSLemover mem_resp_hit.map(a => when (a) { a := false.B } ) 54792e3bfefSLemover 5487797f035SbugGenerator when (io.cache.fire) { 5497797f035SbugGenerator state(cache_ptr) := state_idle 55092e3bfefSLemover } 5517797f035SbugGenerator XSError(io.out.fire && io.cache.fire && (mem_ptr === cache_ptr), "mem resp and cache fire at the same time at same entry") 55292e3bfefSLemover 55392e3bfefSLemover when (flush) { 55492e3bfefSLemover state.map(_ := state_idle) 55592e3bfefSLemover } 55692e3bfefSLemover 55792e3bfefSLemover io.in.ready := !full 55892e3bfefSLemover 559935edac4STang Haojin io.out.valid := ParallelOR(is_having).asBool 56092e3bfefSLemover io.out.bits.req_info := entries(mem_ptr).req_info 56192e3bfefSLemover io.out.bits.id := mem_ptr 56292e3bfefSLemover io.out.bits.af := entries(mem_ptr).af 563d0de7e4aSpeixiaokun io.out.bits.h_resp := io.hptw.resp.bits.h_resp 564d0de7e4aSpeixiaokun 565d0de7e4aSpeixiaokun io.hptw.req.valid := (hyper_arb1.io.out.valid || hyper_arb2.io.out.valid) && !flush 56682978df9Speixiaokun io.hptw.req.bits.gvpn := Mux(hyper_arb1.io.out.valid, hyper_arb1.io.out.bits.ppn, hyper_arb2.io.out.bits.ppn) 567d0de7e4aSpeixiaokun io.hptw.req.bits.id := Mux(hyper_arb1.io.out.valid, hyper_arb1.io.chosen, hyper_arb2.io.chosen) 568*eb4bf3f2Speixiaokun io.hptw.req.bits.source := Mux(hyper_arb1.io.out.valid, hyper_arb1.io.out.bits.req_info.source, hyper_arb2.io.out.bits.req_info.source) 569d0de7e4aSpeixiaokun hyper_arb1.io.out.ready := io.hptw.req.ready 570d0de7e4aSpeixiaokun hyper_arb2.io.out.ready := io.hptw.req.ready 57192e3bfefSLemover 57292e3bfefSLemover io.mem.req.valid := mem_arb.io.out.valid && !flush 57392e3bfefSLemover io.mem.req.bits.addr := MakeAddr(mem_arb.io.out.bits.ppn, getVpnn(mem_arb.io.out.bits.req_info.vpn, 0)) 57492e3bfefSLemover io.mem.req.bits.id := mem_arb.io.chosen 57592e3bfefSLemover mem_arb.io.out.ready := io.mem.req.ready 57692e3bfefSLemover io.mem.refill := entries(RegNext(io.mem.resp.bits.id(log2Up(l2tlbParams.llptwsize)-1, 0))).req_info 57792e3bfefSLemover io.mem.buffer_it := mem_resp_hit 57892e3bfefSLemover io.mem.enq_ptr := enq_ptr 57992e3bfefSLemover 5807797f035SbugGenerator io.cache.valid := Cat(is_cache).orR 5817797f035SbugGenerator io.cache.bits := ParallelMux(is_cache, entries.map(_.req_info)) 5827797f035SbugGenerator 583935edac4STang Haojin XSPerfAccumulate("llptw_in_count", io.in.fire) 58492e3bfefSLemover XSPerfAccumulate("llptw_in_block", io.in.valid && !io.in.ready) 58592e3bfefSLemover for (i <- 0 until 7) { 586935edac4STang Haojin XSPerfAccumulate(s"enq_state${i}", io.in.fire && enq_state === i.U) 58792e3bfefSLemover } 58892e3bfefSLemover for (i <- 0 until (l2tlbParams.llptwsize + 1)) { 58992e3bfefSLemover XSPerfAccumulate(s"util${i}", PopCount(is_emptys.map(!_)) === i.U) 59092e3bfefSLemover XSPerfAccumulate(s"mem_util${i}", PopCount(is_mems) === i.U) 59192e3bfefSLemover XSPerfAccumulate(s"waiting_util${i}", PopCount(is_waiting) === i.U) 59292e3bfefSLemover } 593935edac4STang Haojin XSPerfAccumulate("mem_count", io.mem.req.fire) 59492e3bfefSLemover XSPerfAccumulate("mem_cycle", PopCount(is_waiting) =/= 0.U) 59592e3bfefSLemover XSPerfAccumulate("blocked_in", io.in.valid && !io.in.ready) 59692e3bfefSLemover 59792e3bfefSLemover for (i <- 0 until l2tlbParams.llptwsize) { 59892e3bfefSLemover TimeOutAssert(state(i) =/= state_idle, timeOutThreshold, s"missqueue time out no out ${i}") 59992e3bfefSLemover } 60092e3bfefSLemover 60192e3bfefSLemover val perfEvents = Seq( 602935edac4STang Haojin ("tlbllptw_incount ", io.in.fire ), 60392e3bfefSLemover ("tlbllptw_inblock ", io.in.valid && !io.in.ready), 604935edac4STang Haojin ("tlbllptw_memcount ", io.mem.req.fire ), 60592e3bfefSLemover ("tlbllptw_memcycle ", PopCount(is_waiting) ), 60692e3bfefSLemover ) 60792e3bfefSLemover generatePerfEvent() 60892e3bfefSLemover} 609d0de7e4aSpeixiaokun 610d0de7e4aSpeixiaokun/*========================= HPTW ==============================*/ 611d0de7e4aSpeixiaokun 612d0de7e4aSpeixiaokun/** HPTW : Hypervisor Page Table Walker 613d0de7e4aSpeixiaokun * the page walker take the virtual machine's page walk. 614d0de7e4aSpeixiaokun * guest physical address translation, guest physical address -> host physical address 615d0de7e4aSpeixiaokun **/ 616d0de7e4aSpeixiaokunclass HPTWIO()(implicit p: Parameters) extends MMUIOBaseBundle with HasPtwConst { 617d0de7e4aSpeixiaokun val req = Flipped(DecoupledIO(new Bundle { 618*eb4bf3f2Speixiaokun val source = UInt(bSourceWidth.W) 619d0de7e4aSpeixiaokun val id = UInt(log2Up(l2tlbParams.llptwsize).W) 62082978df9Speixiaokun val gvpn = UInt(vpnLen.W) 621d0de7e4aSpeixiaokun val l1Hit = Bool() 622d0de7e4aSpeixiaokun val l2Hit = Bool() 623d0de7e4aSpeixiaokun })) 624d0de7e4aSpeixiaokun val resp = Valid(new Bundle { 625*eb4bf3f2Speixiaokun val source = UInt(bSourceWidth.W) 626d0de7e4aSpeixiaokun val resp = Output(new HptwResp()) 627d0de7e4aSpeixiaokun val id = Output(UInt(bMemID.W)) 628d0de7e4aSpeixiaokun }) 629d0de7e4aSpeixiaokun 630d0de7e4aSpeixiaokun val mem = new Bundle { 631d0de7e4aSpeixiaokun val req = DecoupledIO(new L2TlbMemReqBundle()) 632d0de7e4aSpeixiaokun val resp = Flipped(ValidIO(UInt(XLEN.W))) 633d0de7e4aSpeixiaokun val mask = Input(Bool()) 634d0de7e4aSpeixiaokun } 635d0de7e4aSpeixiaokun val refill = Output(new Bundle { 636d0de7e4aSpeixiaokun val req_info = new L2TlbInnerBundle() 637d0de7e4aSpeixiaokun val level = UInt(log2Up(Level).W) 638d0de7e4aSpeixiaokun }) 639d0de7e4aSpeixiaokun val pmp = new Bundle { 640d0de7e4aSpeixiaokun val req = ValidIO(new PMPReqBundle()) 641d0de7e4aSpeixiaokun val resp = Flipped(new PMPRespBundle()) 642d0de7e4aSpeixiaokun } 643d0de7e4aSpeixiaokun} 644d0de7e4aSpeixiaokun 645d0de7e4aSpeixiaokun@chiselName 646d0de7e4aSpeixiaokunclass HPTW()(implicit p: Parameters) extends XSModule with HasPtwConst { 647d0de7e4aSpeixiaokun val io = IO(new HPTWIO) 648d0de7e4aSpeixiaokun val hgatp = io.csr.hgatp 649d0de7e4aSpeixiaokun val sfence = io.sfence 650d0de7e4aSpeixiaokun val flush = sfence.valid || hgatp.changed 651d0de7e4aSpeixiaokun 652d0de7e4aSpeixiaokun val level = RegInit(0.U(log2Up(Level).W)) 653d0de7e4aSpeixiaokun val gpaddr = Reg(UInt(GPAddrBits.W)) 654d0de7e4aSpeixiaokun val vpn = gpaddr(GPAddrBits-1, offLen) 655d0de7e4aSpeixiaokun val levelNext = level + 1.U 656d0de7e4aSpeixiaokun val l1Hit = Reg(Bool()) 657d0de7e4aSpeixiaokun val l2Hit = Reg(Bool()) 658d0de7e4aSpeixiaokun val ppn = Reg(UInt(ppnLen.W)) 65950c7aa78Speixiaokun val pg_base = MakeGAddr(hgatp.ppn, getGVpnn(vpn, 2.U)) 660d0de7e4aSpeixiaokun// val pte = io.mem.resp.bits.MergeRespToPte() 661d0de7e4aSpeixiaokun val pte = io.mem.resp.bits.asTypeOf(new PteBundle().cloneType) 662d0de7e4aSpeixiaokun val p_pte = MakeAddr(ppn, getVpnn(vpn, 2.U - level)) 663d0de7e4aSpeixiaokun val mem_addr = Mux(level === 0.U, pg_base, p_pte) 664d0de7e4aSpeixiaokun 665d0de7e4aSpeixiaokun //s/w register 666d0de7e4aSpeixiaokun val s_pmp_check = RegInit(true.B) 667d0de7e4aSpeixiaokun val s_mem_req = RegInit(true.B) 668d0de7e4aSpeixiaokun val w_mem_resp = RegInit(true.B) 669d0de7e4aSpeixiaokun val mem_addr_update = RegInit(true.B) 670d0de7e4aSpeixiaokun val idle = RegInit(true.B) 671d0de7e4aSpeixiaokun val finish = WireInit(false.B) 672d0de7e4aSpeixiaokun 673d0de7e4aSpeixiaokun val sent_to_pmp = !idle && (!s_pmp_check || mem_addr_update) && !finish 674d0de7e4aSpeixiaokun val pageFault = pte.isPf(level) 675d0de7e4aSpeixiaokun val accessFault = RegEnable(io.pmp.resp.ld || io.pmp.resp.mmio, sent_to_pmp) 676d0de7e4aSpeixiaokun 677d0de7e4aSpeixiaokun val ppn_af = pte.isAf() 678d0de7e4aSpeixiaokun val find_pte = pte.isLeaf() || ppn_af || pageFault 679d0de7e4aSpeixiaokun 680d0de7e4aSpeixiaokun val resp_valid = !idle && mem_addr_update && ((w_mem_resp && find_pte) || (s_pmp_check && accessFault)) 681d0de7e4aSpeixiaokun val id = Reg(UInt(log2Up(l2tlbParams.llptwsize).W)) 682*eb4bf3f2Speixiaokun val source = RegEnable(io.req.bits.source, io.req.fire()) 683*eb4bf3f2Speixiaokun 684d0de7e4aSpeixiaokun io.req.ready := idle 685*eb4bf3f2Speixiaokun val resp = Wire(new HptwResp()) 686d0de7e4aSpeixiaokun resp.apply(pageFault && !accessFault && !ppn_af, accessFault || ppn_af, level, pte, vpn, hgatp.asid) 687d0de7e4aSpeixiaokun io.resp.valid := resp_valid 688d0de7e4aSpeixiaokun io.resp.bits.id := id 689d0de7e4aSpeixiaokun io.resp.bits.resp := resp 690*eb4bf3f2Speixiaokun io.resp.bits.source := source 691d0de7e4aSpeixiaokun 692d0de7e4aSpeixiaokun io.pmp.req.valid := DontCare 693d0de7e4aSpeixiaokun io.pmp.req.bits.addr := mem_addr 694d0de7e4aSpeixiaokun io.pmp.req.bits.size := 3.U 695d0de7e4aSpeixiaokun io.pmp.req.bits.cmd := TlbCmd.read 696d0de7e4aSpeixiaokun 697d0de7e4aSpeixiaokun io.mem.req.valid := !s_mem_req && !io.mem.mask && !accessFault && s_pmp_check 698d0de7e4aSpeixiaokun io.mem.req.bits.addr := mem_addr 699d0de7e4aSpeixiaokun io.mem.req.bits.id := HptwReqId.U(bMemID.W) 700d0de7e4aSpeixiaokun 70182978df9Speixiaokun io.refill.req_info.vpn := vpn 702d0de7e4aSpeixiaokun io.refill.level := level 703*eb4bf3f2Speixiaokun io.refill.req_info.source := source 704*eb4bf3f2Speixiaokun io.refill.req_info.s2xlate := onlyStage2 705d0de7e4aSpeixiaokun when (idle){ 706d0de7e4aSpeixiaokun when(io.req.fire()){ 707d0de7e4aSpeixiaokun level := Mux(io.req.bits.l2Hit, 2.U, Mux(io.req.bits.l1Hit, 1.U, 0.U)) 708d0de7e4aSpeixiaokun idle := false.B 709d0de7e4aSpeixiaokun gpaddr := Cat(io.req.bits.gvpn, 0.U(offLen.W)) 710d0de7e4aSpeixiaokun accessFault := false.B 711d0de7e4aSpeixiaokun s_pmp_check := false.B 712d0de7e4aSpeixiaokun id := io.req.bits.id 713d0de7e4aSpeixiaokun l1Hit := io.req.bits.l1Hit 714d0de7e4aSpeixiaokun l2Hit := io.req.bits.l2Hit 715d0de7e4aSpeixiaokun } 716d0de7e4aSpeixiaokun } 717d0de7e4aSpeixiaokun 718d0de7e4aSpeixiaokun when(sent_to_pmp && !mem_addr_update){ 719d0de7e4aSpeixiaokun s_mem_req := false.B 720d0de7e4aSpeixiaokun s_pmp_check := true.B 721d0de7e4aSpeixiaokun } 722d0de7e4aSpeixiaokun 723d0de7e4aSpeixiaokun when(accessFault && !idle){ 724d0de7e4aSpeixiaokun s_pmp_check := true.B 725d0de7e4aSpeixiaokun s_mem_req := true.B 726d0de7e4aSpeixiaokun w_mem_resp := true.B 727d0de7e4aSpeixiaokun mem_addr_update := true.B 728d0de7e4aSpeixiaokun } 729d0de7e4aSpeixiaokun 730d0de7e4aSpeixiaokun when(io.mem.req.fire()){ 731d0de7e4aSpeixiaokun s_mem_req := true.B 732d0de7e4aSpeixiaokun w_mem_resp := false.B 733d0de7e4aSpeixiaokun } 734d0de7e4aSpeixiaokun 735d0de7e4aSpeixiaokun when(io.mem.resp.fire() && !w_mem_resp){ 736d0de7e4aSpeixiaokun ppn := pte.ppn 737d0de7e4aSpeixiaokun w_mem_resp := true.B 738d0de7e4aSpeixiaokun mem_addr_update := true.B 739d0de7e4aSpeixiaokun } 740d0de7e4aSpeixiaokun 741d0de7e4aSpeixiaokun when(mem_addr_update){ 742d0de7e4aSpeixiaokun when(!(find_pte || accessFault)){ 743d0de7e4aSpeixiaokun level := levelNext 744d0de7e4aSpeixiaokun s_mem_req := false.B 745d0de7e4aSpeixiaokun mem_addr_update := false.B 746d0de7e4aSpeixiaokun }.elsewhen(resp_valid){ 747d0de7e4aSpeixiaokun when(io.resp.fire()){ 748d0de7e4aSpeixiaokun idle := true.B 749d0de7e4aSpeixiaokun mem_addr_update := false.B 750d0de7e4aSpeixiaokun accessFault := false.B 751d0de7e4aSpeixiaokun } 752d0de7e4aSpeixiaokun finish := true.B 753d0de7e4aSpeixiaokun } 754d0de7e4aSpeixiaokun } 755d0de7e4aSpeixiaokun}