192e3bfefSLemover/*************************************************************************************** 292e3bfefSLemover* Copyright (c) 2020-2021 Institute of Computing Technology, Chinese Academy of Sciences 392e3bfefSLemover* Copyright (c) 2020-2021 Peng Cheng Laboratory 492e3bfefSLemover* 592e3bfefSLemover* XiangShan is licensed under Mulan PSL v2. 692e3bfefSLemover* You can use this software according to the terms and conditions of the Mulan PSL v2. 792e3bfefSLemover* You may obtain a copy of Mulan PSL v2 at: 892e3bfefSLemover* http://license.coscl.org.cn/MulanPSL2 992e3bfefSLemover* 1092e3bfefSLemover* THIS SOFTWARE IS PROVIDED ON AN "AS IS" BASIS, WITHOUT WARRANTIES OF ANY KIND, 1192e3bfefSLemover* EITHER EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO NON-INFRINGEMENT, 1292e3bfefSLemover* MERCHANTABILITY OR FIT FOR A PARTICULAR PURPOSE. 1392e3bfefSLemover* 1492e3bfefSLemover* See the Mulan PSL v2 for more details. 1592e3bfefSLemover***************************************************************************************/ 1692e3bfefSLemover 1792e3bfefSLemoverpackage xiangshan.cache.mmu 1892e3bfefSLemover 198891a219SYinan Xuimport org.chipsalliance.cde.config.Parameters 2092e3bfefSLemoverimport chisel3._ 2192e3bfefSLemoverimport chisel3.experimental.ExtModule 2292e3bfefSLemoverimport chisel3.util._ 2392e3bfefSLemoverimport xiangshan._ 2492e3bfefSLemoverimport xiangshan.cache.{HasDCacheParameters, MemoryOpConstants} 2592e3bfefSLemoverimport utils._ 263c02ee8fSwakafaimport utility._ 2792e3bfefSLemoverimport freechips.rocketchip.diplomacy.{IdRange, LazyModule, LazyModuleImp} 2892e3bfefSLemoverimport freechips.rocketchip.tilelink._ 2992e3bfefSLemoverimport xiangshan.backend.fu.{PMP, PMPChecker, PMPReqBundle, PMPRespBundle} 3092e3bfefSLemoverimport xiangshan.backend.fu.util.HasCSRConst 319c26bab7SHaoyuan Fengimport difftest._ 3292e3bfefSLemover 3392e3bfefSLemoverclass L2TLB()(implicit p: Parameters) extends LazyModule with HasPtwConst { 3495e60e55STang Haojin override def shouldBeInlined: Boolean = false 3592e3bfefSLemover 3692e3bfefSLemover val node = TLClientNode(Seq(TLMasterPortParameters.v1( 3792e3bfefSLemover clients = Seq(TLMasterParameters.v1( 3892e3bfefSLemover "ptw", 3992e3bfefSLemover sourceId = IdRange(0, MemReqWidth) 40d2b20d1aSTang Haojin )), 41d2b20d1aSTang Haojin requestFields = Seq(ReqSourceField()) 4292e3bfefSLemover ))) 4392e3bfefSLemover 4492e3bfefSLemover lazy val module = new L2TLBImp(this) 4592e3bfefSLemover} 4692e3bfefSLemover 4792e3bfefSLemoverclass L2TLBImp(outer: L2TLB)(implicit p: Parameters) extends PtwModule(outer) with HasCSRConst with HasPerfEvents { 4892e3bfefSLemover 4992e3bfefSLemover val (mem, edge) = outer.node.out.head 5092e3bfefSLemover 5192e3bfefSLemover val io = IO(new L2TLBIO) 5292e3bfefSLemover val difftestIO = IO(new Bundle() { 5392e3bfefSLemover val ptwResp = Output(Bool()) 5492e3bfefSLemover val ptwAddr = Output(UInt(64.W)) 5592e3bfefSLemover val ptwData = Output(Vec(4, UInt(64.W))) 5692e3bfefSLemover }) 5792e3bfefSLemover 5892e3bfefSLemover /* Ptw processes multiple requests 5992e3bfefSLemover * Divide Ptw procedure into two stages: cache access ; mem access if cache miss 6092e3bfefSLemover * miss queue itlb dtlb 6192e3bfefSLemover * | | | 6292e3bfefSLemover * ------arbiter------ 6392e3bfefSLemover * | 6492e3bfefSLemover * l1 - l2 - l3 - sp 6592e3bfefSLemover * | 6692e3bfefSLemover * ------------------------------------------- 6792e3bfefSLemover * miss | queue | hit 6892e3bfefSLemover * [][][][][][] | 6992e3bfefSLemover * | | 7092e3bfefSLemover * state machine accessing mem | 7192e3bfefSLemover * | | 7292e3bfefSLemover * ---------------arbiter--------------------- 7392e3bfefSLemover * | | 7492e3bfefSLemover * itlb dtlb 7592e3bfefSLemover */ 7692e3bfefSLemover 7792e3bfefSLemover difftestIO <> DontCare 7892e3bfefSLemover 797797f035SbugGenerator val sfence_tmp = DelayN(io.sfence, 1) 807797f035SbugGenerator val csr_tmp = DelayN(io.csr.tlb, 1) 81d0de7e4aSpeixiaokun val sfence_dup = Seq.fill(9)(RegNext(sfence_tmp)) 82d0de7e4aSpeixiaokun val csr_dup = Seq.fill(8)(RegNext(csr_tmp)) 837797f035SbugGenerator val satp = csr_dup(0).satp 84d0de7e4aSpeixiaokun val vsatp = csr_dup(0).vsatp 85d0de7e4aSpeixiaokun val hgatp = csr_dup(0).hgatp 867797f035SbugGenerator val priv = csr_dup(0).priv 87d0de7e4aSpeixiaokun val flush = sfence_dup(0).valid || satp.changed || vsatp.changed || hgatp.changed 8892e3bfefSLemover 8992e3bfefSLemover val pmp = Module(new PMP()) 90c3d5cfb3Speixiaokun val pmp_check = VecInit(Seq.fill(3)(Module(new PMPChecker(lgMaxSize = 3, sameCycle = true)).io)) 9192e3bfefSLemover pmp.io.distribute_csr := io.csr.distribute_csr 9292e3bfefSLemover pmp_check.foreach(_.check_env.apply(ModeS, pmp.io.pmp, pmp.io.pma)) 9392e3bfefSLemover 9492e3bfefSLemover val missQueue = Module(new L2TlbMissQueue) 9592e3bfefSLemover val cache = Module(new PtwCache) 9692e3bfefSLemover val ptw = Module(new PTW) 97d0de7e4aSpeixiaokun val hptw = Module(new HPTW) 9892e3bfefSLemover val llptw = Module(new LLPTW) 997797f035SbugGenerator val blockmq = Module(new BlockHelper(3)) 10092e3bfefSLemover val arb1 = Module(new Arbiter(new PtwReq, PtwWidth)) 10192e3bfefSLemover val arb2 = Module(new Arbiter(new Bundle { 10292e3bfefSLemover val vpn = UInt(vpnLen.W) 103d0de7e4aSpeixiaokun val s2xlate = UInt(2.W) 10492e3bfefSLemover val source = UInt(bSourceWidth.W) 105eb4bf3f2Speixiaokun }, (if (l2tlbParams.enablePrefetch) 4 else 3) + (if(HasHExtension) 1 else 0))) 106d0de7e4aSpeixiaokun val hptw_req_arb = Module(new Arbiter(new Bundle { 107d0de7e4aSpeixiaokun val id = UInt(log2Up(l2tlbParams.llptwsize).W) 108eb4bf3f2Speixiaokun val source = UInt(bSourceWidth.W) 10982978df9Speixiaokun val gvpn = UInt(vpnLen.W) 110d0de7e4aSpeixiaokun }, 2)) 111d0de7e4aSpeixiaokun val hptw_resp_arb = Module(new Arbiter(new Bundle { 112d0de7e4aSpeixiaokun val resp = new HptwResp() 113d0de7e4aSpeixiaokun val id = UInt(log2Up(l2tlbParams.llptwsize).W) 114d0de7e4aSpeixiaokun }, 2)) 115d0de7e4aSpeixiaokun val outArb = (0 until PtwWidth).map(i => Module(new Arbiter(new Bundle { 116d0de7e4aSpeixiaokun val s2xlate = UInt(2.W) 117eb4bf3f2Speixiaokun val s1 = new PtwSectorResp () 118eb4bf3f2Speixiaokun val s2 = new HptwResp() 119d0de7e4aSpeixiaokun }, 1)).io) 120d0de7e4aSpeixiaokun val mergeArb = (0 until PtwWidth).map(i => Module(new Arbiter(new Bundle { 121d0de7e4aSpeixiaokun val s2xlate = UInt(2.W) 122eb4bf3f2Speixiaokun val s1 = new PtwMergeResp() 123eb4bf3f2Speixiaokun val s2 = new HptwResp() 124d0de7e4aSpeixiaokun }, 3)).io) 12592e3bfefSLemover val outArbCachePort = 0 12692e3bfefSLemover val outArbFsmPort = 1 12792e3bfefSLemover val outArbMqPort = 2 12892e3bfefSLemover 129d0de7e4aSpeixiaokun // hptw arb input port 130d0de7e4aSpeixiaokun val InHptwArbPTWPort = 0 131d0de7e4aSpeixiaokun val InHptwArbLLPTWPort = 1 132d0de7e4aSpeixiaokun hptw_req_arb.io.in(InHptwArbPTWPort).valid := ptw.io.hptw.req.valid 133d0de7e4aSpeixiaokun hptw_req_arb.io.in(InHptwArbPTWPort).bits.gvpn := ptw.io.hptw.req.bits.gvpn 134d0de7e4aSpeixiaokun hptw_req_arb.io.in(InHptwArbPTWPort).bits.id := ptw.io.hptw.req.bits.id 135c3d5cfb3Speixiaokun hptw_req_arb.io.in(InHptwArbPTWPort).bits.source := ptw.io.hptw.req.bits.source 136d0de7e4aSpeixiaokun ptw.io.hptw.req.ready := hptw_req_arb.io.in(InHptwArbPTWPort).ready 137d0de7e4aSpeixiaokun 138d0de7e4aSpeixiaokun hptw_req_arb.io.in(InHptwArbLLPTWPort).valid := llptw.io.hptw.req.valid 139d0de7e4aSpeixiaokun hptw_req_arb.io.in(InHptwArbLLPTWPort).bits.gvpn := llptw.io.hptw.req.bits.gvpn 140d0de7e4aSpeixiaokun hptw_req_arb.io.in(InHptwArbLLPTWPort).bits.id := llptw.io.hptw.req.bits.id 141eb4bf3f2Speixiaokun hptw_req_arb.io.in(InHptwArbLLPTWPort).bits.source := llptw.io.hptw.req.bits.source 142d0de7e4aSpeixiaokun llptw.io.hptw.req.ready := hptw_req_arb.io.in(InHptwArbLLPTWPort).ready 143d0de7e4aSpeixiaokun 1449c503409SLemover // arb2 input port 1459c503409SLemover val InArbPTWPort = 0 1469c503409SLemover val InArbMissQueuePort = 1 1479c503409SLemover val InArbTlbPort = 2 1489c503409SLemover val InArbPrefetchPort = 3 149d0de7e4aSpeixiaokun val InArbHPTWPort = 4 15092e3bfefSLemover // NOTE: when cache out but miss and ptw doesnt accept, 15192e3bfefSLemover arb1.io.in <> VecInit(io.tlb.map(_.req(0))) 152eb4bf3f2Speixiaokun 15392e3bfefSLemover 1549c503409SLemover arb2.io.in(InArbPTWPort).valid := ptw.io.llptw.valid 1559c503409SLemover arb2.io.in(InArbPTWPort).bits.vpn := ptw.io.llptw.bits.req_info.vpn 156d0de7e4aSpeixiaokun arb2.io.in(InArbPTWPort).bits.s2xlate := ptw.io.llptw.bits.req_info.s2xlate 1579c503409SLemover arb2.io.in(InArbPTWPort).bits.source := ptw.io.llptw.bits.req_info.source 1589c503409SLemover ptw.io.llptw.ready := arb2.io.in(InArbPTWPort).ready 15992e3bfefSLemover block_decoupled(missQueue.io.out, arb2.io.in(InArbMissQueuePort), !ptw.io.req.ready) 1607797f035SbugGenerator 16192e3bfefSLemover arb2.io.in(InArbTlbPort).valid := arb1.io.out.valid 16292e3bfefSLemover arb2.io.in(InArbTlbPort).bits.vpn := arb1.io.out.bits.vpn 163d0de7e4aSpeixiaokun arb2.io.in(InArbTlbPort).bits.s2xlate := arb1.io.out.bits.s2xlate 16492e3bfefSLemover arb2.io.in(InArbTlbPort).bits.source := arb1.io.chosen 165eb4bf3f2Speixiaokun arb1.io.out.ready := arb2.io.in(InArbTlbPort).ready 166d0de7e4aSpeixiaokun 167d0de7e4aSpeixiaokun arb2.io.in(InArbHPTWPort).valid := hptw_req_arb.io.out.valid 16882978df9Speixiaokun arb2.io.in(InArbHPTWPort).bits.vpn := hptw_req_arb.io.out.bits.gvpn 16982978df9Speixiaokun arb2.io.in(InArbHPTWPort).bits.s2xlate := onlyStage2 170eb4bf3f2Speixiaokun arb2.io.in(InArbHPTWPort).bits.source := hptw_req_arb.io.out.bits.source 171eb4bf3f2Speixiaokun hptw_req_arb.io.out.ready := arb2.io.in(InArbHPTWPort).ready 17292e3bfefSLemover if (l2tlbParams.enablePrefetch) { 17392e3bfefSLemover val prefetch = Module(new L2TlbPrefetch()) 17492e3bfefSLemover val recv = cache.io.resp 17592e3bfefSLemover // NOTE: 1. prefetch doesn't gen prefetch 2. req from mq doesn't gen prefetch 17692e3bfefSLemover // NOTE: 1. miss req gen prefetch 2. hit but prefetched gen prefetch 177935edac4STang Haojin prefetch.io.in.valid := recv.fire && !from_pre(recv.bits.req_info.source) && (!recv.bits.hit || 17892e3bfefSLemover recv.bits.prefetch) && recv.bits.isFirst 17992e3bfefSLemover prefetch.io.in.bits.vpn := recv.bits.req_info.vpn 1807797f035SbugGenerator prefetch.io.sfence := sfence_dup(0) 1817797f035SbugGenerator prefetch.io.csr := csr_dup(0) 18292e3bfefSLemover arb2.io.in(InArbPrefetchPort) <> prefetch.io.out 1835afdf73cSHaoyuan Feng 184da3bf434SMaxpicca-Li val isWriteL2TlbPrefetchTable = WireInit(Constantin.createRecord("isWriteL2TlbPrefetchTable" + p(XSCoreParamsKey).HartId.toString)) 1855afdf73cSHaoyuan Feng val L2TlbPrefetchTable = ChiselDB.createTable("L2TlbPrefetch_hart" + p(XSCoreParamsKey).HartId.toString, new L2TlbPrefetchDB) 1865afdf73cSHaoyuan Feng val L2TlbPrefetchDB = Wire(new L2TlbPrefetchDB) 1875afdf73cSHaoyuan Feng L2TlbPrefetchDB.vpn := prefetch.io.out.bits.vpn 188da3bf434SMaxpicca-Li L2TlbPrefetchTable.log(L2TlbPrefetchDB, isWriteL2TlbPrefetchTable.orR && prefetch.io.out.fire, "L2TlbPrefetch", clock, reset) 18992e3bfefSLemover } 19092e3bfefSLemover arb2.io.out.ready := cache.io.req.ready 19192e3bfefSLemover 1927797f035SbugGenerator 1937797f035SbugGenerator val mq_arb = Module(new Arbiter(new L2TlbInnerBundle, 2)) 1947797f035SbugGenerator mq_arb.io.in(0).valid := cache.io.resp.valid && !cache.io.resp.bits.hit && 1957797f035SbugGenerator (!cache.io.resp.bits.toFsm.l2Hit || cache.io.resp.bits.bypassed) && 1967797f035SbugGenerator !from_pre(cache.io.resp.bits.req_info.source) && 1977797f035SbugGenerator (cache.io.resp.bits.bypassed || cache.io.resp.bits.isFirst || !ptw.io.req.ready) 1987797f035SbugGenerator mq_arb.io.in(0).bits := cache.io.resp.bits.req_info 1997797f035SbugGenerator mq_arb.io.in(1) <> llptw.io.cache 2007797f035SbugGenerator missQueue.io.in <> mq_arb.io.out 2017797f035SbugGenerator missQueue.io.sfence := sfence_dup(6) 2027797f035SbugGenerator missQueue.io.csr := csr_dup(5) 2037797f035SbugGenerator 2047797f035SbugGenerator blockmq.io.start := missQueue.io.out.fire 205935edac4STang Haojin blockmq.io.enable := ptw.io.req.fire 2067797f035SbugGenerator 207d0de7e4aSpeixiaokun llptw.io.in.valid := cache.io.resp.valid && 208d0de7e4aSpeixiaokun !cache.io.resp.bits.hit && 209d0de7e4aSpeixiaokun cache.io.resp.bits.toFsm.l2Hit && 210d0de7e4aSpeixiaokun !cache.io.resp.bits.bypassed && 211d0de7e4aSpeixiaokun !cache.io.resp.bits.isHptw 2129c503409SLemover llptw.io.in.bits.req_info := cache.io.resp.bits.req_info 2139c503409SLemover llptw.io.in.bits.ppn := cache.io.resp.bits.toFsm.ppn 2147797f035SbugGenerator llptw.io.sfence := sfence_dup(1) 2157797f035SbugGenerator llptw.io.csr := csr_dup(1) 21692e3bfefSLemover 21792e3bfefSLemover cache.io.req.valid := arb2.io.out.valid 21892e3bfefSLemover cache.io.req.bits.req_info.vpn := arb2.io.out.bits.vpn 219d0de7e4aSpeixiaokun cache.io.req.bits.req_info.s2xlate := arb2.io.out.bits.s2xlate 22092e3bfefSLemover cache.io.req.bits.req_info.source := arb2.io.out.bits.source 22192e3bfefSLemover cache.io.req.bits.isFirst := arb2.io.chosen =/= InArbMissQueuePort.U 222d0de7e4aSpeixiaokun cache.io.req.bits.isHptw := arb2.io.chosen === InArbHPTWPort.U 223140987d8Speixiaokun cache.io.req.bits.hptwId := hptw_req_arb.io.out.bits.id 2241f4a7c0cSLemover cache.io.req.bits.bypassed.map(_ := false.B) 2257797f035SbugGenerator cache.io.sfence := sfence_dup(2) 2267797f035SbugGenerator cache.io.csr := csr_dup(2) 2277797f035SbugGenerator cache.io.sfence_dup.zip(sfence_dup.drop(2).take(4)).map(s => s._1 := s._2) 2287797f035SbugGenerator cache.io.csr_dup.zip(csr_dup.drop(2).take(3)).map(c => c._1 := c._2) 22992e3bfefSLemover cache.io.resp.ready := Mux(cache.io.resp.bits.hit, 23092e3bfefSLemover outReady(cache.io.resp.bits.req_info.source, outArbCachePort), 2319c503409SLemover Mux(cache.io.resp.bits.toFsm.l2Hit && !cache.io.resp.bits.bypassed, llptw.io.in.ready, 2327797f035SbugGenerator Mux(cache.io.resp.bits.bypassed || cache.io.resp.bits.isFirst, mq_arb.io.in(0).ready, mq_arb.io.in(0).ready || ptw.io.req.ready))) 23392e3bfefSLemover 23492e3bfefSLemover // NOTE: missQueue req has higher priority 2357797f035SbugGenerator ptw.io.req.valid := cache.io.resp.valid && !cache.io.resp.bits.hit && !cache.io.resp.bits.toFsm.l2Hit && 2367797f035SbugGenerator !cache.io.resp.bits.bypassed && 237d0de7e4aSpeixiaokun !cache.io.resp.bits.isFirst && 238d0de7e4aSpeixiaokun !cache.io.resp.bits.isHptw 23992e3bfefSLemover ptw.io.req.bits.req_info := cache.io.resp.bits.req_info 24092e3bfefSLemover ptw.io.req.bits.l1Hit := cache.io.resp.bits.toFsm.l1Hit 24192e3bfefSLemover ptw.io.req.bits.ppn := cache.io.resp.bits.toFsm.ppn 2427797f035SbugGenerator ptw.io.sfence := sfence_dup(7) 2437797f035SbugGenerator ptw.io.csr := csr_dup(6) 24492e3bfefSLemover ptw.io.resp.ready := outReady(ptw.io.resp.bits.source, outArbFsmPort) 24592e3bfefSLemover 246d0de7e4aSpeixiaokun hptw.io.req.valid := cache.io.resp.valid && !cache.io.resp.bits.hit && !cache.io.resp.bits.bypassed & cache.io.resp.bits.isHptw 24782978df9Speixiaokun hptw.io.req.bits.gvpn := cache.io.resp.bits.req_info.vpn 248d0de7e4aSpeixiaokun hptw.io.req.bits.id := cache.io.resp.bits.toHptw.id 249c3d5cfb3Speixiaokun hptw.io.req.bits.source := cache.io.resp.bits.req_info.source 250d0de7e4aSpeixiaokun hptw.io.req.bits.l1Hit := cache.io.resp.bits.toHptw.l1Hit 251d0de7e4aSpeixiaokun hptw.io.req.bits.l2Hit := cache.io.resp.bits.toHptw.l2Hit 252*979f601eSpeixiaokun hptw.io.req.bits.ppn := cache.io.resp.bits.toHptw.ppn 253d0de7e4aSpeixiaokun hptw.io.sfence := sfence_dup(8) 254d0de7e4aSpeixiaokun hptw.io.csr := csr_dup(7) 25592e3bfefSLemover // mem req 25692e3bfefSLemover def blockBytes_align(addr: UInt) = { 25792e3bfefSLemover Cat(addr(PAddrBits - 1, log2Up(l2tlbParams.blockBytes)), 0.U(log2Up(l2tlbParams.blockBytes).W)) 25892e3bfefSLemover } 25992e3bfefSLemover def addr_low_from_vpn(vpn: UInt) = { 26092e3bfefSLemover vpn(log2Ceil(l2tlbParams.blockBytes)-log2Ceil(XLEN/8)-1, 0) 26192e3bfefSLemover } 26292e3bfefSLemover def addr_low_from_paddr(paddr: UInt) = { 26392e3bfefSLemover paddr(log2Up(l2tlbParams.blockBytes)-1, log2Up(XLEN/8)) 26492e3bfefSLemover } 265d0de7e4aSpeixiaokun def from_llptw(id: UInt) = { 266d0de7e4aSpeixiaokun id < l2tlbParams.llptwsize.U 267d0de7e4aSpeixiaokun } 268d0de7e4aSpeixiaokun def from_ptw(id: UInt) = { 269d0de7e4aSpeixiaokun id === l2tlbParams.llptwsize.U 270d0de7e4aSpeixiaokun } 271d0de7e4aSpeixiaokun def from_hptw(id: UInt) = { 272d0de7e4aSpeixiaokun id === l2tlbParams.llptwsize.U + 1.U 27392e3bfefSLemover } 27492e3bfefSLemover val waiting_resp = RegInit(VecInit(Seq.fill(MemReqWidth)(false.B))) 27592e3bfefSLemover val flush_latch = RegInit(VecInit(Seq.fill(MemReqWidth)(false.B))) 27692e3bfefSLemover for (i <- waiting_resp.indices) { 27792e3bfefSLemover assert(!flush_latch(i) || waiting_resp(i)) // when sfence_latch wait for mem resp, waiting_resp should be true 27892e3bfefSLemover } 27992e3bfefSLemover 28092e3bfefSLemover val llptw_out = llptw.io.out 28192e3bfefSLemover val llptw_mem = llptw.io.mem 28292e3bfefSLemover llptw_mem.req_mask := waiting_resp.take(l2tlbParams.llptwsize) 283d61cd5eeSpeixiaokun ptw.io.mem.mask := waiting_resp.apply(l2tlbParams.llptwsize) 284d61cd5eeSpeixiaokun hptw.io.mem.mask := waiting_resp.apply(l2tlbParams.llptwsize + 1) 28592e3bfefSLemover 286d0de7e4aSpeixiaokun val mem_arb = Module(new Arbiter(new L2TlbMemReqBundle(), 3)) 28792e3bfefSLemover mem_arb.io.in(0) <> ptw.io.mem.req 28892e3bfefSLemover mem_arb.io.in(1) <> llptw_mem.req 289d0de7e4aSpeixiaokun mem_arb.io.in(2) <> hptw.io.mem.req 29092e3bfefSLemover mem_arb.io.out.ready := mem.a.ready && !flush 29192e3bfefSLemover 2921f4a7c0cSLemover // assert, should not send mem access at same addr for twice. 2937797f035SbugGenerator val last_resp_vpn = RegEnable(cache.io.refill.bits.req_info_dup(0).vpn, cache.io.refill.valid) 2947797f035SbugGenerator val last_resp_level = RegEnable(cache.io.refill.bits.level_dup(0), cache.io.refill.valid) 2951f4a7c0cSLemover val last_resp_v = RegInit(false.B) 296dd7fe201SHaoyuan Feng val last_has_invalid = !Cat(cache.io.refill.bits.ptes.asTypeOf(Vec(blockBits/XLEN, UInt(XLEN.W))).map(a => a(0))).andR || cache.io.refill.bits.sel_pte_dup(0).asTypeOf(new PteBundle).isAf() 2971f4a7c0cSLemover when (cache.io.refill.valid) { last_resp_v := !last_has_invalid} 2981f4a7c0cSLemover when (flush) { last_resp_v := false.B } 2991f4a7c0cSLemover XSError(last_resp_v && cache.io.refill.valid && 3007797f035SbugGenerator (cache.io.refill.bits.req_info_dup(0).vpn === last_resp_vpn) && 3017797f035SbugGenerator (cache.io.refill.bits.level_dup(0) === last_resp_level), 3021f4a7c0cSLemover "l2tlb should not access mem at same addr for twice") 303d0de7e4aSpeixiaokun // ATTENTION: this may wrongly assert when: a ptes is l2, last part is valid, 3041f4a7c0cSLemover // but the current part is invalid, so one more mem access happened 3051f4a7c0cSLemover // If this happened, remove the assert. 3061f4a7c0cSLemover 30792e3bfefSLemover val req_addr_low = Reg(Vec(MemReqWidth, UInt((log2Up(l2tlbParams.blockBytes)-log2Up(XLEN/8)).W))) 30892e3bfefSLemover 309935edac4STang Haojin when (llptw.io.in.fire) { 31092e3bfefSLemover // when enq miss queue, set the req_addr_low to receive the mem resp data part 31192e3bfefSLemover req_addr_low(llptw_mem.enq_ptr) := addr_low_from_vpn(llptw.io.in.bits.req_info.vpn) 31292e3bfefSLemover } 313935edac4STang Haojin when (mem_arb.io.out.fire) { 31492e3bfefSLemover req_addr_low(mem_arb.io.out.bits.id) := addr_low_from_paddr(mem_arb.io.out.bits.addr) 31592e3bfefSLemover waiting_resp(mem_arb.io.out.bits.id) := true.B 31692e3bfefSLemover } 31792e3bfefSLemover // mem read 31892e3bfefSLemover val memRead = edge.Get( 31992e3bfefSLemover fromSource = mem_arb.io.out.bits.id, 32092e3bfefSLemover // toAddress = memAddr(log2Up(CacheLineSize / 2 / 8) - 1, 0), 32192e3bfefSLemover toAddress = blockBytes_align(mem_arb.io.out.bits.addr), 32292e3bfefSLemover lgSize = log2Up(l2tlbParams.blockBytes).U 32392e3bfefSLemover )._2 32492e3bfefSLemover mem.a.bits := memRead 32592e3bfefSLemover mem.a.valid := mem_arb.io.out.valid && !flush 326d2b20d1aSTang Haojin mem.a.bits.user.lift(ReqSourceKey).foreach(_ := MemReqSource.PTW.id.U) 32792e3bfefSLemover mem.d.ready := true.B 32892e3bfefSLemover // mem -> data buffer 32992e3bfefSLemover val refill_data = Reg(Vec(blockBits / l1BusDataWidth, UInt(l1BusDataWidth.W))) 330935edac4STang Haojin val refill_helper = edge.firstlastHelper(mem.d.bits, mem.d.fire) 33192e3bfefSLemover val mem_resp_done = refill_helper._3 332d0de7e4aSpeixiaokun val mem_resp_from_llptw = from_llptw(mem.d.bits.source) 333d0de7e4aSpeixiaokun val mem_resp_from_ptw = from_ptw(mem.d.bits.source) 334d0de7e4aSpeixiaokun val mem_resp_from_hptw = from_hptw(mem.d.bits.source) 33592e3bfefSLemover when (mem.d.valid) { 336d0de7e4aSpeixiaokun assert(mem.d.bits.source < MemReqWidth.U) 33792e3bfefSLemover refill_data(refill_helper._4) := mem.d.bits.data 33892e3bfefSLemover } 3397797f035SbugGenerator // refill_data_tmp is the wire fork of refill_data, but one cycle earlier 3407797f035SbugGenerator val refill_data_tmp = WireInit(refill_data) 3417797f035SbugGenerator refill_data_tmp(refill_helper._4) := mem.d.bits.data 3427797f035SbugGenerator 34392e3bfefSLemover // save only one pte for each id 34492e3bfefSLemover // (miss queue may can't resp to tlb with low latency, it should have highest priority, but diffcult to design cache) 34592e3bfefSLemover val resp_pte = VecInit((0 until MemReqWidth).map(i => 346d0de7e4aSpeixiaokun if (i == l2tlbParams.llptwsize + 1) {RegEnable(get_part(refill_data_tmp, req_addr_low(i)), mem_resp_done && mem_resp_from_hptw) } 347d0de7e4aSpeixiaokun else if (i == l2tlbParams.llptwsize) {RegEnable(get_part(refill_data_tmp, req_addr_low(i)), mem_resp_done && mem_resp_from_ptw) } 34892e3bfefSLemover else { DataHoldBypass(get_part(refill_data, req_addr_low(i)), llptw_mem.buffer_it(i)) } 3497797f035SbugGenerator // llptw could not use refill_data_tmp, because enq bypass's result works at next cycle 35092e3bfefSLemover )) 35192e3bfefSLemover 35263632028SHaoyuan Feng // save eight ptes for each id when sector tlb 35363632028SHaoyuan Feng // (miss queue may can't resp to tlb with low latency, it should have highest priority, but diffcult to design cache) 35463632028SHaoyuan Feng val resp_pte_sector = VecInit((0 until MemReqWidth).map(i => 355d0de7e4aSpeixiaokun if (i == l2tlbParams.llptwsize + 1) {RegEnable(refill_data_tmp, mem_resp_done && mem_resp_from_hptw) } 356d0de7e4aSpeixiaokun else if (i == l2tlbParams.llptwsize) {RegEnable(refill_data_tmp, mem_resp_done && mem_resp_from_ptw) } 35763632028SHaoyuan Feng else { DataHoldBypass(refill_data, llptw_mem.buffer_it(i)) } 35863632028SHaoyuan Feng // llptw could not use refill_data_tmp, because enq bypass's result works at next cycle 35963632028SHaoyuan Feng )) 36063632028SHaoyuan Feng 361d0de7e4aSpeixiaokun // mem -> llptw 362d0de7e4aSpeixiaokun llptw_mem.resp.valid := mem_resp_done && mem_resp_from_llptw 3637797f035SbugGenerator llptw_mem.resp.bits.id := DataHoldBypass(mem.d.bits.source, mem.d.valid) 36492e3bfefSLemover // mem -> ptw 36592e3bfefSLemover ptw.io.mem.req.ready := mem.a.ready 366d0de7e4aSpeixiaokun ptw.io.mem.resp.valid := mem_resp_done && mem_resp_from_ptw 367d61cd5eeSpeixiaokun ptw.io.mem.resp.bits := resp_pte.apply(l2tlbParams.llptwsize) 368d0de7e4aSpeixiaokun // mem -> hptw 369d0de7e4aSpeixiaokun hptw.io.mem.req.ready := mem.a.ready 370d0de7e4aSpeixiaokun hptw.io.mem.resp.valid := mem_resp_done && mem_resp_from_hptw 371d61cd5eeSpeixiaokun hptw.io.mem.resp.bits := resp_pte.apply(l2tlbParams.llptwsize + 1) 37292e3bfefSLemover // mem -> cache 373d0de7e4aSpeixiaokun val refill_from_llptw = mem_resp_from_llptw 374d0de7e4aSpeixiaokun val refill_from_ptw = mem_resp_from_ptw 375d0de7e4aSpeixiaokun val refill_from_hptw = mem_resp_from_hptw 376d0de7e4aSpeixiaokun val refill_level = Mux(refill_from_llptw, 2.U, Mux(refill_from_ptw, RegEnable(ptw.io.refill.level, init = 0.U, ptw.io.mem.req.fire()), RegEnable(hptw.io.refill.level, init = 0.U, hptw.io.mem.req.fire()))) 3777797f035SbugGenerator val refill_valid = mem_resp_done && !flush && !flush_latch(mem.d.bits.source) 3787797f035SbugGenerator 3797797f035SbugGenerator cache.io.refill.valid := RegNext(refill_valid, false.B) 38092e3bfefSLemover cache.io.refill.bits.ptes := refill_data.asUInt 381d0de7e4aSpeixiaokun cache.io.refill.bits.req_info_dup.map(_ := RegEnable(Mux(refill_from_llptw, llptw_mem.refill, Mux(refill_from_ptw, ptw.io.refill.req_info, hptw.io.refill.req_info)), refill_valid)) 3827797f035SbugGenerator cache.io.refill.bits.level_dup.map(_ := RegEnable(refill_level, refill_valid)) 3837797f035SbugGenerator cache.io.refill.bits.levelOH(refill_level, refill_valid) 3847797f035SbugGenerator cache.io.refill.bits.sel_pte_dup.map(_ := RegNext(sel_data(refill_data_tmp.asUInt, req_addr_low(mem.d.bits.source)))) 38592e3bfefSLemover 3869c26bab7SHaoyuan Feng if (env.EnableDifftest) { 3879c26bab7SHaoyuan Feng val difftest_ptw_addr = RegInit(VecInit(Seq.fill(MemReqWidth)(0.U(PAddrBits.W)))) 3889c26bab7SHaoyuan Feng when (mem.a.valid) { 3899c26bab7SHaoyuan Feng difftest_ptw_addr(mem.a.bits.source) := mem.a.bits.address 3909c26bab7SHaoyuan Feng } 3919c26bab7SHaoyuan Feng 392a0c65233SYinan Xu val difftest = DifftestModule(new DiffRefillEvent, dontCare = true) 393254e4960SHaoyuan Feng difftest.coreid := io.hartId 3947d45a146SYinan Xu difftest.index := 2.U 3957d45a146SYinan Xu difftest.valid := cache.io.refill.valid 3967d45a146SYinan Xu difftest.addr := difftest_ptw_addr(RegNext(mem.d.bits.source)) 3977d45a146SYinan Xu difftest.data := refill_data.asTypeOf(difftest.data) 398935edac4STang Haojin difftest.idtfr := DontCare 3999c26bab7SHaoyuan Feng } 4009c26bab7SHaoyuan Feng 4015ab1b84dSHaoyuan Feng if (env.EnableDifftest) { 4025ab1b84dSHaoyuan Feng for (i <- 0 until PtwWidth) { 4037d45a146SYinan Xu val difftest = DifftestModule(new DiffL2TLBEvent) 40487d0ba30Speixiaokun difftest.clock := clock 40587d0ba30Speixiaokun difftest.coreid := p(XSCoreParamsKey).HartId.asUInt 406d61cd5eeSpeixiaokun difftest.valid := io.tlb(i).resp.fire && !io.tlb(i).resp.bits.s1.af && !io.tlb(i).resp.bits.s2.gaf 4077d45a146SYinan Xu difftest.index := i.U 40887d0ba30Speixiaokun difftest.vpn := Cat(io.tlb(i).resp.bits.s1.entry.tag, 0.U(sectortlbwidth.W)) 40963632028SHaoyuan Feng for (j <- 0 until tlbcontiguous) { 4107d45a146SYinan Xu difftest.ppn(j) := Cat(io.tlb(i).resp.bits.entry.ppn, io.tlb(i).resp.bits.ppn_low(j)) 4117d45a146SYinan Xu difftest.valididx(j) := io.tlb(i).resp.bits.valididx(j) 41287d0ba30Speixiaokun difftest.pteidx(j) := io.tlb(i).resp.bits.s1.pteidx(j) 41363632028SHaoyuan Feng } 41487d0ba30Speixiaokun difftest.perm := io.tlb(i).resp.bits.s1.entry.perm.getOrElse(0.U.asTypeOf(new PtePermBundle)).asUInt 41587d0ba30Speixiaokun difftest.level := io.tlb(i).resp.bits.s1.entry.level.getOrElse(0.U.asUInt) 41687d0ba30Speixiaokun difftest.pf := io.tlb(i).resp.bits.s1.pf 41787d0ba30Speixiaokun difftest.satp := Cat(io.csr.tlb.satp.mode, io.csr.tlb.satp.asid, io.csr.tlb.satp.ppn) 41887d0ba30Speixiaokun difftest.vsatp := Cat(io.csr.tlb.vsatp.mode, io.csr.tlb.vsatp.asid, io.csr.tlb.vsatp.ppn) 41987d0ba30Speixiaokun difftest.hgatp := Cat(io.csr.tlb.hgatp.mode, io.csr.tlb.hgatp.asid, io.csr.tlb.hgatp.ppn) 42087d0ba30Speixiaokun difftest.gvpn := io.tlb(i).resp.bits.s2.entry.tag 42187d0ba30Speixiaokun difftest.g_perm := io.tlb(i).resp.bits.s2.entry.perm.getOrElse(0.U.asTypeOf(new PtePermBundle)).asUInt 42287d0ba30Speixiaokun difftest.g_level := io.tlb(i).resp.bits.s2.entry.level.getOrElse(0.U.asUInt) 42387d0ba30Speixiaokun difftest.s2ppn := io.tlb(i).resp.bits.s2.entry.ppn 42487d0ba30Speixiaokun difftest.gpf := io.tlb(i).resp.bits.s2.gpf 42587d0ba30Speixiaokun difftest.s2xlate := io.tlb(i).resp.bits.s2xlate 4265ab1b84dSHaoyuan Feng } 4275ab1b84dSHaoyuan Feng } 4285ab1b84dSHaoyuan Feng 42992e3bfefSLemover // pmp 43092e3bfefSLemover pmp_check(0).req <> ptw.io.pmp.req 43192e3bfefSLemover ptw.io.pmp.resp <> pmp_check(0).resp 43292e3bfefSLemover pmp_check(1).req <> llptw.io.pmp.req 43392e3bfefSLemover llptw.io.pmp.resp <> pmp_check(1).resp 434c3d5cfb3Speixiaokun pmp_check(2).req <> hptw.io.pmp.req 435c3d5cfb3Speixiaokun hptw.io.pmp.resp <> pmp_check(2).resp 43692e3bfefSLemover 43792e3bfefSLemover llptw_out.ready := outReady(llptw_out.bits.req_info.source, outArbMqPort) 43863632028SHaoyuan Feng 439d0de7e4aSpeixiaokun // hptw and page cache -> ptw and llptw 440d0de7e4aSpeixiaokun val HptwRespArbCachePort = 0 441eb4bf3f2Speixiaokun val HptwRespArbHptw = 1 442d0de7e4aSpeixiaokun hptw_resp_arb.io.in(HptwRespArbCachePort).valid := cache.io.resp.valid && cache.io.resp.bits.hit && cache.io.resp.bits.isHptw 443d0de7e4aSpeixiaokun hptw_resp_arb.io.in(HptwRespArbCachePort).bits.id := cache.io.resp.bits.toHptw.id 444d0de7e4aSpeixiaokun hptw_resp_arb.io.in(HptwRespArbCachePort).bits.resp := cache.io.resp.bits.toHptw.resp 445d0de7e4aSpeixiaokun hptw_resp_arb.io.in(HptwRespArbHptw).valid := hptw.io.resp.valid 446d0de7e4aSpeixiaokun hptw_resp_arb.io.in(HptwRespArbHptw).bits.id := hptw.io.resp.bits.id 447d0de7e4aSpeixiaokun hptw_resp_arb.io.in(HptwRespArbHptw).bits.resp := hptw.io.resp.bits.resp 448d0de7e4aSpeixiaokun 449d0de7e4aSpeixiaokun ptw.io.hptw.resp.valid := hptw_resp_arb.io.out.valid && hptw_resp_arb.io.out.bits.id === FsmReqID.U 450d0de7e4aSpeixiaokun ptw.io.hptw.resp.bits.h_resp := hptw_resp_arb.io.out.bits.resp 451d0de7e4aSpeixiaokun llptw.io.hptw.resp.valid := hptw_resp_arb.io.out.valid && hptw_resp_arb.io.out.bits.id =/= FsmReqID.U 452c3d5cfb3Speixiaokun llptw.io.hptw.resp.bits.id := hptw_resp_arb.io.out.bits.id 453d0de7e4aSpeixiaokun llptw.io.hptw.resp.bits.h_resp := hptw_resp_arb.io.out.bits.resp 454c3d5cfb3Speixiaokun hptw_resp_arb.io.out.ready := true.B 455d0de7e4aSpeixiaokun 45663632028SHaoyuan Feng // Timing: Maybe need to do some optimization or even add one more cycle 45792e3bfefSLemover for (i <- 0 until PtwWidth) { 45863632028SHaoyuan Feng mergeArb(i).in(outArbCachePort).valid := cache.io.resp.valid && cache.io.resp.bits.hit && cache.io.resp.bits.req_info.source===i.U 459d0de7e4aSpeixiaokun mergeArb(i).in(outArbCachePort).bits.s2xlate := cache.io.resp.bits.req_info.s2xlate 460eb4bf3f2Speixiaokun mergeArb(i).in(outArbCachePort).bits.s1 := cache.io.resp.bits.toTlb 461eb4bf3f2Speixiaokun mergeArb(i).in(outArbCachePort).bits.s2 := cache.io.resp.bits.toHptw.resp 46263632028SHaoyuan Feng mergeArb(i).in(outArbFsmPort).valid := ptw.io.resp.valid && ptw.io.resp.bits.source===i.U 463d0de7e4aSpeixiaokun mergeArb(i).in(outArbFsmPort).bits.s2xlate := ptw.io.resp.bits.s2xlate 464eb4bf3f2Speixiaokun mergeArb(i).in(outArbFsmPort).bits.s1 := ptw.io.resp.bits.resp 465eb4bf3f2Speixiaokun mergeArb(i).in(outArbFsmPort).bits.s2 := ptw.io.resp.bits.h_resp 46663632028SHaoyuan Feng mergeArb(i).in(outArbMqPort).valid := llptw_out.valid && llptw_out.bits.req_info.source===i.U 467d0de7e4aSpeixiaokun mergeArb(i).in(outArbMqPort).bits.s2xlate := llptw_out.bits.req_info.s2xlate 468eb4bf3f2Speixiaokun mergeArb(i).in(outArbMqPort).bits.s1 := contiguous_pte_to_merge_ptwResp(resp_pte_sector(llptw_out.bits.id).asUInt, llptw_out.bits.req_info.vpn, llptw_out.bits.af, true, s2xlate = llptw_out.bits.req_info.s2xlate) 469eb4bf3f2Speixiaokun mergeArb(i).in(outArbMqPort).bits.s2 := llptw_out.bits.h_resp 47063632028SHaoyuan Feng mergeArb(i).out.ready := outArb(i).in(0).ready 47163632028SHaoyuan Feng } 47263632028SHaoyuan Feng 47363632028SHaoyuan Feng for (i <- 0 until PtwWidth) { 47463632028SHaoyuan Feng outArb(i).in(0).valid := mergeArb(i).out.valid 475eb4bf3f2Speixiaokun outArb(i).in(0).bits.s2xlate := mergeArb(i).out.bits.s2xlate 476eb4bf3f2Speixiaokun outArb(i).in(0).bits.s1 := merge_ptwResp_to_sector_ptwResp(mergeArb(i).out.bits.s1) 477eb4bf3f2Speixiaokun outArb(i).in(0).bits.s2 := mergeArb(i).out.bits.s2 47892e3bfefSLemover } 47992e3bfefSLemover 48092e3bfefSLemover // io.tlb.map(_.resp) <> outArb.map(_.out) 48192e3bfefSLemover io.tlb.map(_.resp).zip(outArb.map(_.out)).map{ 48292e3bfefSLemover case (resp, out) => resp <> out 48392e3bfefSLemover } 48492e3bfefSLemover 48592e3bfefSLemover // sfence 48692e3bfefSLemover when (flush) { 48792e3bfefSLemover for (i <- 0 until MemReqWidth) { 48892e3bfefSLemover when (waiting_resp(i)) { 48992e3bfefSLemover flush_latch(i) := true.B 49092e3bfefSLemover } 49192e3bfefSLemover } 49292e3bfefSLemover } 49392e3bfefSLemover // mem -> control signal 49492e3bfefSLemover // waiting_resp and sfence_latch will be reset when mem_resp_done 49592e3bfefSLemover when (mem_resp_done) { 49692e3bfefSLemover waiting_resp(mem.d.bits.source) := false.B 49792e3bfefSLemover flush_latch(mem.d.bits.source) := false.B 49892e3bfefSLemover } 49992e3bfefSLemover 50092e3bfefSLemover def block_decoupled[T <: Data](source: DecoupledIO[T], sink: DecoupledIO[T], block_signal: Bool) = { 50192e3bfefSLemover sink.valid := source.valid && !block_signal 50292e3bfefSLemover source.ready := sink.ready && !block_signal 50392e3bfefSLemover sink.bits := source.bits 50492e3bfefSLemover } 50592e3bfefSLemover 50692e3bfefSLemover def get_part(data: Vec[UInt], index: UInt): UInt = { 50792e3bfefSLemover val inner_data = data.asTypeOf(Vec(data.getWidth / XLEN, UInt(XLEN.W))) 50892e3bfefSLemover inner_data(index) 50992e3bfefSLemover } 51092e3bfefSLemover 51163632028SHaoyuan Feng // not_super means that this is a normal page 51263632028SHaoyuan Feng // valididx(i) will be all true when super page to be convenient for l1 tlb matching 513eb4bf3f2Speixiaokun def contiguous_pte_to_merge_ptwResp(pte: UInt, vpn: UInt, af: Bool, af_first: Boolean, not_super: Boolean = true, s2xlate: UInt) : PtwMergeResp = { 51463632028SHaoyuan Feng assert(tlbcontiguous == 8, "Only support tlbcontiguous = 8!") 51563632028SHaoyuan Feng val ptw_merge_resp = Wire(new PtwMergeResp()) 516eb4bf3f2Speixiaokun val hasS2xlate = s2xlate =/= noS2xlate 51763632028SHaoyuan Feng for (i <- 0 until tlbcontiguous) { 51863632028SHaoyuan Feng val pte_in = pte(64 * i + 63, 64 * i).asTypeOf(new PteBundle()) 51963632028SHaoyuan Feng val ptw_resp = Wire(new PtwMergeEntry(tagLen = sectorvpnLen, hasPerm = true, hasLevel = true)) 52063632028SHaoyuan Feng ptw_resp.ppn := pte_in.ppn(ppnLen - 1, sectortlbwidth) 52163632028SHaoyuan Feng ptw_resp.ppn_low := pte_in.ppn(sectortlbwidth - 1, 0) 52263632028SHaoyuan Feng ptw_resp.level.map(_ := 2.U) 52363632028SHaoyuan Feng ptw_resp.perm.map(_ := pte_in.getPerm()) 52463632028SHaoyuan Feng ptw_resp.tag := vpn(vpnLen - 1, sectortlbwidth) 52563632028SHaoyuan Feng ptw_resp.pf := (if (af_first) !af else true.B) && pte_in.isPf(2.U) 52663632028SHaoyuan Feng ptw_resp.af := (if (!af_first) pte_in.isPf(2.U) else true.B) && (af || pte_in.isAf()) 52763632028SHaoyuan Feng ptw_resp.v := !ptw_resp.pf 52863632028SHaoyuan Feng ptw_resp.prefetch := DontCare 529eb4bf3f2Speixiaokun ptw_resp.asid := Mux(hasS2xlate, vsatp.asid, satp.asid) 530eb4bf3f2Speixiaokun ptw_resp.vmid.map(_ := hgatp.asid) 53163632028SHaoyuan Feng ptw_merge_resp.entry(i) := ptw_resp 53263632028SHaoyuan Feng } 53363632028SHaoyuan Feng ptw_merge_resp.pteidx := UIntToOH(vpn(sectortlbwidth - 1, 0)).asBools 53463632028SHaoyuan Feng ptw_merge_resp.not_super := not_super.B 53563632028SHaoyuan Feng ptw_merge_resp 53663632028SHaoyuan Feng } 53763632028SHaoyuan Feng 53863632028SHaoyuan Feng def merge_ptwResp_to_sector_ptwResp(pte: PtwMergeResp) : PtwSectorResp = { 53963632028SHaoyuan Feng assert(tlbcontiguous == 8, "Only support tlbcontiguous = 8!") 54063632028SHaoyuan Feng val ptw_sector_resp = Wire(new PtwSectorResp) 54163632028SHaoyuan Feng ptw_sector_resp.entry.tag := pte.entry(OHToUInt(pte.pteidx)).tag 54263632028SHaoyuan Feng ptw_sector_resp.entry.asid := pte.entry(OHToUInt(pte.pteidx)).asid 543c3d5cfb3Speixiaokun ptw_sector_resp.entry.vmid.map(_ := pte.entry(OHToUInt(pte.pteidx)).vmid.getOrElse(0.U)) 54463632028SHaoyuan Feng ptw_sector_resp.entry.ppn := pte.entry(OHToUInt(pte.pteidx)).ppn 54563632028SHaoyuan Feng ptw_sector_resp.entry.perm.map(_ := pte.entry(OHToUInt(pte.pteidx)).perm.getOrElse(0.U.asTypeOf(new PtePermBundle))) 54663632028SHaoyuan Feng ptw_sector_resp.entry.level.map(_ := pte.entry(OHToUInt(pte.pteidx)).level.getOrElse(0.U(2.W))) 54763632028SHaoyuan Feng ptw_sector_resp.entry.prefetch := pte.entry(OHToUInt(pte.pteidx)).prefetch 54863632028SHaoyuan Feng ptw_sector_resp.entry.v := pte.entry(OHToUInt(pte.pteidx)).v 54963632028SHaoyuan Feng ptw_sector_resp.af := pte.entry(OHToUInt(pte.pteidx)).af 55063632028SHaoyuan Feng ptw_sector_resp.pf := pte.entry(OHToUInt(pte.pteidx)).pf 55163632028SHaoyuan Feng ptw_sector_resp.addr_low := OHToUInt(pte.pteidx) 552b0fa7106SHaoyuan Feng ptw_sector_resp.pteidx := pte.pteidx 55363632028SHaoyuan Feng for (i <- 0 until tlbcontiguous) { 55463632028SHaoyuan Feng val ppn_equal = pte.entry(i).ppn === pte.entry(OHToUInt(pte.pteidx)).ppn 55563632028SHaoyuan Feng val perm_equal = pte.entry(i).perm.getOrElse(0.U.asTypeOf(new PtePermBundle)).asUInt === pte.entry(OHToUInt(pte.pteidx)).perm.getOrElse(0.U.asTypeOf(new PtePermBundle)).asUInt 55663632028SHaoyuan Feng val v_equal = pte.entry(i).v === pte.entry(OHToUInt(pte.pteidx)).v 55763632028SHaoyuan Feng val af_equal = pte.entry(i).af === pte.entry(OHToUInt(pte.pteidx)).af 55863632028SHaoyuan Feng val pf_equal = pte.entry(i).pf === pte.entry(OHToUInt(pte.pteidx)).pf 55963632028SHaoyuan Feng ptw_sector_resp.valididx(i) := (ppn_equal && perm_equal && v_equal && af_equal && pf_equal) || !pte.not_super 56063632028SHaoyuan Feng ptw_sector_resp.ppn_low(i) := pte.entry(i).ppn_low 56163632028SHaoyuan Feng } 56263632028SHaoyuan Feng ptw_sector_resp.valididx(OHToUInt(pte.pteidx)) := true.B 56363632028SHaoyuan Feng ptw_sector_resp 56463632028SHaoyuan Feng } 56563632028SHaoyuan Feng 56692e3bfefSLemover def outReady(source: UInt, port: Int): Bool = { 56745f43e6eSTang Haojin MuxLookup(source, true.B)((0 until PtwWidth).map(i => i.U -> mergeArb(i).in(port).ready)) 56892e3bfefSLemover } 56992e3bfefSLemover 57092e3bfefSLemover // debug info 57192e3bfefSLemover for (i <- 0 until PtwWidth) { 57292e3bfefSLemover XSDebug(p"[io.tlb(${i.U})] ${io.tlb(i)}\n") 57392e3bfefSLemover } 5747797f035SbugGenerator XSDebug(p"[sfence] ${io.sfence}\n") 57592e3bfefSLemover XSDebug(p"[io.csr.tlb] ${io.csr.tlb}\n") 57692e3bfefSLemover 57792e3bfefSLemover for (i <- 0 until PtwWidth) { 578935edac4STang Haojin XSPerfAccumulate(s"req_count${i}", io.tlb(i).req(0).fire) 57992e3bfefSLemover XSPerfAccumulate(s"req_blocked_count_${i}", io.tlb(i).req(0).valid && !io.tlb(i).req(0).ready) 58092e3bfefSLemover } 58192e3bfefSLemover XSPerfAccumulate(s"req_blocked_by_mq", arb1.io.out.valid && missQueue.io.out.valid) 58292e3bfefSLemover for (i <- 0 until (MemReqWidth + 1)) { 58392e3bfefSLemover XSPerfAccumulate(s"mem_req_util${i}", PopCount(waiting_resp) === i.U) 58492e3bfefSLemover } 58592e3bfefSLemover XSPerfAccumulate("mem_cycle", PopCount(waiting_resp) =/= 0.U) 586935edac4STang Haojin XSPerfAccumulate("mem_count", mem.a.fire) 587dd7fe201SHaoyuan Feng for (i <- 0 until PtwWidth) { 588eb4bf3f2Speixiaokun XSPerfAccumulate(s"llptw_ppn_af${i}", mergeArb(i).in(outArbMqPort).valid && mergeArb(i).in(outArbMqPort).bits.s1.entry(OHToUInt(mergeArb(i).in(outArbMqPort).bits.s1.pteidx)).af && !llptw_out.bits.af) 589d61cd5eeSpeixiaokun XSPerfAccumulate(s"access_fault${i}", io.tlb(i).resp.fire && io.tlb(i).resp.bits.s1.af) 590dd7fe201SHaoyuan Feng } 59192e3bfefSLemover 59292e3bfefSLemover // print configs 593f1fe8698SLemover println(s"${l2tlbParams.name}: a ptw, a llptw with size ${l2tlbParams.llptwsize}, miss queue size ${MissQueueSize} l1:${l2tlbParams.l1Size} fa l2: nSets ${l2tlbParams.l2nSets} nWays ${l2tlbParams.l2nWays} l3: ${l2tlbParams.l3nSets} nWays ${l2tlbParams.l3nWays} blockBytes:${l2tlbParams.blockBytes}") 59492e3bfefSLemover 59592e3bfefSLemover // time out assert 59692e3bfefSLemover for (i <- 0 until MemReqWidth) { 59792e3bfefSLemover TimeOutAssert(waiting_resp(i), timeOutThreshold, s"ptw mem resp time out wait_resp${i}") 59892e3bfefSLemover TimeOutAssert(flush_latch(i), timeOutThreshold, s"ptw mem resp time out flush_latch${i}") 59992e3bfefSLemover } 60092e3bfefSLemover 60192e3bfefSLemover 60292e3bfefSLemover val perfEvents = Seq(llptw, cache, ptw).flatMap(_.getPerfEvents) 60392e3bfefSLemover generatePerfEvent() 6045afdf73cSHaoyuan Feng 605da3bf434SMaxpicca-Li val isWriteL1TlbTable = WireInit(Constantin.createRecord("isWriteL1TlbTable" + p(XSCoreParamsKey).HartId.toString)) 6065afdf73cSHaoyuan Feng val L1TlbTable = ChiselDB.createTable("L1Tlb_hart" + p(XSCoreParamsKey).HartId.toString, new L1TlbDB) 6075afdf73cSHaoyuan Feng val ITlbReqDB, DTlbReqDB, ITlbRespDB, DTlbRespDB = Wire(new L1TlbDB) 6085afdf73cSHaoyuan Feng ITlbReqDB.vpn := io.tlb(0).req(0).bits.vpn 6095afdf73cSHaoyuan Feng DTlbReqDB.vpn := io.tlb(1).req(0).bits.vpn 610d61cd5eeSpeixiaokun ITlbRespDB.vpn := io.tlb(0).resp.bits.s1.entry.tag 611d61cd5eeSpeixiaokun DTlbRespDB.vpn := io.tlb(1).resp.bits.s1.entry.tag 612da3bf434SMaxpicca-Li L1TlbTable.log(ITlbReqDB, isWriteL1TlbTable.orR && io.tlb(0).req(0).fire, "ITlbReq", clock, reset) 613da3bf434SMaxpicca-Li L1TlbTable.log(DTlbReqDB, isWriteL1TlbTable.orR && io.tlb(1).req(0).fire, "DTlbReq", clock, reset) 614da3bf434SMaxpicca-Li L1TlbTable.log(ITlbRespDB, isWriteL1TlbTable.orR && io.tlb(0).resp.fire, "ITlbResp", clock, reset) 615da3bf434SMaxpicca-Li L1TlbTable.log(DTlbRespDB, isWriteL1TlbTable.orR && io.tlb(1).resp.fire, "DTlbResp", clock, reset) 6165afdf73cSHaoyuan Feng 617da3bf434SMaxpicca-Li val isWritePageCacheTable = WireInit(Constantin.createRecord("isWritePageCacheTable" + p(XSCoreParamsKey).HartId.toString)) 6185afdf73cSHaoyuan Feng val PageCacheTable = ChiselDB.createTable("PageCache_hart" + p(XSCoreParamsKey).HartId.toString, new PageCacheDB) 6195afdf73cSHaoyuan Feng val PageCacheDB = Wire(new PageCacheDB) 62063632028SHaoyuan Feng PageCacheDB.vpn := Cat(cache.io.resp.bits.toTlb.entry(0).tag, OHToUInt(cache.io.resp.bits.toTlb.pteidx)) 6215afdf73cSHaoyuan Feng PageCacheDB.source := cache.io.resp.bits.req_info.source 6225afdf73cSHaoyuan Feng PageCacheDB.bypassed := cache.io.resp.bits.bypassed 6235afdf73cSHaoyuan Feng PageCacheDB.is_first := cache.io.resp.bits.isFirst 62463632028SHaoyuan Feng PageCacheDB.prefetched := cache.io.resp.bits.toTlb.entry(0).prefetch 6255afdf73cSHaoyuan Feng PageCacheDB.prefetch := cache.io.resp.bits.prefetch 6265afdf73cSHaoyuan Feng PageCacheDB.l2Hit := cache.io.resp.bits.toFsm.l2Hit 6275afdf73cSHaoyuan Feng PageCacheDB.l1Hit := cache.io.resp.bits.toFsm.l1Hit 6285afdf73cSHaoyuan Feng PageCacheDB.hit := cache.io.resp.bits.hit 629da3bf434SMaxpicca-Li PageCacheTable.log(PageCacheDB, isWritePageCacheTable.orR && cache.io.resp.fire, "PageCache", clock, reset) 6305afdf73cSHaoyuan Feng 631da3bf434SMaxpicca-Li val isWritePTWTable = WireInit(Constantin.createRecord("isWritePTWTable" + p(XSCoreParamsKey).HartId.toString)) 6325afdf73cSHaoyuan Feng val PTWTable = ChiselDB.createTable("PTW_hart" + p(XSCoreParamsKey).HartId.toString, new PTWDB) 6335afdf73cSHaoyuan Feng val PTWReqDB, PTWRespDB, LLPTWReqDB, LLPTWRespDB = Wire(new PTWDB) 6345afdf73cSHaoyuan Feng PTWReqDB.vpn := ptw.io.req.bits.req_info.vpn 6355afdf73cSHaoyuan Feng PTWReqDB.source := ptw.io.req.bits.req_info.source 6365afdf73cSHaoyuan Feng PTWRespDB.vpn := ptw.io.refill.req_info.vpn 6375afdf73cSHaoyuan Feng PTWRespDB.source := ptw.io.refill.req_info.source 6385afdf73cSHaoyuan Feng LLPTWReqDB.vpn := llptw.io.in.bits.req_info.vpn 6395afdf73cSHaoyuan Feng LLPTWReqDB.source := llptw.io.in.bits.req_info.source 6405afdf73cSHaoyuan Feng LLPTWRespDB.vpn := llptw.io.mem.refill.vpn 6415afdf73cSHaoyuan Feng LLPTWRespDB.source := llptw.io.mem.refill.source 642da3bf434SMaxpicca-Li PTWTable.log(PTWReqDB, isWritePTWTable.orR && ptw.io.req.fire, "PTWReq", clock, reset) 643da3bf434SMaxpicca-Li PTWTable.log(PTWRespDB, isWritePTWTable.orR && ptw.io.mem.resp.fire, "PTWResp", clock, reset) 644da3bf434SMaxpicca-Li PTWTable.log(LLPTWReqDB, isWritePTWTable.orR && llptw.io.in.fire, "LLPTWReq", clock, reset) 645da3bf434SMaxpicca-Li PTWTable.log(LLPTWRespDB, isWritePTWTable.orR && llptw.io.mem.resp.fire, "LLPTWResp", clock, reset) 6465afdf73cSHaoyuan Feng 647da3bf434SMaxpicca-Li val isWriteL2TlbMissQueueTable = WireInit(Constantin.createRecord("isWriteL2TlbMissQueueTable" + p(XSCoreParamsKey).HartId.toString)) 6485afdf73cSHaoyuan Feng val L2TlbMissQueueTable = ChiselDB.createTable("L2TlbMissQueue_hart" + p(XSCoreParamsKey).HartId.toString, new L2TlbMissQueueDB) 6495afdf73cSHaoyuan Feng val L2TlbMissQueueInDB, L2TlbMissQueueOutDB = Wire(new L2TlbMissQueueDB) 6505afdf73cSHaoyuan Feng L2TlbMissQueueInDB.vpn := missQueue.io.in.bits.vpn 6515afdf73cSHaoyuan Feng L2TlbMissQueueOutDB.vpn := missQueue.io.out.bits.vpn 652da3bf434SMaxpicca-Li L2TlbMissQueueTable.log(L2TlbMissQueueInDB, isWriteL2TlbMissQueueTable.orR && missQueue.io.in.fire, "L2TlbMissQueueIn", clock, reset) 653da3bf434SMaxpicca-Li L2TlbMissQueueTable.log(L2TlbMissQueueOutDB, isWriteL2TlbMissQueueTable.orR && missQueue.io.out.fire, "L2TlbMissQueueOut", clock, reset) 65492e3bfefSLemover} 65592e3bfefSLemover 6567797f035SbugGenerator/** BlockHelper, block missqueue, not to send too many req to cache 6577797f035SbugGenerator * Parameter: 6587797f035SbugGenerator * enable: enable BlockHelper, mq should not send too many reqs 6597797f035SbugGenerator * start: when miss queue out fire and need, block miss queue's out 6607797f035SbugGenerator * block: block miss queue's out 6617797f035SbugGenerator * latency: last missqueue out's cache access latency 6627797f035SbugGenerator */ 6637797f035SbugGeneratorclass BlockHelper(latency: Int)(implicit p: Parameters) extends XSModule { 6647797f035SbugGenerator val io = IO(new Bundle { 6657797f035SbugGenerator val enable = Input(Bool()) 6667797f035SbugGenerator val start = Input(Bool()) 6677797f035SbugGenerator val block = Output(Bool()) 6687797f035SbugGenerator }) 6697797f035SbugGenerator 6707797f035SbugGenerator val count = RegInit(0.U(log2Ceil(latency).W)) 6717797f035SbugGenerator val valid = RegInit(false.B) 6727797f035SbugGenerator val work = RegInit(true.B) 6737797f035SbugGenerator 6747797f035SbugGenerator io.block := valid 6757797f035SbugGenerator 6767797f035SbugGenerator when (io.start && work) { valid := true.B } 6777797f035SbugGenerator when (valid) { count := count + 1.U } 6787797f035SbugGenerator when (count === (latency.U) || io.enable) { 6797797f035SbugGenerator valid := false.B 6807797f035SbugGenerator work := io.enable 6817797f035SbugGenerator count := 0.U 6827797f035SbugGenerator } 6837797f035SbugGenerator} 6847797f035SbugGenerator 68592e3bfefSLemoverclass PTEHelper() extends ExtModule { 68692e3bfefSLemover val clock = IO(Input(Clock())) 68792e3bfefSLemover val enable = IO(Input(Bool())) 68892e3bfefSLemover val satp = IO(Input(UInt(64.W))) 68992e3bfefSLemover val vpn = IO(Input(UInt(64.W))) 69092e3bfefSLemover val pte = IO(Output(UInt(64.W))) 69192e3bfefSLemover val level = IO(Output(UInt(8.W))) 69292e3bfefSLemover val pf = IO(Output(UInt(8.W))) 69392e3bfefSLemover} 69492e3bfefSLemover 6955afdf73cSHaoyuan Fengclass PTWDelayN[T <: Data](gen: T, n: Int, flush: Bool) extends Module { 6965afdf73cSHaoyuan Feng val io = IO(new Bundle() { 6975afdf73cSHaoyuan Feng val in = Input(gen) 6985afdf73cSHaoyuan Feng val out = Output(gen) 6995afdf73cSHaoyuan Feng val ptwflush = Input(flush.cloneType) 7005afdf73cSHaoyuan Feng }) 7015afdf73cSHaoyuan Feng val out = RegInit(VecInit(Seq.fill(n)(0.U.asTypeOf(gen)))) 7025afdf73cSHaoyuan Feng val t = RegInit(VecInit(Seq.fill(n)(0.U.asTypeOf(gen)))) 7035afdf73cSHaoyuan Feng out(0) := io.in 7045afdf73cSHaoyuan Feng if (n == 1) { 7055afdf73cSHaoyuan Feng io.out := out(0) 7065afdf73cSHaoyuan Feng } else { 7075afdf73cSHaoyuan Feng when (io.ptwflush) { 7085afdf73cSHaoyuan Feng for (i <- 0 until n) { 7095afdf73cSHaoyuan Feng t(i) := 0.U.asTypeOf(gen) 7105afdf73cSHaoyuan Feng out(i) := 0.U.asTypeOf(gen) 7115afdf73cSHaoyuan Feng } 7125afdf73cSHaoyuan Feng io.out := 0.U.asTypeOf(gen) 7135afdf73cSHaoyuan Feng } .otherwise { 7145afdf73cSHaoyuan Feng for (i <- 1 until n) { 7155afdf73cSHaoyuan Feng t(i-1) := out(i-1) 7165afdf73cSHaoyuan Feng out(i) := t(i-1) 7175afdf73cSHaoyuan Feng } 7185afdf73cSHaoyuan Feng io.out := out(n-1) 7195afdf73cSHaoyuan Feng } 7205afdf73cSHaoyuan Feng } 7215afdf73cSHaoyuan Feng} 7225afdf73cSHaoyuan Feng 7235afdf73cSHaoyuan Fengobject PTWDelayN { 7245afdf73cSHaoyuan Feng def apply[T <: Data](in: T, n: Int, flush: Bool): T = { 7255afdf73cSHaoyuan Feng val delay = Module(new PTWDelayN(in.cloneType, n, flush)) 7265afdf73cSHaoyuan Feng delay.io.in := in 7275afdf73cSHaoyuan Feng delay.io.ptwflush := flush 7285afdf73cSHaoyuan Feng delay.io.out 7295afdf73cSHaoyuan Feng } 7305afdf73cSHaoyuan Feng} 7315afdf73cSHaoyuan Feng 73292e3bfefSLemoverclass FakePTW()(implicit p: Parameters) extends XSModule with HasPtwConst { 73392e3bfefSLemover val io = IO(new L2TLBIO) 7345afdf73cSHaoyuan Feng val flush = VecInit(Seq.fill(PtwWidth)(false.B)) 7355afdf73cSHaoyuan Feng flush(0) := DelayN(io.sfence.valid || io.csr.tlb.satp.changed, itlbParams.fenceDelay) 7365afdf73cSHaoyuan Feng flush(1) := DelayN(io.sfence.valid || io.csr.tlb.satp.changed, ldtlbParams.fenceDelay) 73792e3bfefSLemover for (i <- 0 until PtwWidth) { 73892e3bfefSLemover val helper = Module(new PTEHelper()) 73992e3bfefSLemover helper.clock := clock 74092e3bfefSLemover helper.satp := io.csr.tlb.satp.ppn 7415afdf73cSHaoyuan Feng 7425afdf73cSHaoyuan Feng if (coreParams.softPTWDelay == 1) { 7435afdf73cSHaoyuan Feng helper.enable := io.tlb(i).req(0).fire 74492e3bfefSLemover helper.vpn := io.tlb(i).req(0).bits.vpn 7455afdf73cSHaoyuan Feng } else { 7465afdf73cSHaoyuan Feng helper.enable := PTWDelayN(io.tlb(i).req(0).fire, coreParams.softPTWDelay - 1, flush(i)) 7475afdf73cSHaoyuan Feng helper.vpn := PTWDelayN(io.tlb(i).req(0).bits.vpn, coreParams.softPTWDelay - 1, flush(i)) 7485afdf73cSHaoyuan Feng } 7495afdf73cSHaoyuan Feng 75092e3bfefSLemover val pte = helper.pte.asTypeOf(new PteBundle) 75192e3bfefSLemover val level = helper.level 75292e3bfefSLemover val pf = helper.pf 7535afdf73cSHaoyuan Feng val empty = RegInit(true.B) 7545afdf73cSHaoyuan Feng when (io.tlb(i).req(0).fire) { 7555afdf73cSHaoyuan Feng empty := false.B 7565afdf73cSHaoyuan Feng } .elsewhen (io.tlb(i).resp.fire || flush(i)) { 7575afdf73cSHaoyuan Feng empty := true.B 7585afdf73cSHaoyuan Feng } 75992e3bfefSLemover 7605afdf73cSHaoyuan Feng io.tlb(i).req(0).ready := empty || io.tlb(i).resp.fire 7615afdf73cSHaoyuan Feng io.tlb(i).resp.valid := PTWDelayN(io.tlb(i).req(0).fire, coreParams.softPTWDelay, flush(i)) 76292e3bfefSLemover assert(!io.tlb(i).resp.valid || io.tlb(i).resp.ready) 763d61cd5eeSpeixiaokun io.tlb(i).resp.bits.s1.entry.tag := PTWDelayN(io.tlb(i).req(0).bits.vpn, coreParams.softPTWDelay, flush(i)) 764d61cd5eeSpeixiaokun io.tlb(i).resp.bits.s1.entry.ppn := pte.ppn 765d61cd5eeSpeixiaokun io.tlb(i).resp.bits.s1.entry.perm.map(_ := pte.getPerm()) 766d61cd5eeSpeixiaokun io.tlb(i).resp.bits.s1.entry.level.map(_ := level) 767d61cd5eeSpeixiaokun io.tlb(i).resp.bits.s1.pf := pf 768d61cd5eeSpeixiaokun io.tlb(i).resp.bits.s1.af := DontCare // TODO: implement it 769d61cd5eeSpeixiaokun io.tlb(i).resp.bits.s1.entry.v := !pf 770d61cd5eeSpeixiaokun io.tlb(i).resp.bits.s1.entry.prefetch := DontCare 771d61cd5eeSpeixiaokun io.tlb(i).resp.bits.s1.entry.asid := io.csr.tlb.satp.asid 77292e3bfefSLemover } 77392e3bfefSLemover} 77492e3bfefSLemover 77592e3bfefSLemoverclass L2TLBWrapper()(implicit p: Parameters) extends LazyModule with HasXSParameter { 77695e60e55STang Haojin override def shouldBeInlined: Boolean = false 77792e3bfefSLemover val useSoftPTW = coreParams.softPTW 77892e3bfefSLemover val node = if (!useSoftPTW) TLIdentityNode() else null 77992e3bfefSLemover val ptw = if (!useSoftPTW) LazyModule(new L2TLB()) else null 78092e3bfefSLemover if (!useSoftPTW) { 78192e3bfefSLemover node := ptw.node 78292e3bfefSLemover } 78392e3bfefSLemover 784935edac4STang Haojin class L2TLBWrapperImp(wrapper: LazyModule) extends LazyModuleImp(wrapper) with HasPerfEvents { 78592e3bfefSLemover val io = IO(new L2TLBIO) 78692e3bfefSLemover val perfEvents = if (useSoftPTW) { 78792e3bfefSLemover val fake_ptw = Module(new FakePTW()) 78892e3bfefSLemover io <> fake_ptw.io 78992e3bfefSLemover Seq() 79092e3bfefSLemover } 79192e3bfefSLemover else { 79292e3bfefSLemover io <> ptw.module.io 79392e3bfefSLemover ptw.module.getPerfEvents 79492e3bfefSLemover } 79592e3bfefSLemover generatePerfEvent() 79692e3bfefSLemover } 797935edac4STang Haojin 798935edac4STang Haojin lazy val module = new L2TLBWrapperImp(this) 79992e3bfefSLemover} 800