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._ 21a0301c0dSLemoverimport chisel3.internal.naming.chiselName 226d5ddbceSLemoverimport chisel3.util._ 23a0301c0dSLemoverimport freechips.rocketchip.util.SRAMAnnotation 246d5ddbceSLemoverimport xiangshan._ 256d5ddbceSLemoverimport utils._ 26b6982e83SLemoverimport xiangshan.backend.fu.{PMPChecker, PMPReqBundle} 279aca92b9SYinan Xuimport xiangshan.backend.rob.RobPtr 286d5ddbceSLemoverimport xiangshan.backend.fu.util.HasCSRConst 296d5ddbceSLemover 30a0301c0dSLemover 31a0301c0dSLemover@chiselName 32a0301c0dSLemoverclass TLB(Width: Int, q: TLBParameters)(implicit p: Parameters) extends TlbModule with HasCSRConst { 33a0301c0dSLemover val io = IO(new TlbIO(Width, q)) 34a0301c0dSLemover 35a0301c0dSLemover require(q.superAssociative == "fa") 36*fb90f54dSLemover if (q.sameCycle || q.missSameCycle) { 37a0301c0dSLemover require(q.normalAssociative == "fa") 38a0301c0dSLemover } 396d5ddbceSLemover 406d5ddbceSLemover val req = io.requestor.map(_.req) 416d5ddbceSLemover val resp = io.requestor.map(_.resp) 426d5ddbceSLemover val ptw = io.ptw 43b6982e83SLemover val pmp = io.pmp 446d5ddbceSLemover 456d5ddbceSLemover val sfence = io.sfence 466d5ddbceSLemover val csr = io.csr 476d5ddbceSLemover val satp = csr.satp 486d5ddbceSLemover val priv = csr.priv 49a0301c0dSLemover val ifecth = if (q.fetchi) true.B else false.B 50a0301c0dSLemover val mode = if (q.useDmode) priv.dmode else priv.imode 516d5ddbceSLemover // val vmEnable = satp.mode === 8.U // && (mode < ModeM) // FIXME: fix me when boot xv6/linux... 526d5ddbceSLemover val vmEnable = if (EnbaleTlbDebug) (satp.mode === 8.U) 536d5ddbceSLemover else (satp.mode === 8.U && (mode < ModeM)) 546d5ddbceSLemover 55a0301c0dSLemover val reqAddr = req.map(_.bits.vaddr.asTypeOf((new VaBundle).cloneType)) 56a0301c0dSLemover val vpn = reqAddr.map(_.vpn) 576d5ddbceSLemover val cmd = req.map(_.bits.cmd) 586d5ddbceSLemover val valid = req.map(_.valid) 596d5ddbceSLemover 606d5ddbceSLemover def widthMapSeq[T <: Seq[Data]](f: Int => T) = (0 until Width).map(f) 61a0301c0dSLemover 626d5ddbceSLemover def widthMap[T <: Data](f: Int => T) = (0 until Width).map(f) 636d5ddbceSLemover 646d5ddbceSLemover // Normal page && Super page 65a0301c0dSLemover val normalPage = TlbStorage( 66a0301c0dSLemover name = "normal", 67a0301c0dSLemover associative = q.normalAssociative, 68a0301c0dSLemover sameCycle = q.sameCycle, 69a0301c0dSLemover ports = Width, 70a0301c0dSLemover nSets = q.normalNSets, 71a0301c0dSLemover nWays = q.normalNWays, 72a0301c0dSLemover sramSinglePort = sramSinglePort, 73a0301c0dSLemover normalPage = true, 74a0301c0dSLemover superPage = false 756d5ddbceSLemover ) 76a0301c0dSLemover val superPage = TlbStorage( 77a0301c0dSLemover name = "super", 78a0301c0dSLemover associative = q.superAssociative, 79a0301c0dSLemover sameCycle = q.sameCycle, 80a0301c0dSLemover ports = Width, 81a0301c0dSLemover nSets = q.superNSets, 82a0301c0dSLemover nWays = q.superNWays, 83a0301c0dSLemover sramSinglePort = sramSinglePort, 84a0301c0dSLemover normalPage = q.normalAsVictim, 85a0301c0dSLemover superPage = true, 866d5ddbceSLemover ) 876d5ddbceSLemover 88a0301c0dSLemover 896d5ddbceSLemover for (i <- 0 until Width) { 90a0301c0dSLemover normalPage.r_req_apply( 91a0301c0dSLemover valid = io.requestor(i).req.valid, 92a0301c0dSLemover vpn = vpn(i), 9345f497a4Shappy-lx asid = csr.satp.asid, 94a0301c0dSLemover i = i 956d5ddbceSLemover ) 96a0301c0dSLemover superPage.r_req_apply( 97a0301c0dSLemover valid = io.requestor(i).req.valid, 98a0301c0dSLemover vpn = vpn(i), 9945f497a4Shappy-lx asid = csr.satp.asid, 100a0301c0dSLemover i = i 101a0301c0dSLemover ) 102a0301c0dSLemover } 1036d5ddbceSLemover 104a0301c0dSLemover normalPage.victim.in <> superPage.victim.out 105a0301c0dSLemover normalPage.victim.out <> superPage.victim.in 106a0301c0dSLemover normalPage.sfence <> io.sfence 107a0301c0dSLemover superPage.sfence <> io.sfence 10845f497a4Shappy-lx normalPage.csr <> io.csr 10945f497a4Shappy-lx superPage.csr <> io.csr 110149086eaSLemover 111a0301c0dSLemover def TLBNormalRead(i: Int) = { 112*fb90f54dSLemover val (n_hit_sameCycle, normal_hit, normal_ppn, normal_perm) = normalPage.r_resp_apply(i) 113*fb90f54dSLemover val (s_hit_sameCycle, super_hit, super_ppn, super_perm) = superPage.r_resp_apply(i) 114a0301c0dSLemover assert(!(normal_hit && super_hit && vmEnable && RegNext(req(i).valid, init = false.B))) 1156d5ddbceSLemover 116a0301c0dSLemover val hit = normal_hit || super_hit 117*fb90f54dSLemover val hit_sameCycle = n_hit_sameCycle || s_hit_sameCycle 118a0301c0dSLemover val ppn = Mux(normal_hit, normal_ppn, super_ppn) 119a0301c0dSLemover val perm = Mux(normal_hit, normal_perm, super_perm) 120a0301c0dSLemover 121a0301c0dSLemover val pf = perm.pf && hit 122b6982e83SLemover val af = perm.af && hit 123a0301c0dSLemover val cmdReg = if (!q.sameCycle) RegNext(cmd(i)) else cmd(i) 124a0301c0dSLemover val validReg = if (!q.sameCycle) RegNext(valid(i)) else valid(i) 125a0301c0dSLemover val offReg = if (!q.sameCycle) RegNext(reqAddr(i).off) else reqAddr(i).off 126b6982e83SLemover val sizeReg = if (!q.sameCycle) RegNext(req(i).bits.size) else req(i).bits.size 127a0301c0dSLemover 128a0301c0dSLemover /** *************** next cycle when two cycle is false******************* */ 129a0301c0dSLemover val miss = !hit && vmEnable 130*fb90f54dSLemover val miss_sameCycle = !hit_sameCycle && vmEnable 1316d5ddbceSLemover hit.suggestName(s"hit_${i}") 1326d5ddbceSLemover miss.suggestName(s"miss_${i}") 1336d5ddbceSLemover 134a0301c0dSLemover XSDebug(validReg, p"(${i.U}) hit:${hit} miss:${miss} ppn:${Hexadecimal(ppn)} perm:${perm}\n") 1356d5ddbceSLemover 136a0301c0dSLemover val paddr = Cat(ppn, offReg) 1376d5ddbceSLemover val vaddr = SignExt(req(i).bits.vaddr, PAddrBits) 1386d5ddbceSLemover 1396d5ddbceSLemover req(i).ready := resp(i).ready 1406d5ddbceSLemover resp(i).valid := validReg 141a0301c0dSLemover resp(i).bits.paddr := Mux(vmEnable, paddr, if (!q.sameCycle) RegNext(vaddr) else vaddr) 142*fb90f54dSLemover resp(i).bits.miss := { if (q.missSameCycle) miss_sameCycle else miss } 1436d5ddbceSLemover resp(i).bits.ptwBack := io.ptw.resp.fire() 1446d5ddbceSLemover 145b6982e83SLemover pmp(i).valid := resp(i).valid 146b6982e83SLemover pmp(i).bits.addr := resp(i).bits.paddr 147b6982e83SLemover pmp(i).bits.size := sizeReg 148b6982e83SLemover pmp(i).bits.cmd := cmdReg 149b6982e83SLemover 150a79fef67Swakafa val ldUpdate = hit && !perm.a && TlbCmd.isRead(cmdReg) && !TlbCmd.isAmo(cmdReg) // update A/D through exception 151a79fef67Swakafa val stUpdate = hit && (!perm.a || !perm.d) && (TlbCmd.isWrite(cmdReg) || TlbCmd.isAmo(cmdReg)) // update A/D through exception 152a79fef67Swakafa val instrUpdate = hit && !perm.a && TlbCmd.isExec(cmdReg) // update A/D through exception 1536d5ddbceSLemover val modeCheck = !(mode === ModeU && !perm.u || mode === ModeS && perm.u && (!priv.sum || ifecth)) 154a79fef67Swakafa val ldPermFail = !(modeCheck && (perm.r || priv.mxr && perm.x)) 155a79fef67Swakafa val stPermFail = !(modeCheck && perm.w) 156a79fef67Swakafa val instrPermFail = !(modeCheck && perm.x) 157a79fef67Swakafa val ldPf = (ldPermFail || pf) && (TlbCmd.isRead(cmdReg) && !TlbCmd.isAmo(cmdReg)) 158a79fef67Swakafa val stPf = (stPermFail || pf) && (TlbCmd.isWrite(cmdReg) || TlbCmd.isAmo(cmdReg)) 159ca2f90a6SLemover val fault_valid = vmEnable && hit 160a79fef67Swakafa val instrPf = (instrPermFail || pf) && TlbCmd.isExec(cmdReg) 161ca2f90a6SLemover resp(i).bits.excp.pf.ld := (ldPf || ldUpdate) && fault_valid && !af 162ca2f90a6SLemover resp(i).bits.excp.pf.st := (stPf || stUpdate) && fault_valid && !af 163ca2f90a6SLemover resp(i).bits.excp.pf.instr := (instrPf || instrUpdate) && fault_valid && !af 164b6982e83SLemover // NOTE: pf need && with !af, page fault has higher priority than access fault 165b6982e83SLemover // but ptw may also have access fault, then af happens, the translation is wrong. 166b6982e83SLemover // In this case, pf has lower priority than af 1676d5ddbceSLemover 168ca2f90a6SLemover resp(i).bits.excp.af.ld := af && TlbCmd.isRead(cmdReg) && fault_valid 169ca2f90a6SLemover resp(i).bits.excp.af.st := af && TlbCmd.isWrite(cmdReg) && fault_valid 170ca2f90a6SLemover resp(i).bits.excp.af.instr := af && TlbCmd.isExec(cmdReg) && fault_valid 1716d5ddbceSLemover 1723889e11eSLemover (hit, miss, validReg) 1736d5ddbceSLemover } 1746d5ddbceSLemover 1756d5ddbceSLemover val readResult = (0 until Width).map(TLBNormalRead(_)) 176a0301c0dSLemover val hitVec = readResult.map(_._1) 177a0301c0dSLemover val missVec = readResult.map(_._2) 1783889e11eSLemover val validRegVec = readResult.map(_._3) 1796d5ddbceSLemover 180149086eaSLemover // replacement 181a0301c0dSLemover def get_access(one_hot: UInt, valid: Bool): Valid[UInt] = { 182149086eaSLemover val res = Wire(Valid(UInt(log2Up(one_hot.getWidth).W))) 183a0301c0dSLemover res.valid := Cat(one_hot).orR && valid 184149086eaSLemover res.bits := OHToUInt(one_hot) 185149086eaSLemover res 186149086eaSLemover } 187a0301c0dSLemover 188a0301c0dSLemover val normal_refill_idx = if (q.outReplace) { 1893889e11eSLemover io.replace.normalPage.access <> normalPage.access 1903889e11eSLemover io.replace.normalPage.chosen_set := get_set_idx(io.ptw.resp.bits.entry.tag, q.normalNSets) 191a0301c0dSLemover io.replace.normalPage.refillIdx 192a0301c0dSLemover } else if (q.normalAssociative == "fa") { 193a0301c0dSLemover val re = ReplacementPolicy.fromString(q.normalReplacer, q.normalNWays) 1943889e11eSLemover re.access(normalPage.access.map(_.touch_ways)) // normalhitVecVec.zipWithIndex.map{ case (hv, i) => get_access(hv, validRegVec(i))}) 195a0301c0dSLemover re.way 196a0301c0dSLemover } else { // set-acco && plru 197a0301c0dSLemover val re = ReplacementPolicy.fromString(q.normalReplacer, q.normalNSets, q.normalNWays) 1983889e11eSLemover re.access(normalPage.access.map(_.sets), normalPage.access.map(_.touch_ways)) 1993889e11eSLemover re.way(get_set_idx(io.ptw.resp.bits.entry.tag, q.normalNSets)) 200149086eaSLemover } 201a0301c0dSLemover 202a0301c0dSLemover val super_refill_idx = if (q.outReplace) { 2033889e11eSLemover io.replace.superPage.access <> superPage.access 204a0301c0dSLemover io.replace.superPage.chosen_set := DontCare 205a0301c0dSLemover io.replace.superPage.refillIdx 206149086eaSLemover } else { 207a0301c0dSLemover val re = ReplacementPolicy.fromString(q.superReplacer, q.superNWays) 2083889e11eSLemover re.access(superPage.access.map(_.touch_ways)) 209a0301c0dSLemover re.way 210149086eaSLemover } 211149086eaSLemover 21245f497a4Shappy-lx val refill = ptw.resp.fire() && !sfence.valid && !satp.changed 213a0301c0dSLemover normalPage.w_apply( 214a0301c0dSLemover valid = { if (q.normalAsVictim) false.B 215a0301c0dSLemover else refill && ptw.resp.bits.entry.level.get === 2.U }, 216a0301c0dSLemover wayIdx = normal_refill_idx, 217a0301c0dSLemover data = ptw.resp.bits 218a0301c0dSLemover ) 219a0301c0dSLemover superPage.w_apply( 220a0301c0dSLemover valid = { if (q.normalAsVictim) refill 221a0301c0dSLemover else refill && ptw.resp.bits.entry.level.get =/= 2.U }, 222a0301c0dSLemover wayIdx = super_refill_idx, 223a0301c0dSLemover data = ptw.resp.bits 224a0301c0dSLemover ) 225a0301c0dSLemover 2266d5ddbceSLemover for (i <- 0 until Width) { 2276d5ddbceSLemover io.ptw.req(i).valid := validRegVec(i) && missVec(i) && !RegNext(refill) 2286d5ddbceSLemover io.ptw.req(i).bits.vpn := RegNext(reqAddr(i).vpn) 2296d5ddbceSLemover } 2306d5ddbceSLemover io.ptw.resp.ready := true.B 2316d5ddbceSLemover 232a0301c0dSLemover if (!q.shouldBlock) { 2336d5ddbceSLemover for (i <- 0 until Width) { 2346d5ddbceSLemover XSPerfAccumulate("first_access" + Integer.toString(i, 10), validRegVec(i) && vmEnable && RegNext(req(i).bits.debug.isFirstIssue)) 2356d5ddbceSLemover XSPerfAccumulate("access" + Integer.toString(i, 10), validRegVec(i) && vmEnable) 2366d5ddbceSLemover } 2376d5ddbceSLemover for (i <- 0 until Width) { 2386d5ddbceSLemover XSPerfAccumulate("first_miss" + Integer.toString(i, 10), validRegVec(i) && vmEnable && missVec(i) && RegNext(req(i).bits.debug.isFirstIssue)) 2396d5ddbceSLemover XSPerfAccumulate("miss" + Integer.toString(i, 10), validRegVec(i) && vmEnable && missVec(i)) 2406d5ddbceSLemover } 2416d5ddbceSLemover } else { 2426d5ddbceSLemover // NOTE: ITLB is blocked, so every resp will be valid only when hit 2436d5ddbceSLemover // every req will be ready only when hit 244a0301c0dSLemover for (i <- 0 until Width) { 245a0301c0dSLemover XSPerfAccumulate(s"access${i}", io.requestor(i).req.fire() && vmEnable) 246a0301c0dSLemover XSPerfAccumulate(s"miss${i}", ptw.req(i).fire()) 247a0301c0dSLemover } 248a0301c0dSLemover 2496d5ddbceSLemover } 2506d5ddbceSLemover //val reqCycleCnt = Reg(UInt(16.W)) 2516d5ddbceSLemover //reqCycleCnt := reqCycleCnt + BoolStopWatch(ptw.req(0).fire(), ptw.resp.fire || sfence.valid) 2526d5ddbceSLemover //XSPerfAccumulate("ptw_req_count", ptw.req.fire()) 2536d5ddbceSLemover //XSPerfAccumulate("ptw_req_cycle", Mux(ptw.resp.fire(), reqCycleCnt, 0.U)) 2546d5ddbceSLemover XSPerfAccumulate("ptw_resp_count", ptw.resp.fire()) 2556d5ddbceSLemover XSPerfAccumulate("ptw_resp_pf_count", ptw.resp.fire() && ptw.resp.bits.pf) 2566d5ddbceSLemover 2576d5ddbceSLemover // Log 2586d5ddbceSLemover for(i <- 0 until Width) { 2596d5ddbceSLemover XSDebug(req(i).valid, p"req(${i.U}): (${req(i).valid} ${req(i).ready}) ${req(i).bits}\n") 2606d5ddbceSLemover XSDebug(resp(i).valid, p"resp(${i.U}): (${resp(i).valid} ${resp(i).ready}) ${resp(i).bits}\n") 2616d5ddbceSLemover } 2626d5ddbceSLemover 2636d5ddbceSLemover XSDebug(sfence.valid, p"Sfence: ${sfence}\n") 2646d5ddbceSLemover XSDebug(ParallelOR(valid)|| ptw.resp.valid, p"CSR: ${csr}\n") 265a0301c0dSLemover XSDebug(ParallelOR(valid) || ptw.resp.valid, p"vmEnable:${vmEnable} hit:${Binary(VecInit(hitVec).asUInt)} miss:${Binary(VecInit(missVec).asUInt)}\n") 2666d5ddbceSLemover for (i <- ptw.req.indices) { 2676d5ddbceSLemover XSDebug(ptw.req(i).fire(), p"PTW req:${ptw.req(i).bits}\n") 2686d5ddbceSLemover } 2696d5ddbceSLemover XSDebug(ptw.resp.valid, p"PTW resp:${ptw.resp.bits} (v:${ptw.resp.valid}r:${ptw.resp.ready}) \n") 2706d5ddbceSLemover 271a0301c0dSLemover println(s"${q.name}: normal page: ${q.normalNWays} ${q.normalAssociative} ${q.normalReplacer.get} super page: ${q.superNWays} ${q.superAssociative} ${q.superReplacer.get}") 272a0301c0dSLemover 2736d5ddbceSLemover// // NOTE: just for simple tlb debug, comment it after tlb's debug 2746d5ddbceSLemover // assert(!io.ptw.resp.valid || io.ptw.resp.bits.entry.tag === io.ptw.resp.bits.entry.ppn, "Simple tlb debug requires vpn === ppn") 275cd365d4cSrvcoresjw val perfinfo = IO(new Bundle(){ 276cd365d4cSrvcoresjw val perfEvents = Output(new PerfEventsBundle(2)) 277cd365d4cSrvcoresjw }) 278cd365d4cSrvcoresjw if(!q.shouldBlock) { 279cd365d4cSrvcoresjw val perfEvents = Seq( 280cd365d4cSrvcoresjw ("access ", PopCount((0 until Width).map(i => vmEnable && validRegVec(i))) ), 281cd365d4cSrvcoresjw ("miss ", PopCount((0 until Width).map(i => vmEnable && validRegVec(i) && missVec(i))) ), 282cd365d4cSrvcoresjw ) 283cd365d4cSrvcoresjw for (((perf_out,(perf_name,perf)),i) <- perfinfo.perfEvents.perf_events.zip(perfEvents).zipWithIndex) { 284cd365d4cSrvcoresjw perf_out.incr_step := RegNext(perf) 285cd365d4cSrvcoresjw } 286cd365d4cSrvcoresjw } else { 287cd365d4cSrvcoresjw val perfEvents = Seq( 288cd365d4cSrvcoresjw ("access ", PopCount((0 until Width).map(i => io.requestor(i).req.fire())) ), 289cd365d4cSrvcoresjw ("miss ", PopCount((0 until Width).map(i => ptw.req(i).fire())) ), 290cd365d4cSrvcoresjw ) 291cd365d4cSrvcoresjw for (((perf_out,(perf_name,perf)),i) <- perfinfo.perfEvents.perf_events.zip(perfEvents).zipWithIndex) { 292cd365d4cSrvcoresjw perf_out.incr_step := RegNext(perf) 293cd365d4cSrvcoresjw } 294cd365d4cSrvcoresjw } 2956d5ddbceSLemover} 2966d5ddbceSLemover 297a0301c0dSLemoverclass TlbReplace(Width: Int, q: TLBParameters)(implicit p: Parameters) extends TlbModule { 298a0301c0dSLemover val io = IO(new TlbReplaceIO(Width, q)) 299a0301c0dSLemover 300a0301c0dSLemover if (q.normalAssociative == "fa") { 301a0301c0dSLemover val re = ReplacementPolicy.fromString(q.normalReplacer, q.normalNWays) 3023889e11eSLemover re.access(io.normalPage.access.map(_.touch_ways)) 303a0301c0dSLemover io.normalPage.refillIdx := re.way 304a0301c0dSLemover } else { // set-acco && plru 305a0301c0dSLemover val re = ReplacementPolicy.fromString(q.normalReplacer, q.normalNSets, q.normalNWays) 3063889e11eSLemover re.access(io.normalPage.access.map(_.sets), io.normalPage.access.map(_.touch_ways)) 307a0301c0dSLemover io.normalPage.refillIdx := { if (q.normalNWays == 1) 0.U else re.way(io.normalPage.chosen_set) } 308a0301c0dSLemover } 309a0301c0dSLemover 310a0301c0dSLemover if (q.superAssociative == "fa") { 311a0301c0dSLemover val re = ReplacementPolicy.fromString(q.superReplacer, q.superNWays) 3123889e11eSLemover re.access(io.superPage.access.map(_.touch_ways)) 313a0301c0dSLemover io.superPage.refillIdx := re.way 314a0301c0dSLemover } else { // set-acco && plru 315a0301c0dSLemover val re = ReplacementPolicy.fromString(q.superReplacer, q.superNSets, q.superNWays) 3163889e11eSLemover re.access(io.superPage.access.map(_.sets), io.superPage.access.map(_.touch_ways)) 317a0301c0dSLemover io.superPage.refillIdx := { if (q.superNWays == 1) 0.U else re.way(io.superPage.chosen_set) } 318a0301c0dSLemover } 319a0301c0dSLemover} 320a0301c0dSLemover 3216d5ddbceSLemoverobject TLB { 3226d5ddbceSLemover def apply 3236d5ddbceSLemover ( 3246d5ddbceSLemover in: Seq[BlockTlbRequestIO], 3256d5ddbceSLemover sfence: SfenceBundle, 3266d5ddbceSLemover csr: TlbCsrBundle, 3276d5ddbceSLemover width: Int, 328a0301c0dSLemover shouldBlock: Boolean, 329a0301c0dSLemover q: TLBParameters 3306d5ddbceSLemover )(implicit p: Parameters) = { 3316d5ddbceSLemover require(in.length == width) 3326d5ddbceSLemover 333a0301c0dSLemover val tlb = Module(new TLB(width, q)) 3346d5ddbceSLemover 3356d5ddbceSLemover tlb.io.sfence <> sfence 3366d5ddbceSLemover tlb.io.csr <> csr 337a0301c0dSLemover tlb.suggestName(s"tlb_${q.name}") 3386d5ddbceSLemover 3396d5ddbceSLemover if (!shouldBlock) { // dtlb 3406d5ddbceSLemover for (i <- 0 until width) { 3416d5ddbceSLemover tlb.io.requestor(i) <> in(i) 3426d5ddbceSLemover // tlb.io.requestor(i).req.valid := in(i).req.valid 3436d5ddbceSLemover // tlb.io.requestor(i).req.bits := in(i).req.bits 3446d5ddbceSLemover // in(i).req.ready := tlb.io.requestor(i).req.ready 3456d5ddbceSLemover 3466d5ddbceSLemover // in(i).resp.valid := tlb.io.requestor(i).resp.valid 3476d5ddbceSLemover // in(i).resp.bits := tlb.io.requestor(i).resp.bits 3486d5ddbceSLemover // tlb.io.requestor(i).resp.ready := in(i).resp.ready 3496d5ddbceSLemover } 3506d5ddbceSLemover } else { // itlb 351d57bda64SJinYue //require(width == 1) 352d57bda64SJinYue (0 until width).map{ i => 353d57bda64SJinYue tlb.io.requestor(i).req.valid := in(i).req.valid 354d57bda64SJinYue tlb.io.requestor(i).req.bits := in(i).req.bits 355d57bda64SJinYue in(i).req.ready := !tlb.io.requestor(i).resp.bits.miss && in(i).resp.ready && tlb.io.requestor(i).req.ready 3566d5ddbceSLemover 357*fb90f54dSLemover require(q.missSameCycle || q.sameCycle) 358*fb90f54dSLemover // NOTE: the resp.valid seems to be useless, it must be true when need 359*fb90f54dSLemover // But don't know what happens when true but not need, so keep it correct value, not just true.B 360*fb90f54dSLemover if (q.missSameCycle && !q.sameCycle) { 361*fb90f54dSLemover in(i).resp.valid := tlb.io.requestor(i).resp.valid && !RegNext(tlb.io.requestor(i).resp.bits.miss) 362*fb90f54dSLemover } else { 363d57bda64SJinYue in(i).resp.valid := tlb.io.requestor(i).resp.valid && !tlb.io.requestor(i).resp.bits.miss 364*fb90f54dSLemover } 365d57bda64SJinYue in(i).resp.bits := tlb.io.requestor(i).resp.bits 366d57bda64SJinYue tlb.io.requestor(i).resp.ready := in(i).resp.ready 367d57bda64SJinYue } 3686d5ddbceSLemover } 3696d5ddbceSLemover tlb.io.ptw 3706d5ddbceSLemover } 3716d5ddbceSLemover} 372