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 196d5ddbceSLemoverimport chipsalliance.rocketchip.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._ 286d5ddbceSLemover 2945f497a4Shappy-lxclass PTWReapterIO(Width: Int)(implicit p: Parameters) extends MMUIOBaseBundle { 306d5ddbceSLemover val tlb = Flipped(new TlbPtwIO(Width)) 316d5ddbceSLemover val ptw = new TlbPtwIO 3245f497a4Shappy-lx 3335d6335eSZhangZifei def apply(tlb: TlbPtwIO, ptw: TlbPtwIO, sfence: SfenceBundle, csr: TlbCsrBundle): Unit = { 3435d6335eSZhangZifei this.tlb <> tlb 3535d6335eSZhangZifei this.ptw <> ptw 3635d6335eSZhangZifei this.sfence <> sfence 3735d6335eSZhangZifei this.csr <> csr 3835d6335eSZhangZifei } 3935d6335eSZhangZifei 4035d6335eSZhangZifei def apply(tlb: TlbPtwIO, sfence: SfenceBundle, csr: TlbCsrBundle): Unit = { 4135d6335eSZhangZifei this.tlb <> tlb 4235d6335eSZhangZifei this.sfence <> sfence 4335d6335eSZhangZifei this.csr <> csr 4435d6335eSZhangZifei } 4535d6335eSZhangZifei 4645f497a4Shappy-lx} 4745f497a4Shappy-lx 48f1fe8698SLemoverclass PTWRepeater(Width: Int = 1, FenceDelay: Int)(implicit p: Parameters) extends XSModule with HasPtwConst { 4945f497a4Shappy-lx val io = IO(new PTWReapterIO(Width)) 5045f497a4Shappy-lx 516d5ddbceSLemover val req_in = if (Width == 1) { 526d5ddbceSLemover io.tlb.req(0) 536d5ddbceSLemover } else { 546d5ddbceSLemover val arb = Module(new RRArbiter(io.tlb.req(0).bits.cloneType, Width)) 556d5ddbceSLemover arb.io.in <> io.tlb.req 566d5ddbceSLemover arb.io.out 576d5ddbceSLemover } 58f1fe8698SLemover val (tlb, ptw, flush) = (io.tlb, io.ptw, DelayN(io.sfence.valid || io.csr.satp.changed, FenceDelay)) 596d5ddbceSLemover val req = RegEnable(req_in.bits, req_in.fire()) 606d5ddbceSLemover val resp = RegEnable(ptw.resp.bits, ptw.resp.fire()) 6145f497a4Shappy-lx val haveOne = BoolStopWatch(req_in.fire(), tlb.resp.fire() || flush) 6245f497a4Shappy-lx val sent = BoolStopWatch(ptw.req(0).fire(), req_in.fire() || flush) 63a8bd30cdSLemover val recv = BoolStopWatch(ptw.resp.fire() && haveOne, req_in.fire() || flush) 646d5ddbceSLemover 656d5ddbceSLemover req_in.ready := !haveOne 666d5ddbceSLemover ptw.req(0).valid := haveOne && !sent 676d5ddbceSLemover ptw.req(0).bits := req 686d5ddbceSLemover 696d5ddbceSLemover tlb.resp.bits := resp 706d5ddbceSLemover tlb.resp.valid := haveOne && recv 716d5ddbceSLemover ptw.resp.ready := !recv 726d5ddbceSLemover 736d5ddbceSLemover XSPerfAccumulate("req_count", ptw.req(0).fire()) 7445f497a4Shappy-lx XSPerfAccumulate("tlb_req_cycle", BoolStopWatch(req_in.fire(), tlb.resp.fire() || flush)) 7545f497a4Shappy-lx XSPerfAccumulate("ptw_req_cycle", BoolStopWatch(ptw.req(0).fire(), ptw.resp.fire() || flush)) 766d5ddbceSLemover 7745f497a4Shappy-lx XSDebug(haveOne, p"haveOne:${haveOne} sent:${sent} recv:${recv} sfence:${flush} req:${req} resp:${resp}") 786d5ddbceSLemover XSDebug(req_in.valid || io.tlb.resp.valid, p"tlb: ${tlb}\n") 796d5ddbceSLemover XSDebug(io.ptw.req(0).valid || io.ptw.resp.valid, p"ptw: ${ptw}\n") 806d5ddbceSLemover assert(!RegNext(recv && io.ptw.resp.valid, init = false.B), "re-receive ptw.resp") 81a8bd30cdSLemover XSError(io.ptw.req(0).valid && io.ptw.resp.valid && !flush, "ptw repeater recv resp when sending") 82a8bd30cdSLemover XSError(io.ptw.resp.valid && (req.vpn =/= io.ptw.resp.bits.entry.tag), "ptw repeater recv resp with wrong tag") 83a8bd30cdSLemover XSError(io.ptw.resp.valid && !io.ptw.resp.ready, "ptw repeater's ptw resp back, but not ready") 849bd9cdfaSLemover TimeOutAssert(sent && !recv, timeOutThreshold, "Repeater doesn't recv resp in time") 856d5ddbceSLemover} 866d5ddbceSLemover 876d5ddbceSLemover/* dtlb 886d5ddbceSLemover * 896d5ddbceSLemover */ 9035d6335eSZhangZifei 91f1fe8698SLemoverclass PTWRepeaterNB(Width: Int = 1, passReady: Boolean = false, FenceDelay: Int)(implicit p: Parameters) extends XSModule with HasPtwConst { 9235d6335eSZhangZifei val io = IO(new PTWReapterIO(Width)) 9335d6335eSZhangZifei 9435d6335eSZhangZifei val req_in = if (Width == 1) { 9535d6335eSZhangZifei io.tlb.req(0) 9635d6335eSZhangZifei } else { 9735d6335eSZhangZifei val arb = Module(new RRArbiter(io.tlb.req(0).bits.cloneType, Width)) 9835d6335eSZhangZifei arb.io.in <> io.tlb.req 9935d6335eSZhangZifei arb.io.out 10035d6335eSZhangZifei } 101f1fe8698SLemover val (tlb, ptw, flush) = (io.tlb, io.ptw, DelayN(io.sfence.valid || io.csr.satp.changed, FenceDelay)) 10235d6335eSZhangZifei /* sent: tlb -> repeater -> ptw 10335d6335eSZhangZifei * recv: ptw -> repeater -> tlb 10435d6335eSZhangZifei * different from PTWRepeater 10535d6335eSZhangZifei */ 10635d6335eSZhangZifei 10735d6335eSZhangZifei // tlb -> repeater -> ptw 10835d6335eSZhangZifei val req = RegEnable(req_in.bits, req_in.fire()) 10935d6335eSZhangZifei val sent = BoolStopWatch(req_in.fire(), ptw.req(0).fire() || flush) 11035d6335eSZhangZifei req_in.ready := !sent || { if (passReady) ptw.req(0).ready else false.B } 11135d6335eSZhangZifei ptw.req(0).valid := sent 11235d6335eSZhangZifei ptw.req(0).bits := req 11335d6335eSZhangZifei 11435d6335eSZhangZifei // ptw -> repeater -> tlb 11535d6335eSZhangZifei val resp = RegEnable(ptw.resp.bits, ptw.resp.fire()) 11635d6335eSZhangZifei val recv = BoolStopWatch(ptw.resp.fire(), tlb.resp.fire() || flush) 11735d6335eSZhangZifei ptw.resp.ready := !recv || { if (passReady) tlb.resp.ready else false.B } 11835d6335eSZhangZifei tlb.resp.valid := recv 11935d6335eSZhangZifei tlb.resp.bits := resp 12035d6335eSZhangZifei 12135d6335eSZhangZifei XSPerfAccumulate("req", req_in.fire()) 12235d6335eSZhangZifei XSPerfAccumulate("resp", tlb.resp.fire()) 12335d6335eSZhangZifei if (!passReady) { 12435d6335eSZhangZifei XSPerfAccumulate("req_blank", req_in.valid && sent && ptw.req(0).ready) 12535d6335eSZhangZifei XSPerfAccumulate("resp_blank", ptw.resp.valid && recv && tlb.resp.ready) 12635d6335eSZhangZifei XSPerfAccumulate("req_blank_ignore_ready", req_in.valid && sent) 12735d6335eSZhangZifei XSPerfAccumulate("resp_blank_ignore_ready", ptw.resp.valid && recv) 12835d6335eSZhangZifei } 12935d6335eSZhangZifei XSDebug(req_in.valid || io.tlb.resp.valid, p"tlb: ${tlb}\n") 13035d6335eSZhangZifei XSDebug(io.ptw.req(0).valid || io.ptw.resp.valid, p"ptw: ${ptw}\n") 13135d6335eSZhangZifei} 13235d6335eSZhangZifei 13345f497a4Shappy-lxclass PTWFilterIO(Width: Int)(implicit p: Parameters) extends MMUIOBaseBundle { 134f1fe8698SLemover val tlb = Flipped(new VectorTlbPtwIO(Width)) 135a0301c0dSLemover val ptw = new TlbPtwIO() 136d2b20d1aSTang Haojin val rob_head_miss_in_tlb = Output(Bool()) 137*60ebee38STang Haojin val debugTopDown = new Bundle { 138*60ebee38STang Haojin val robHeadVaddr = Flipped(Valid(UInt(VAddrBits.W))) 139*60ebee38STang Haojin } 1406d5ddbceSLemover 141f1fe8698SLemover def apply(tlb: VectorTlbPtwIO, ptw: TlbPtwIO, sfence: SfenceBundle, csr: TlbCsrBundle): Unit = { 14235d6335eSZhangZifei this.tlb <> tlb 14335d6335eSZhangZifei this.ptw <> ptw 14435d6335eSZhangZifei this.sfence <> sfence 14535d6335eSZhangZifei this.csr <> csr 14635d6335eSZhangZifei } 14735d6335eSZhangZifei 148f1fe8698SLemover def apply(tlb: VectorTlbPtwIO, sfence: SfenceBundle, csr: TlbCsrBundle): Unit = { 14935d6335eSZhangZifei this.tlb <> tlb 15035d6335eSZhangZifei this.sfence <> sfence 15135d6335eSZhangZifei this.csr <> csr 15235d6335eSZhangZifei } 15335d6335eSZhangZifei 15445f497a4Shappy-lx} 15545f497a4Shappy-lx 156f1fe8698SLemoverclass PTWFilter(Width: Int, Size: Int, FenceDelay: Int)(implicit p: Parameters) extends XSModule with HasPtwConst { 1576d5ddbceSLemover require(Size >= Width) 1586d5ddbceSLemover 15945f497a4Shappy-lx val io = IO(new PTWFilterIO(Width)) 16045f497a4Shappy-lx 1616d5ddbceSLemover val v = RegInit(VecInit(Seq.fill(Size)(false.B))) 162a0301c0dSLemover val ports = Reg(Vec(Size, Vec(Width, Bool()))) // record which port(s) the entry come from, may not able to cover all the ports 1636d5ddbceSLemover val vpn = Reg(Vec(Size, UInt(vpnLen.W))) 1648744445eSMaxpicca-Li val memidx = Reg(Vec(Size, new MemBlockidxBundle)) 1656d5ddbceSLemover val enqPtr = RegInit(0.U(log2Up(Size).W)) // Enq 1666d5ddbceSLemover val issPtr = RegInit(0.U(log2Up(Size).W)) // Iss to Ptw 1676d5ddbceSLemover val deqPtr = RegInit(0.U(log2Up(Size).W)) // Deq 1686d5ddbceSLemover val mayFullDeq = RegInit(false.B) 1696d5ddbceSLemover val mayFullIss = RegInit(false.B) 1706d5ddbceSLemover val counter = RegInit(0.U(log2Up(Size+1).W)) 1716d5ddbceSLemover 172f1fe8698SLemover val flush = DelayN(io.sfence.valid || io.csr.satp.changed, FenceDelay) 173f1fe8698SLemover val tlb_req = WireInit(io.tlb.req) // NOTE: tlb_req is not io.tlb.req, see below codes, just use cloneType 174cccfc98dSLemover tlb_req.suggestName("tlb_req") 175cccfc98dSLemover 176fa9f9690SLemover val inflight_counter = RegInit(0.U(log2Up(Size + 1).W)) 177fa9f9690SLemover val inflight_full = inflight_counter === Size.U 178fa9f9690SLemover when (io.ptw.req(0).fire() =/= io.ptw.resp.fire()) { 179fa9f9690SLemover inflight_counter := Mux(io.ptw.req(0).fire(), inflight_counter + 1.U, inflight_counter - 1.U) 180fa9f9690SLemover } 181fa9f9690SLemover 18287f41827SLemover val canEnqueue = Wire(Bool()) // NOTE: actually enqueue 1836d5ddbceSLemover val ptwResp = RegEnable(io.ptw.resp.bits, io.ptw.resp.fire()) 184cccfc98dSLemover val ptwResp_OldMatchVec = vpn.zip(v).map{ case (pi, vi) => 18563632028SHaoyuan Feng vi && io.ptw.resp.bits.hit(pi, io.csr.satp.asid, true, true)} 186cccfc98dSLemover val ptwResp_valid = RegNext(io.ptw.resp.fire() && Cat(ptwResp_OldMatchVec).orR, init = false.B) 18763632028SHaoyuan Feng // May send repeated requests to L2 tlb with same vpn(26, 3) when sector tlb 188cccfc98dSLemover val oldMatchVec_early = io.tlb.req.map(a => vpn.zip(v).map{ case (pi, vi) => vi && pi === a.bits.vpn}) 18987f41827SLemover val lastReqMatchVec_early = io.tlb.req.map(a => tlb_req.map{ b => b.valid && b.bits.vpn === a.bits.vpn && canEnqueue}) 190cccfc98dSLemover val newMatchVec_early = io.tlb.req.map(a => io.tlb.req.map(b => a.bits.vpn === b.bits.vpn)) 191cccfc98dSLemover 192cccfc98dSLemover (0 until Width) foreach { i => 193cccfc98dSLemover tlb_req(i).valid := RegNext(io.tlb.req(i).valid && 19463632028SHaoyuan Feng !(ptwResp_valid && ptwResp.hit(io.tlb.req(i).bits.vpn, 0.U, true, true)) && 195cccfc98dSLemover !Cat(lastReqMatchVec_early(i)).orR, 196cccfc98dSLemover init = false.B) 197cccfc98dSLemover tlb_req(i).bits := RegEnable(io.tlb.req(i).bits, io.tlb.req(i).valid) 198cccfc98dSLemover } 199cccfc98dSLemover 200cccfc98dSLemover val oldMatchVec = oldMatchVec_early.map(a => RegNext(Cat(a).orR)) 201cccfc98dSLemover val newMatchVec = (0 until Width).map(i => (0 until Width).map(j => 202cccfc98dSLemover RegNext(newMatchVec_early(i)(j)) && tlb_req(j).valid 203cccfc98dSLemover )) 204cccfc98dSLemover val ptwResp_newMatchVec = tlb_req.map(a => 20563632028SHaoyuan Feng ptwResp_valid && ptwResp.hit(a.bits.vpn, 0.U, allType = true, true)) 206cccfc98dSLemover 207cccfc98dSLemover val oldMatchVec2 = (0 until Width).map(i => oldMatchVec_early(i).map(RegNext(_)).map(_ & tlb_req(i).valid)) 208cccfc98dSLemover val update_ports = v.indices.map(i => oldMatchVec2.map(j => j(i))) 209a0301c0dSLemover val ports_init = (0 until Width).map(i => (1 << i).U(Width.W)) 210a0301c0dSLemover val filter_ports = (0 until Width).map(i => ParallelMux(newMatchVec(i).zip(ports_init).drop(i))) 211cccfc98dSLemover val resp_vector = RegEnable(ParallelMux(ptwResp_OldMatchVec zip ports), io.ptw.resp.fire()) 2126d5ddbceSLemover 213a0301c0dSLemover def canMerge(index: Int) : Bool = { 214cccfc98dSLemover ptwResp_newMatchVec(index) || oldMatchVec(index) || 215a0301c0dSLemover Cat(newMatchVec(index).take(index)).orR 216a0301c0dSLemover } 217a0301c0dSLemover 218a0301c0dSLemover def filter_req() = { 219a0301c0dSLemover val reqs = tlb_req.indices.map{ i => 2208744445eSMaxpicca-Li val req = Wire(ValidIO(new PtwReqwithMemIdx())) 221a0301c0dSLemover val merge = canMerge(i) 222a0301c0dSLemover req.bits := tlb_req(i).bits 223a0301c0dSLemover req.valid := !merge && tlb_req(i).valid 224a0301c0dSLemover req 225a0301c0dSLemover } 226a0301c0dSLemover reqs 227a0301c0dSLemover } 228a0301c0dSLemover 229a0301c0dSLemover val reqs = filter_req() 230a0301c0dSLemover val req_ports = filter_ports 2316d5ddbceSLemover val isFull = enqPtr === deqPtr && mayFullDeq 2326d5ddbceSLemover val isEmptyDeq = enqPtr === deqPtr && !mayFullDeq 2336d5ddbceSLemover val isEmptyIss = enqPtr === issPtr && !mayFullIss 2346d5ddbceSLemover val accumEnqNum = (0 until Width).map(i => PopCount(reqs.take(i).map(_.valid))) 235cccfc98dSLemover val enqPtrVecInit = VecInit((0 until Width).map(i => enqPtr + i.U)) 236cccfc98dSLemover val enqPtrVec = VecInit((0 until Width).map(i => enqPtrVecInit(accumEnqNum(i)))) 2376d5ddbceSLemover val enqNum = PopCount(reqs.map(_.valid)) 23887f41827SLemover canEnqueue := counter +& enqNum <= Size.U 2396d5ddbceSLemover 240f1fe8698SLemover // the req may recv false ready, but actually received. Filter and TLB will handle it. 241f1fe8698SLemover val enqNum_fake = PopCount(io.tlb.req.map(_.valid)) 242f1fe8698SLemover val canEnqueue_fake = counter +& enqNum_fake <= Size.U 243f1fe8698SLemover io.tlb.req.map(_.ready := canEnqueue_fake) // NOTE: just drop un-fire reqs 244f1fe8698SLemover 2450ab9ba15SLemover // tlb req flushed by ptw resp: last ptw resp && current ptw resp 2460ab9ba15SLemover // the flushed tlb req will fakely enq, with a false valid 24763632028SHaoyuan Feng val tlb_req_flushed = reqs.map(a => io.ptw.resp.valid && io.ptw.resp.bits.hit(a.bits.vpn, 0.U, true, true)) 2480ab9ba15SLemover 249cccfc98dSLemover io.tlb.resp.valid := ptwResp_valid 2508744445eSMaxpicca-Li io.tlb.resp.bits.data.entry := ptwResp.entry 25163632028SHaoyuan Feng io.tlb.resp.bits.data.addr_low := ptwResp.addr_low 25263632028SHaoyuan Feng io.tlb.resp.bits.data.ppn_low := ptwResp.ppn_low 25363632028SHaoyuan Feng io.tlb.resp.bits.data.valididx := ptwResp.valididx 254b0fa7106SHaoyuan Feng io.tlb.resp.bits.data.pteidx := ptwResp.pteidx 2558744445eSMaxpicca-Li io.tlb.resp.bits.data.pf := ptwResp.pf 2568744445eSMaxpicca-Li io.tlb.resp.bits.data.af := ptwResp.af 2578744445eSMaxpicca-Li io.tlb.resp.bits.data.memidx := memidx(OHToUInt(ptwResp_OldMatchVec)) 258a0301c0dSLemover io.tlb.resp.bits.vector := resp_vector 2592c2c1588SLemover 260fa9f9690SLemover val issue_valid = v(issPtr) && !isEmptyIss && !inflight_full 26163632028SHaoyuan Feng val issue_filtered = ptwResp_valid && ptwResp.hit(io.ptw.req(0).bits.vpn, io.csr.satp.asid, allType=true, ignoreAsid=true) 2622c2c1588SLemover val issue_fire_fake = issue_valid && (io.ptw.req(0).ready || (issue_filtered && false.B /*timing-opt*/)) 2632c2c1588SLemover io.ptw.req(0).valid := issue_valid && !issue_filtered 2646d5ddbceSLemover io.ptw.req(0).bits.vpn := vpn(issPtr) 2656d5ddbceSLemover io.ptw.resp.ready := true.B 2666d5ddbceSLemover 2676d5ddbceSLemover reqs.zipWithIndex.map{ 2686d5ddbceSLemover case (req, i) => 2696d5ddbceSLemover when (req.valid && canEnqueue) { 2700ab9ba15SLemover v(enqPtrVec(i)) := !tlb_req_flushed(i) 2716d5ddbceSLemover vpn(enqPtrVec(i)) := req.bits.vpn 2728744445eSMaxpicca-Li memidx(enqPtrVec(i)) := req.bits.memidx 273a0301c0dSLemover ports(enqPtrVec(i)) := req_ports(i).asBools 274a0301c0dSLemover } 275a0301c0dSLemover } 276a0301c0dSLemover for (i <- ports.indices) { 277a0301c0dSLemover when (v(i)) { 278a0301c0dSLemover ports(i) := ports(i).zip(update_ports(i)).map(a => a._1 || a._2) 2796d5ddbceSLemover } 2806d5ddbceSLemover } 2816d5ddbceSLemover 2826d5ddbceSLemover val do_enq = canEnqueue && Cat(reqs.map(_.valid)).orR 2836d5ddbceSLemover val do_deq = (!v(deqPtr) && !isEmptyDeq) 2842c2c1588SLemover val do_iss = issue_fire_fake || (!v(issPtr) && !isEmptyIss) 2856d5ddbceSLemover when (do_enq) { 2866d5ddbceSLemover enqPtr := enqPtr + enqNum 2876d5ddbceSLemover } 2886d5ddbceSLemover when (do_deq) { 2896d5ddbceSLemover deqPtr := deqPtr + 1.U 2906d5ddbceSLemover } 2916d5ddbceSLemover when (do_iss) { 2926d5ddbceSLemover issPtr := issPtr + 1.U 2936d5ddbceSLemover } 2942c2c1588SLemover when (issue_fire_fake && issue_filtered) { // issued but is filtered 2952c2c1588SLemover v(issPtr) := false.B 2962c2c1588SLemover } 2976d5ddbceSLemover when (do_enq =/= do_deq) { 2986d5ddbceSLemover mayFullDeq := do_enq 2996d5ddbceSLemover } 3006d5ddbceSLemover when (do_enq =/= do_iss) { 3016d5ddbceSLemover mayFullIss := do_enq 3026d5ddbceSLemover } 3036d5ddbceSLemover 304cccfc98dSLemover when (io.ptw.resp.fire()) { 305cccfc98dSLemover v.zip(ptwResp_OldMatchVec).map{ case (vi, mi) => when (mi) { vi := false.B }} 3066d5ddbceSLemover } 3076d5ddbceSLemover 3086d5ddbceSLemover counter := counter - do_deq + Mux(do_enq, enqNum, 0.U) 309fa9f9690SLemover assert(counter <= Size.U, "counter should be no more than Size") 310fa9f9690SLemover assert(inflight_counter <= Size.U, "inflight should be no more than Size") 3116d5ddbceSLemover when (counter === 0.U) { 3126d5ddbceSLemover assert(!io.ptw.req(0).fire(), "when counter is 0, should not req") 3136d5ddbceSLemover assert(isEmptyDeq && isEmptyIss, "when counter is 0, should be empty") 3146d5ddbceSLemover } 3156d5ddbceSLemover when (counter === Size.U) { 3166d5ddbceSLemover assert(mayFullDeq, "when counter is Size, should be full") 3176d5ddbceSLemover } 3186d5ddbceSLemover 31945f497a4Shappy-lx when (flush) { 3206d5ddbceSLemover v.map(_ := false.B) 3216d5ddbceSLemover deqPtr := 0.U 3226d5ddbceSLemover enqPtr := 0.U 3236d5ddbceSLemover issPtr := 0.U 3246d5ddbceSLemover ptwResp_valid := false.B 3256d5ddbceSLemover mayFullDeq := false.B 3266d5ddbceSLemover mayFullIss := false.B 3276d5ddbceSLemover counter := 0.U 328fa9f9690SLemover inflight_counter := 0.U 3296d5ddbceSLemover } 3306d5ddbceSLemover 331*60ebee38STang Haojin val robHeadVaddr = io.debugTopDown.robHeadVaddr 332d2b20d1aSTang Haojin io.rob_head_miss_in_tlb := VecInit(v.zip(vpn).map{case (vi, vpni) => { 333*60ebee38STang Haojin vi && robHeadVaddr.valid && vpni === get_pn(robHeadVaddr.bits) 334d2b20d1aSTang Haojin }}).asUInt.orR 335d2b20d1aSTang Haojin 3366d5ddbceSLemover // perf 3376d5ddbceSLemover XSPerfAccumulate("tlb_req_count", PopCount(Cat(io.tlb.req.map(_.valid)))) 3386d5ddbceSLemover XSPerfAccumulate("tlb_req_count_filtered", Mux(do_enq, accumEnqNum(Width - 1), 0.U)) 3396d5ddbceSLemover XSPerfAccumulate("ptw_req_count", io.ptw.req(0).fire()) 3406d5ddbceSLemover XSPerfAccumulate("ptw_req_cycle", inflight_counter) 3416d5ddbceSLemover XSPerfAccumulate("tlb_resp_count", io.tlb.resp.fire()) 3426d5ddbceSLemover XSPerfAccumulate("ptw_resp_count", io.ptw.resp.fire()) 3436d5ddbceSLemover XSPerfAccumulate("inflight_cycle", !isEmptyDeq) 3446d5ddbceSLemover for (i <- 0 until Size + 1) { 3456d5ddbceSLemover XSPerfAccumulate(s"counter${i}", counter === i.U) 3466d5ddbceSLemover } 3479bd9cdfaSLemover 3489bd9cdfaSLemover for (i <- 0 until Size) { 3499bd9cdfaSLemover TimeOutAssert(v(i), timeOutThreshold, s"Filter ${i} doesn't recv resp in time") 3509bd9cdfaSLemover } 3516d5ddbceSLemover} 35238ba1efdSLemover 35338ba1efdSLemoverobject PTWRepeater { 354f1fe8698SLemover def apply(fenceDelay: Int, 35538ba1efdSLemover tlb: TlbPtwIO, 35638ba1efdSLemover sfence: SfenceBundle, 35738ba1efdSLemover csr: TlbCsrBundle 35838ba1efdSLemover )(implicit p: Parameters) = { 35938ba1efdSLemover val width = tlb.req.size 360f1fe8698SLemover val repeater = Module(new PTWRepeater(width, fenceDelay)) 36135d6335eSZhangZifei repeater.io.apply(tlb, sfence, csr) 36238ba1efdSLemover repeater 36338ba1efdSLemover } 36438ba1efdSLemover 365f1fe8698SLemover def apply(fenceDelay: Int, 36638ba1efdSLemover tlb: TlbPtwIO, 36738ba1efdSLemover ptw: TlbPtwIO, 36838ba1efdSLemover sfence: SfenceBundle, 36938ba1efdSLemover csr: TlbCsrBundle 37038ba1efdSLemover )(implicit p: Parameters) = { 37138ba1efdSLemover val width = tlb.req.size 372f1fe8698SLemover val repeater = Module(new PTWRepeater(width, fenceDelay)) 37335d6335eSZhangZifei repeater.io.apply(tlb, ptw, sfence, csr) 37435d6335eSZhangZifei repeater 37535d6335eSZhangZifei } 37635d6335eSZhangZifei} 37738ba1efdSLemover 37835d6335eSZhangZifeiobject PTWRepeaterNB { 379f1fe8698SLemover def apply(passReady: Boolean, fenceDelay: Int, 38035d6335eSZhangZifei tlb: TlbPtwIO, 38135d6335eSZhangZifei sfence: SfenceBundle, 38235d6335eSZhangZifei csr: TlbCsrBundle 38335d6335eSZhangZifei )(implicit p: Parameters) = { 38435d6335eSZhangZifei val width = tlb.req.size 385f1fe8698SLemover val repeater = Module(new PTWRepeaterNB(width, passReady,fenceDelay)) 38635d6335eSZhangZifei repeater.io.apply(tlb, sfence, csr) 38735d6335eSZhangZifei repeater 38835d6335eSZhangZifei } 38935d6335eSZhangZifei 390f1fe8698SLemover def apply(passReady: Boolean, fenceDelay: Int, 39135d6335eSZhangZifei tlb: TlbPtwIO, 39235d6335eSZhangZifei ptw: TlbPtwIO, 39335d6335eSZhangZifei sfence: SfenceBundle, 39435d6335eSZhangZifei csr: TlbCsrBundle 39535d6335eSZhangZifei )(implicit p: Parameters) = { 39635d6335eSZhangZifei val width = tlb.req.size 397f1fe8698SLemover val repeater = Module(new PTWRepeaterNB(width, passReady, fenceDelay)) 39835d6335eSZhangZifei repeater.io.apply(tlb, ptw, sfence, csr) 39938ba1efdSLemover repeater 40038ba1efdSLemover } 40138ba1efdSLemover} 40238ba1efdSLemover 40338ba1efdSLemoverobject PTWFilter { 404f1fe8698SLemover def apply(fenceDelay: Int, 405f1fe8698SLemover tlb: VectorTlbPtwIO, 40638ba1efdSLemover ptw: TlbPtwIO, 40738ba1efdSLemover sfence: SfenceBundle, 40838ba1efdSLemover csr: TlbCsrBundle, 40938ba1efdSLemover size: Int 41038ba1efdSLemover )(implicit p: Parameters) = { 41138ba1efdSLemover val width = tlb.req.size 412f1fe8698SLemover val filter = Module(new PTWFilter(width, size, fenceDelay)) 41335d6335eSZhangZifei filter.io.apply(tlb, ptw, sfence, csr) 41438ba1efdSLemover filter 41538ba1efdSLemover } 41635d6335eSZhangZifei 417f1fe8698SLemover def apply(fenceDelay: Int, 418f1fe8698SLemover tlb: VectorTlbPtwIO, 41935d6335eSZhangZifei sfence: SfenceBundle, 42035d6335eSZhangZifei csr: TlbCsrBundle, 42135d6335eSZhangZifei size: Int 42235d6335eSZhangZifei )(implicit p: Parameters) = { 42335d6335eSZhangZifei val width = tlb.req.size 424f1fe8698SLemover val filter = Module(new PTWFilter(width, size, fenceDelay)) 42535d6335eSZhangZifei filter.io.apply(tlb, sfence, csr) 42635d6335eSZhangZifei filter 42735d6335eSZhangZifei } 42835d6335eSZhangZifei 42938ba1efdSLemover} 430