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 utils._ 249aca92b9SYinan Xuimport xiangshan.backend.rob.RobPtr 256d5ddbceSLemoverimport xiangshan.backend.fu.util.HasCSRConst 266d5ddbceSLemoverimport freechips.rocketchip.diplomacy.{LazyModule, LazyModuleImp} 276d5ddbceSLemoverimport freechips.rocketchip.tilelink._ 28b6982e83SLemoverimport xiangshan.backend.fu.PMPReqBundle 296d5ddbceSLemover 306d5ddbceSLemoverabstract class TlbBundle(implicit p: Parameters) extends XSBundle with HasTlbConst 316d5ddbceSLemoverabstract class TlbModule(implicit p: Parameters) extends XSModule with HasTlbConst 326d5ddbceSLemover 33a0301c0dSLemoverclass VaBundle(implicit p: Parameters) extends TlbBundle { 34a0301c0dSLemover val vpn = UInt(vpnLen.W) 35a0301c0dSLemover val off = UInt(offLen.W) 36a0301c0dSLemover} 37a0301c0dSLemover 386d5ddbceSLemoverclass PtePermBundle(implicit p: Parameters) extends TlbBundle { 396d5ddbceSLemover val d = Bool() 406d5ddbceSLemover val a = Bool() 416d5ddbceSLemover val g = Bool() 426d5ddbceSLemover val u = Bool() 436d5ddbceSLemover val x = Bool() 446d5ddbceSLemover val w = Bool() 456d5ddbceSLemover val r = Bool() 466d5ddbceSLemover 476d5ddbceSLemover override def toPrintable: Printable = { 486d5ddbceSLemover p"d:${d} a:${a} g:${g} u:${u} x:${x} w:${w} r:${r}"// + 496d5ddbceSLemover //(if(hasV) (p"v:${v}") else p"") 506d5ddbceSLemover } 516d5ddbceSLemover} 526d5ddbceSLemover 536d5ddbceSLemoverclass TlbPermBundle(implicit p: Parameters) extends TlbBundle { 546d5ddbceSLemover val pf = Bool() // NOTE: if this is true, just raise pf 55b6982e83SLemover val af = Bool() // NOTE: if this is true, just raise af 566d5ddbceSLemover // pagetable perm (software defined) 576d5ddbceSLemover val d = Bool() 586d5ddbceSLemover val a = Bool() 596d5ddbceSLemover val g = Bool() 606d5ddbceSLemover val u = Bool() 616d5ddbceSLemover val x = Bool() 626d5ddbceSLemover val w = Bool() 636d5ddbceSLemover val r = Bool() 646d5ddbceSLemover 656d5ddbceSLemover override def toPrintable: Printable = { 66b6982e83SLemover p"pf:${pf} af:${af} d:${d} a:${a} g:${g} u:${u} x:${x} w:${w} r:${r}" 676d5ddbceSLemover } 686d5ddbceSLemover} 696d5ddbceSLemover 706d5ddbceSLemover// multi-read && single-write 716d5ddbceSLemover// input is data, output is hot-code(not one-hot) 726d5ddbceSLemoverclass CAMTemplate[T <: Data](val gen: T, val set: Int, val readWidth: Int)(implicit p: Parameters) extends TlbModule { 736d5ddbceSLemover val io = IO(new Bundle { 746d5ddbceSLemover val r = new Bundle { 756d5ddbceSLemover val req = Input(Vec(readWidth, gen)) 766d5ddbceSLemover val resp = Output(Vec(readWidth, Vec(set, Bool()))) 776d5ddbceSLemover } 786d5ddbceSLemover val w = Input(new Bundle { 796d5ddbceSLemover val valid = Bool() 806d5ddbceSLemover val bits = new Bundle { 816d5ddbceSLemover val index = UInt(log2Up(set).W) 826d5ddbceSLemover val data = gen 836d5ddbceSLemover } 846d5ddbceSLemover }) 856d5ddbceSLemover }) 866d5ddbceSLemover 876d5ddbceSLemover val wordType = UInt(gen.getWidth.W) 886d5ddbceSLemover val array = Reg(Vec(set, wordType)) 896d5ddbceSLemover 906d5ddbceSLemover io.r.resp.zipWithIndex.map{ case (a,i) => 916d5ddbceSLemover a := array.map(io.r.req(i).asUInt === _) 926d5ddbceSLemover } 936d5ddbceSLemover 946d5ddbceSLemover when (io.w.valid) { 95*76e02f07SLingrui98 array(io.w.bits.index) := io.w.bits.data.asUInt 966d5ddbceSLemover } 976d5ddbceSLemover} 986d5ddbceSLemover 996d5ddbceSLemoverclass TlbSPMeta(implicit p: Parameters) extends TlbBundle { 1006d5ddbceSLemover val tag = UInt(vpnLen.W) // tag is vpn 1016d5ddbceSLemover val level = UInt(1.W) // 1 for 2MB, 0 for 1GB 10245f497a4Shappy-lx val asid = UInt(asidLen.W) 1036d5ddbceSLemover 10445f497a4Shappy-lx def hit(vpn: UInt, asid: UInt): Bool = { 1056d5ddbceSLemover val a = tag(vpnnLen*3-1, vpnnLen*2) === vpn(vpnnLen*3-1, vpnnLen*2) 1066d5ddbceSLemover val b = tag(vpnnLen*2-1, vpnnLen*1) === vpn(vpnnLen*2-1, vpnnLen*1) 10745f497a4Shappy-lx val asid_hit = this.asid === asid 10845f497a4Shappy-lx 1096d5ddbceSLemover XSDebug(Mux(level.asBool, a&b, a), p"Hit superpage: hit:${Mux(level.asBool, a&b, a)} tag:${Hexadecimal(tag)} level:${level} a:${a} b:${b} vpn:${Hexadecimal(vpn)}\n") 11045f497a4Shappy-lx asid_hit && Mux(level.asBool, a&b, a) 1116d5ddbceSLemover } 1126d5ddbceSLemover 11345f497a4Shappy-lx def apply(vpn: UInt, asid: UInt, level: UInt) = { 1146d5ddbceSLemover this.tag := vpn 11545f497a4Shappy-lx this.asid := asid 1166d5ddbceSLemover this.level := level(0) 1176d5ddbceSLemover 1186d5ddbceSLemover this 1196d5ddbceSLemover } 1206d5ddbceSLemover 1216d5ddbceSLemover} 1226d5ddbceSLemover 1236d5ddbceSLemoverclass TlbData(superpage: Boolean = false)(implicit p: Parameters) extends TlbBundle { 1246d5ddbceSLemover val level = if(superpage) Some(UInt(1.W)) else None // /*2 for 4KB,*/ 1 for 2MB, 0 for 1GB 1256d5ddbceSLemover val ppn = UInt(ppnLen.W) 1266d5ddbceSLemover val perm = new TlbPermBundle 1276d5ddbceSLemover 1286d5ddbceSLemover def genPPN(vpn: UInt): UInt = { 1296d5ddbceSLemover if (superpage) { 1306d5ddbceSLemover val insideLevel = level.getOrElse(0.U) 1316d5ddbceSLemover Mux(insideLevel.asBool, Cat(ppn(ppn.getWidth-1, vpnnLen*1), vpn(vpnnLen*1-1, 0)), 1326d5ddbceSLemover Cat(ppn(ppn.getWidth-1, vpnnLen*2), vpn(vpnnLen*2-1, 0))) 1336d5ddbceSLemover } else { 1346d5ddbceSLemover ppn 1356d5ddbceSLemover } 1366d5ddbceSLemover } 1376d5ddbceSLemover 138b6982e83SLemover def apply(ppn: UInt, level: UInt, perm: UInt, pf: Bool, af: Bool) = { 1396d5ddbceSLemover this.level.map(_ := level(0)) 1406d5ddbceSLemover this.ppn := ppn 1416d5ddbceSLemover // refill pagetable perm 1426d5ddbceSLemover val ptePerm = perm.asTypeOf(new PtePermBundle) 1436d5ddbceSLemover this.perm.pf:= pf 144b6982e83SLemover this.perm.af:= af 1456d5ddbceSLemover this.perm.d := ptePerm.d 1466d5ddbceSLemover this.perm.a := ptePerm.a 1476d5ddbceSLemover this.perm.g := ptePerm.g 1486d5ddbceSLemover this.perm.u := ptePerm.u 1496d5ddbceSLemover this.perm.x := ptePerm.x 1506d5ddbceSLemover this.perm.w := ptePerm.w 1516d5ddbceSLemover this.perm.r := ptePerm.r 1526d5ddbceSLemover 1536d5ddbceSLemover this 1546d5ddbceSLemover } 1556d5ddbceSLemover 1566d5ddbceSLemover override def toPrintable: Printable = { 1576d5ddbceSLemover val insideLevel = level.getOrElse(0.U) 1586d5ddbceSLemover p"level:${insideLevel} ppn:${Hexadecimal(ppn)} perm:${perm}" 1596d5ddbceSLemover } 1606d5ddbceSLemover 1616d5ddbceSLemover override def cloneType: this.type = (new TlbData(superpage)).asInstanceOf[this.type] 1626d5ddbceSLemover} 1636d5ddbceSLemover 164a0301c0dSLemoverclass TlbEntry(pageNormal: Boolean, pageSuper: Boolean)(implicit p: Parameters) extends TlbBundle { 165a0301c0dSLemover require(pageNormal || pageSuper) 166a0301c0dSLemover 167a0301c0dSLemover val tag = if (!pageNormal) UInt((vpnLen - vpnnLen).W) 168a0301c0dSLemover else UInt(vpnLen.W) 16945f497a4Shappy-lx val asid = UInt(asidLen.W) 170a0301c0dSLemover val level = if (!pageNormal) Some(UInt(1.W)) 171a0301c0dSLemover else if (!pageSuper) None 172a0301c0dSLemover else Some(UInt(2.W)) 173a0301c0dSLemover val ppn = if (!pageNormal) UInt((ppnLen - vpnnLen).W) 174a0301c0dSLemover else UInt(ppnLen.W) 175a0301c0dSLemover val perm = new TlbPermBundle 176a0301c0dSLemover 177e9092fe2SLemover def hit(vpn: UInt, asid: UInt, nSets: Int = 1, ignoreAsid: Boolean = false): Bool = { 17845f497a4Shappy-lx val asid_hit = if (ignoreAsid) true.B else (this.asid === asid) 179e9092fe2SLemover 180e9092fe2SLemover // NOTE: for timing, dont care low set index bits at hit check 181e9092fe2SLemover // do not need store the low bits actually 182e9092fe2SLemover if (!pageSuper) asid_hit && drop_set_equal(vpn, tag, nSets) 18345f497a4Shappy-lx else if (!pageNormal) asid_hit && MuxLookup(level.get, false.B, Seq( 184a0301c0dSLemover 0.U -> (tag(vpnnLen*2-1, vpnnLen) === vpn(vpnLen-1, vpnnLen*2)), 185a0301c0dSLemover 1.U -> (tag === vpn(vpnLen-1, vpnnLen)), 186a0301c0dSLemover )) 18745f497a4Shappy-lx else asid_hit && MuxLookup(level.get, false.B, Seq( 188a0301c0dSLemover 0.U -> (tag(vpnLen-1, vpnnLen*2) === vpn(vpnLen-1, vpnnLen*2)), 189a0301c0dSLemover 1.U -> (tag(vpnLen-1, vpnnLen) === vpn(vpnLen-1, vpnnLen)), 190e9092fe2SLemover 2.U -> drop_set_equal(tag, vpn, nSets) // if pageNormal is false, this will always be false 191a0301c0dSLemover )) 192a0301c0dSLemover } 193a0301c0dSLemover 19445f497a4Shappy-lx def apply(item: PtwResp, asid: UInt): TlbEntry = { 195a0301c0dSLemover this.tag := {if (pageNormal) item.entry.tag else item.entry.tag(vpnLen-1, vpnnLen)} 19645f497a4Shappy-lx this.asid := asid 197a0301c0dSLemover val inner_level = item.entry.level.getOrElse(0.U) 198a0301c0dSLemover this.level.map(_ := { if (pageNormal && pageSuper) inner_level 199a0301c0dSLemover else if (pageSuper) inner_level(0) 200a0301c0dSLemover else 0.U}) 201a0301c0dSLemover this.ppn := { if (!pageNormal) item.entry.ppn(ppnLen-1, vpnnLen) 202a0301c0dSLemover else item.entry.ppn } 203a0301c0dSLemover val ptePerm = item.entry.perm.get.asTypeOf(new PtePermBundle().cloneType) 204a0301c0dSLemover this.perm.pf := item.pf 205b6982e83SLemover this.perm.af := item.af 206a0301c0dSLemover this.perm.d := ptePerm.d 207a0301c0dSLemover this.perm.a := ptePerm.a 208a0301c0dSLemover this.perm.g := ptePerm.g 209a0301c0dSLemover this.perm.u := ptePerm.u 210a0301c0dSLemover this.perm.x := ptePerm.x 211a0301c0dSLemover this.perm.w := ptePerm.w 212a0301c0dSLemover this.perm.r := ptePerm.r 213a0301c0dSLemover 214a0301c0dSLemover this 215a0301c0dSLemover } 216a0301c0dSLemover 2175cf62c1aSLemover def genPPN(saveLevel: Boolean = false, valid: Bool = false.B)(vpn: UInt) : UInt = { 2185cf62c1aSLemover val ppn_res = if (!pageSuper) ppn 219a0301c0dSLemover else if (!pageNormal) MuxLookup(level.get, 0.U, Seq( 220a0301c0dSLemover 0.U -> Cat(ppn(ppn.getWidth-1, vpnnLen), vpn(vpnnLen*2-1, 0)), 221a0301c0dSLemover 1.U -> Cat(ppn, vpn(vpnnLen-1, 0)) 222a0301c0dSLemover )) 223a0301c0dSLemover else MuxLookup(level.get, 0.U, Seq( 224a0301c0dSLemover 0.U -> Cat(ppn(ppn.getWidth-1, vpnnLen*2), vpn(vpnnLen*2-1, 0)), 225a0301c0dSLemover 1.U -> Cat(ppn(ppn.getWidth-1, vpnnLen), vpn(vpnnLen-1, 0)), 226a0301c0dSLemover 2.U -> ppn 227a0301c0dSLemover )) 2285cf62c1aSLemover 2295cf62c1aSLemover val static_part_length = ppn_res.getWidth - vpnnLen*2 2305cf62c1aSLemover if (saveLevel) Cat(ppn(ppn.getWidth-1, ppn.getWidth-static_part_length), RegEnable(ppn_res(vpnnLen*2-1, 0), valid)) 2315cf62c1aSLemover else ppn_res 232a0301c0dSLemover } 233a0301c0dSLemover 234a0301c0dSLemover override def toPrintable: Printable = { 235a0301c0dSLemover val inner_level = level.getOrElse(2.U) 23645f497a4Shappy-lx p"asid: ${asid} level:${inner_level} vpn:${Hexadecimal(tag)} ppn:${Hexadecimal(ppn)} perm:${perm}" 237a0301c0dSLemover } 238a0301c0dSLemover 239a0301c0dSLemover override def cloneType: this.type = (new TlbEntry(pageNormal, pageSuper)).asInstanceOf[this.type] 240a0301c0dSLemover} 241a0301c0dSLemover 2426d5ddbceSLemoverobject TlbCmd { 2436d5ddbceSLemover def read = "b00".U 2446d5ddbceSLemover def write = "b01".U 2456d5ddbceSLemover def exec = "b10".U 2466d5ddbceSLemover 2476d5ddbceSLemover def atom_read = "b100".U // lr 2486d5ddbceSLemover def atom_write = "b101".U // sc / amo 2496d5ddbceSLemover 2506d5ddbceSLemover def apply() = UInt(3.W) 2516d5ddbceSLemover def isRead(a: UInt) = a(1,0)===read 2526d5ddbceSLemover def isWrite(a: UInt) = a(1,0)===write 2536d5ddbceSLemover def isExec(a: UInt) = a(1,0)===exec 2546d5ddbceSLemover 2556d5ddbceSLemover def isAtom(a: UInt) = a(2) 256a79fef67Swakafa def isAmo(a: UInt) = a===atom_write // NOTE: sc mixed 2576d5ddbceSLemover} 2586d5ddbceSLemover 25945f497a4Shappy-lxclass TlbStorageIO(nSets: Int, nWays: Int, ports: Int)(implicit p: Parameters) extends MMUIOBaseBundle { 260a0301c0dSLemover val r = new Bundle { 261a0301c0dSLemover val req = Vec(ports, Flipped(DecoupledIO(new Bundle { 262a0301c0dSLemover val vpn = Output(UInt(vpnLen.W)) 263a0301c0dSLemover }))) 264a0301c0dSLemover val resp = Vec(ports, ValidIO(new Bundle{ 265a0301c0dSLemover val hit = Output(Bool()) 266a0301c0dSLemover val ppn = Output(UInt(ppnLen.W)) 267a0301c0dSLemover val perm = Output(new TlbPermBundle()) 268a0301c0dSLemover })) 269fb90f54dSLemover val resp_hit_sameCycle = Output(Vec(ports, Bool())) // req hit or not same cycle with req 270a0301c0dSLemover } 271a0301c0dSLemover val w = Flipped(ValidIO(new Bundle { 272a0301c0dSLemover val wayIdx = Output(UInt(log2Up(nWays).W)) 273a0301c0dSLemover val data = Output(new PtwResp) 274a0301c0dSLemover })) 275a0301c0dSLemover val victim = new Bundle { 27645f497a4Shappy-lx val out = ValidIO(Output(new Bundle { 27745f497a4Shappy-lx val entry = new TlbEntry(pageNormal = true, pageSuper = false) 27845f497a4Shappy-lx })) 27945f497a4Shappy-lx val in = Flipped(ValidIO(Output(new Bundle { 28045f497a4Shappy-lx val entry = new TlbEntry(pageNormal = true, pageSuper = false) 28145f497a4Shappy-lx }))) 282a0301c0dSLemover } 2833889e11eSLemover val access = Vec(ports, new ReplaceAccessBundle(nSets, nWays)) 284a0301c0dSLemover 28545f497a4Shappy-lx def r_req_apply(valid: Bool, vpn: UInt, asid: UInt, i: Int): Unit = { 286a0301c0dSLemover this.r.req(i).valid := valid 287a0301c0dSLemover this.r.req(i).bits.vpn := vpn 288a0301c0dSLemover } 289a0301c0dSLemover 290a0301c0dSLemover def r_resp_apply(i: Int) = { 291fb90f54dSLemover (this.r.resp_hit_sameCycle(i), this.r.resp(i).bits.hit, this.r.resp(i).bits.ppn, this.r.resp(i).bits.perm) 292a0301c0dSLemover } 293a0301c0dSLemover 294a0301c0dSLemover def w_apply(valid: Bool, wayIdx: UInt, data: PtwResp): Unit = { 295a0301c0dSLemover this.w.valid := valid 296a0301c0dSLemover this.w.bits.wayIdx := wayIdx 297a0301c0dSLemover this.w.bits.data := data 298a0301c0dSLemover } 299a0301c0dSLemover 300a0301c0dSLemover override def cloneType: this.type = new TlbStorageIO(nSets, nWays, ports).asInstanceOf[this.type] 301a0301c0dSLemover} 302a0301c0dSLemover 3033889e11eSLemoverclass ReplaceAccessBundle(nSets: Int, nWays: Int)(implicit p: Parameters) extends TlbBundle { 3043889e11eSLemover val sets = Output(UInt(log2Up(nSets).W)) 3053889e11eSLemover val touch_ways = ValidIO(Output(UInt(log2Up(nWays).W))) 3063889e11eSLemover 3073889e11eSLemover override def cloneType: this.type =new ReplaceAccessBundle(nSets, nWays).asInstanceOf[this.type] 3083889e11eSLemover} 3093889e11eSLemover 310a0301c0dSLemoverclass ReplaceIO(Width: Int, nSets: Int, nWays: Int)(implicit p: Parameters) extends TlbBundle { 3113889e11eSLemover val access = Vec(Width, Flipped(new ReplaceAccessBundle(nSets, nWays))) 312a0301c0dSLemover 313a0301c0dSLemover val refillIdx = Output(UInt(log2Up(nWays).W)) 314a0301c0dSLemover val chosen_set = Flipped(Output(UInt(log2Up(nSets).W))) 315a0301c0dSLemover 316a0301c0dSLemover def apply_sep(in: Seq[ReplaceIO], vpn: UInt): Unit = { 317a0301c0dSLemover for (i <- 0 until Width) { 3183889e11eSLemover this.access(i) := in(i).access(0) 3193889e11eSLemover this.chosen_set := get_set_idx(vpn, nSets) 320a0301c0dSLemover in(i).refillIdx := this.refillIdx 321a0301c0dSLemover } 322a0301c0dSLemover } 323a0301c0dSLemover} 324a0301c0dSLemover 325a0301c0dSLemoverclass TlbReplaceIO(Width: Int, q: TLBParameters)(implicit p: Parameters) extends 326a0301c0dSLemover TlbBundle { 327a0301c0dSLemover val normalPage = new ReplaceIO(Width, q.normalNSets, q.normalNWays) 328a0301c0dSLemover val superPage = new ReplaceIO(Width, q.superNSets, q.superNWays) 329a0301c0dSLemover 330a0301c0dSLemover def apply_sep(in: Seq[TlbReplaceIO], vpn: UInt) = { 331a0301c0dSLemover this.normalPage.apply_sep(in.map(_.normalPage), vpn) 332a0301c0dSLemover this.superPage.apply_sep(in.map(_.superPage), vpn) 333a0301c0dSLemover } 334a0301c0dSLemover 335a0301c0dSLemover override def cloneType = (new TlbReplaceIO(Width, q)).asInstanceOf[this.type] 336a0301c0dSLemover} 337a0301c0dSLemover 3386d5ddbceSLemoverclass TlbReq(implicit p: Parameters) extends TlbBundle { 339ca2f90a6SLemover val vaddr = Output(UInt(VAddrBits.W)) 340ca2f90a6SLemover val cmd = Output(TlbCmd()) 341ca2f90a6SLemover val size = Output(UInt(log2Ceil(log2Ceil(XLEN/8)+1).W)) 342ca2f90a6SLemover val robIdx = Output(new RobPtr) 3436d5ddbceSLemover val debug = new Bundle { 344ca2f90a6SLemover val pc = Output(UInt(XLEN.W)) 345ca2f90a6SLemover val isFirstIssue = Output(Bool()) 3466d5ddbceSLemover } 3476d5ddbceSLemover 3486d5ddbceSLemover override def toPrintable: Printable = { 3499aca92b9SYinan Xu p"vaddr:0x${Hexadecimal(vaddr)} cmd:${cmd} pc:0x${Hexadecimal(debug.pc)} robIdx:${robIdx}" 3506d5ddbceSLemover } 3516d5ddbceSLemover} 3526d5ddbceSLemover 353b6982e83SLemoverclass TlbExceptionBundle(implicit p: Parameters) extends TlbBundle { 354b6982e83SLemover val ld = Output(Bool()) 355b6982e83SLemover val st = Output(Bool()) 356b6982e83SLemover val instr = Output(Bool()) 357b6982e83SLemover} 358b6982e83SLemover 3596d5ddbceSLemoverclass TlbResp(implicit p: Parameters) extends TlbBundle { 360ca2f90a6SLemover val paddr = Output(UInt(PAddrBits.W)) 361ca2f90a6SLemover val miss = Output(Bool()) 3626d5ddbceSLemover val excp = new Bundle { 363b6982e83SLemover val pf = new TlbExceptionBundle() 364b6982e83SLemover val af = new TlbExceptionBundle() 3656d5ddbceSLemover } 366ca2f90a6SLemover val ptwBack = Output(Bool()) // when ptw back, wake up replay rs's state 3676d5ddbceSLemover 3686d5ddbceSLemover override def toPrintable: Printable = { 3696d5ddbceSLemover p"paddr:0x${Hexadecimal(paddr)} miss:${miss} excp.pf: ld:${excp.pf.ld} st:${excp.pf.st} instr:${excp.pf.instr} ptwBack:${ptwBack}" 3706d5ddbceSLemover } 3716d5ddbceSLemover} 3726d5ddbceSLemover 3736d5ddbceSLemoverclass TlbRequestIO()(implicit p: Parameters) extends TlbBundle { 3746d5ddbceSLemover val req = DecoupledIO(new TlbReq) 3756d5ddbceSLemover val resp = Flipped(DecoupledIO(new TlbResp)) 3766d5ddbceSLemover} 3776d5ddbceSLemover 3786d5ddbceSLemoverclass BlockTlbRequestIO()(implicit p: Parameters) extends TlbBundle { 3796d5ddbceSLemover val req = DecoupledIO(new TlbReq) 3806d5ddbceSLemover val resp = Flipped(DecoupledIO(new TlbResp)) 3816d5ddbceSLemover} 3826d5ddbceSLemover 3836d5ddbceSLemoverclass TlbPtwIO(Width: Int = 1)(implicit p: Parameters) extends TlbBundle { 3846d5ddbceSLemover val req = Vec(Width, DecoupledIO(new PtwReq)) 3856d5ddbceSLemover val resp = Flipped(DecoupledIO(new PtwResp)) 3866d5ddbceSLemover 3876d5ddbceSLemover override def cloneType: this.type = (new TlbPtwIO(Width)).asInstanceOf[this.type] 3886d5ddbceSLemover 3896d5ddbceSLemover override def toPrintable: Printable = { 3906d5ddbceSLemover p"req(0):${req(0).valid} ${req(0).ready} ${req(0).bits} | resp:${resp.valid} ${resp.ready} ${resp.bits}" 3916d5ddbceSLemover } 3926d5ddbceSLemover} 3936d5ddbceSLemover 39445f497a4Shappy-lxclass MMUIOBaseBundle(implicit p: Parameters) extends TlbBundle { 395b052b972SLemover val sfence = Input(new SfenceBundle) 396b052b972SLemover val csr = Input(new TlbCsrBundle) 397a0301c0dSLemover} 3986d5ddbceSLemover 399a0301c0dSLemoverclass TlbIO(Width: Int, q: TLBParameters)(implicit p: Parameters) extends 40045f497a4Shappy-lx MMUIOBaseBundle { 401a0301c0dSLemover val requestor = Vec(Width, Flipped(new TlbRequestIO)) 402a0301c0dSLemover val ptw = new TlbPtwIO(Width) 403a0301c0dSLemover val replace = if (q.outReplace) Flipped(new TlbReplaceIO(Width, q)) else null 404b6982e83SLemover val pmp = Vec(Width, ValidIO(new PMPReqBundle())) 405a0301c0dSLemover 406a0301c0dSLemover override def cloneType: this.type = (new TlbIO(Width, q)).asInstanceOf[this.type] 407a0301c0dSLemover} 408a0301c0dSLemover 409a0301c0dSLemoverclass BTlbPtwIO(Width: Int)(implicit p: Parameters) extends TlbBundle { 410a0301c0dSLemover val req = Vec(Width, DecoupledIO(new PtwReq)) 411a0301c0dSLemover val resp = Flipped(DecoupledIO(new Bundle { 412a0301c0dSLemover val data = new PtwResp 413a0301c0dSLemover val vector = Output(Vec(Width, Bool())) 414a0301c0dSLemover })) 415a0301c0dSLemover 416a0301c0dSLemover override def cloneType: this.type = (new BTlbPtwIO(Width)).asInstanceOf[this.type] 417a0301c0dSLemover} 418a0301c0dSLemover/**************************** Bridge TLB *******************************/ 419a0301c0dSLemover 42045f497a4Shappy-lxclass BridgeTLBIO(Width: Int)(implicit p: Parameters) extends MMUIOBaseBundle { 421a0301c0dSLemover val requestor = Vec(Width, Flipped(new TlbPtwIO())) 422a0301c0dSLemover val ptw = new BTlbPtwIO(Width) 423a0301c0dSLemover 424a0301c0dSLemover override def cloneType: this.type = (new BridgeTLBIO(Width)).asInstanceOf[this.type] 4256d5ddbceSLemover} 4266d5ddbceSLemover 4276d5ddbceSLemover 4286d5ddbceSLemover/**************************** PTW *************************************/ 4296d5ddbceSLemoverabstract class PtwBundle(implicit p: Parameters) extends XSBundle with HasPtwConst 4306d5ddbceSLemoverabstract class PtwModule(outer: PTW) extends LazyModuleImp(outer) 4316d5ddbceSLemover with HasXSParameter with HasPtwConst 4326d5ddbceSLemover 4336d5ddbceSLemoverclass PteBundle(implicit p: Parameters) extends PtwBundle{ 4346d5ddbceSLemover val reserved = UInt(pteResLen.W) 4356d5ddbceSLemover val ppn = UInt(ppnLen.W) 4366d5ddbceSLemover val rsw = UInt(2.W) 4376d5ddbceSLemover val perm = new Bundle { 4386d5ddbceSLemover val d = Bool() 4396d5ddbceSLemover val a = Bool() 4406d5ddbceSLemover val g = Bool() 4416d5ddbceSLemover val u = Bool() 4426d5ddbceSLemover val x = Bool() 4436d5ddbceSLemover val w = Bool() 4446d5ddbceSLemover val r = Bool() 4456d5ddbceSLemover val v = Bool() 4466d5ddbceSLemover } 4476d5ddbceSLemover 4486d5ddbceSLemover def unaligned(level: UInt) = { 4496d5ddbceSLemover isLeaf() && !(level === 2.U || 4506d5ddbceSLemover level === 1.U && ppn(vpnnLen-1, 0) === 0.U || 4516d5ddbceSLemover level === 0.U && ppn(vpnnLen*2-1, 0) === 0.U) 4526d5ddbceSLemover } 4536d5ddbceSLemover 4546d5ddbceSLemover def isPf(level: UInt) = { 4556d5ddbceSLemover !perm.v || (!perm.r && perm.w) || unaligned(level) 4566d5ddbceSLemover } 4576d5ddbceSLemover 4586d5ddbceSLemover def isLeaf() = { 4596d5ddbceSLemover perm.r || perm.x || perm.w 4606d5ddbceSLemover } 4616d5ddbceSLemover 4626d5ddbceSLemover def getPerm() = { 4636d5ddbceSLemover val pm = Wire(new PtePermBundle) 4646d5ddbceSLemover pm.d := perm.d 4656d5ddbceSLemover pm.a := perm.a 4666d5ddbceSLemover pm.g := perm.g 4676d5ddbceSLemover pm.u := perm.u 4686d5ddbceSLemover pm.x := perm.x 4696d5ddbceSLemover pm.w := perm.w 4706d5ddbceSLemover pm.r := perm.r 4716d5ddbceSLemover pm 4726d5ddbceSLemover } 4736d5ddbceSLemover 4746d5ddbceSLemover override def toPrintable: Printable = { 4756d5ddbceSLemover p"ppn:0x${Hexadecimal(ppn)} perm:b${Binary(perm.asUInt)}" 4766d5ddbceSLemover } 4776d5ddbceSLemover} 4786d5ddbceSLemover 4796d5ddbceSLemoverclass PtwEntry(tagLen: Int, hasPerm: Boolean = false, hasLevel: Boolean = false)(implicit p: Parameters) extends PtwBundle { 4806d5ddbceSLemover val tag = UInt(tagLen.W) 48145f497a4Shappy-lx val asid = UInt(asidLen.W) 4826d5ddbceSLemover val ppn = UInt(ppnLen.W) 4836d5ddbceSLemover val perm = if (hasPerm) Some(new PtePermBundle) else None 4846d5ddbceSLemover val level = if (hasLevel) Some(UInt(log2Up(Level).W)) else None 485bc063562SLemover val prefetch = Bool() 4866d5ddbceSLemover 48745f497a4Shappy-lx def hit(vpn: UInt, asid: UInt, allType: Boolean = false, ignoreAsid: Boolean = false) = { 4886d5ddbceSLemover require(vpn.getWidth == vpnLen) 48945f497a4Shappy-lx require(this.asid.getWidth <= asid.getWidth) 49045f497a4Shappy-lx val asid_hit = if (ignoreAsid) true.B else (this.asid === asid) 4916d5ddbceSLemover if (allType) { 4926d5ddbceSLemover require(hasLevel) 4936d5ddbceSLemover val hit0 = tag(tagLen - 1, vpnnLen*2) === vpn(tagLen - 1, vpnnLen*2) 4946d5ddbceSLemover val hit1 = tag(vpnnLen*2 - 1, vpnnLen) === vpn(vpnnLen*2 - 1, vpnnLen) 4956d5ddbceSLemover val hit2 = tag(vpnnLen - 1, 0) === vpn(vpnnLen - 1, 0) 49645f497a4Shappy-lx 49745f497a4Shappy-lx asid_hit && Mux(level.getOrElse(0.U) === 2.U, hit2 && hit1 && hit0, Mux(level.getOrElse(0.U) === 1.U, hit1 && hit0, hit0)) 4986d5ddbceSLemover } else if (hasLevel) { 4996d5ddbceSLemover val hit0 = tag(tagLen - 1, tagLen - vpnnLen) === vpn(vpnLen - 1, vpnLen - vpnnLen) 5006d5ddbceSLemover val hit1 = tag(tagLen - vpnnLen - 1, tagLen - vpnnLen * 2) === vpn(vpnLen - vpnnLen - 1, vpnLen - vpnnLen * 2) 50145f497a4Shappy-lx 50245f497a4Shappy-lx asid_hit && Mux(level.getOrElse(0.U) === 0.U, hit0, hit0 && hit1) 5036d5ddbceSLemover } else { 50445f497a4Shappy-lx asid_hit && tag === vpn(vpnLen - 1, vpnLen - tagLen) 5056d5ddbceSLemover } 5066d5ddbceSLemover } 5076d5ddbceSLemover 50845f497a4Shappy-lx def refill(vpn: UInt, asid: UInt, pte: UInt, level: UInt = 0.U, prefetch: Bool) { 50945f497a4Shappy-lx require(this.asid.getWidth <= asid.getWidth) // maybe equal is better, but ugly outside 51045f497a4Shappy-lx 5116d5ddbceSLemover tag := vpn(vpnLen - 1, vpnLen - tagLen) 512a0301c0dSLemover ppn := pte.asTypeOf(new PteBundle().cloneType).ppn 513a0301c0dSLemover perm.map(_ := pte.asTypeOf(new PteBundle().cloneType).perm) 51445f497a4Shappy-lx this.asid := asid 515bc063562SLemover this.prefetch := prefetch 5166d5ddbceSLemover this.level.map(_ := level) 5176d5ddbceSLemover } 5186d5ddbceSLemover 51945f497a4Shappy-lx def genPtwEntry(vpn: UInt, asid: UInt, pte: UInt, level: UInt = 0.U, prefetch: Bool) = { 5206d5ddbceSLemover val e = Wire(new PtwEntry(tagLen, hasPerm, hasLevel)) 52145f497a4Shappy-lx e.refill(vpn, asid, pte, level, prefetch) 5226d5ddbceSLemover e 5236d5ddbceSLemover } 5246d5ddbceSLemover 5256d5ddbceSLemover override def cloneType: this.type = (new PtwEntry(tagLen, hasPerm, hasLevel)).asInstanceOf[this.type] 5266d5ddbceSLemover 5276d5ddbceSLemover override def toPrintable: Printable = { 5286d5ddbceSLemover // p"tag:0x${Hexadecimal(tag)} ppn:0x${Hexadecimal(ppn)} perm:${perm}" 5296d5ddbceSLemover p"tag:0x${Hexadecimal(tag)} ppn:0x${Hexadecimal(ppn)} " + 5306d5ddbceSLemover (if (hasPerm) p"perm:${perm.getOrElse(0.U.asTypeOf(new PtePermBundle))} " else p"") + 531bc063562SLemover (if (hasLevel) p"level:${level.getOrElse(0.U)}" else p"") + 532bc063562SLemover p"prefetch:${prefetch}" 5336d5ddbceSLemover } 5346d5ddbceSLemover} 5356d5ddbceSLemover 5366d5ddbceSLemoverclass PtwEntries(num: Int, tagLen: Int, level: Int, hasPerm: Boolean)(implicit p: Parameters) extends PtwBundle { 5376d5ddbceSLemover require(log2Up(num)==log2Down(num)) 5386d5ddbceSLemover 5396d5ddbceSLemover val tag = UInt(tagLen.W) 54045f497a4Shappy-lx val asid = UInt(asidLen.W) 5416d5ddbceSLemover val ppns = Vec(num, UInt(ppnLen.W)) 5426d5ddbceSLemover val vs = Vec(num, Bool()) 5436d5ddbceSLemover val perms = if (hasPerm) Some(Vec(num, new PtePermBundle)) else None 544bc063562SLemover val prefetch = Bool() 5456d5ddbceSLemover // println(s"PtwEntries: tag:1*${tagLen} ppns:${num}*${ppnLen} vs:${num}*1") 5466d5ddbceSLemover 5476d5ddbceSLemover def tagClip(vpn: UInt) = { 5486d5ddbceSLemover require(vpn.getWidth == vpnLen) 5496d5ddbceSLemover vpn(vpnLen - 1, vpnLen - tagLen) 5506d5ddbceSLemover } 5516d5ddbceSLemover 5526d5ddbceSLemover def sectorIdxClip(vpn: UInt, level: Int) = { 5536d5ddbceSLemover getVpnClip(vpn, level)(log2Up(num) - 1, 0) 5546d5ddbceSLemover } 5556d5ddbceSLemover 55645f497a4Shappy-lx def hit(vpn: UInt, asid: UInt, ignoreAsid: Boolean = false) = { 55745f497a4Shappy-lx val asid_hit = if (ignoreAsid) true.B else (this.asid === asid) 55845f497a4Shappy-lx asid_hit && tag === tagClip(vpn) && vs(sectorIdxClip(vpn, level)) // TODO: optimize this. don't need to compare each with tag 5596d5ddbceSLemover } 5606d5ddbceSLemover 56145f497a4Shappy-lx def genEntries(vpn: UInt, asid: UInt, data: UInt, levelUInt: UInt, prefetch: Bool) = { 5626d5ddbceSLemover require((data.getWidth / XLEN) == num, 5635854c1edSLemover s"input data length must be multiple of pte length: data.length:${data.getWidth} num:${num}") 5646d5ddbceSLemover 5656d5ddbceSLemover val ps = Wire(new PtwEntries(num, tagLen, level, hasPerm)) 5666d5ddbceSLemover ps.tag := tagClip(vpn) 56745f497a4Shappy-lx ps.asid := asid 568bc063562SLemover ps.prefetch := prefetch 5696d5ddbceSLemover for (i <- 0 until num) { 5706d5ddbceSLemover val pte = data((i+1)*XLEN-1, i*XLEN).asTypeOf(new PteBundle) 5716d5ddbceSLemover ps.ppns(i) := pte.ppn 5726d5ddbceSLemover ps.vs(i) := !pte.isPf(levelUInt) && (if (hasPerm) pte.isLeaf() else !pte.isLeaf()) 5736d5ddbceSLemover ps.perms.map(_(i) := pte.perm) 5746d5ddbceSLemover } 5756d5ddbceSLemover ps 5766d5ddbceSLemover } 5776d5ddbceSLemover 5786d5ddbceSLemover override def cloneType: this.type = (new PtwEntries(num, tagLen, level, hasPerm)).asInstanceOf[this.type] 5796d5ddbceSLemover override def toPrintable: Printable = { 5806d5ddbceSLemover // require(num == 4, "if num is not 4, please comment this toPrintable") 5816d5ddbceSLemover // NOTE: if num is not 4, please comment this toPrintable 5826d5ddbceSLemover val permsInner = perms.getOrElse(0.U.asTypeOf(Vec(num, new PtePermBundle))) 58345f497a4Shappy-lx p"asid: ${Hexadecimal(asid)} tag:0x${Hexadecimal(tag)} ppns:${printVec(ppns)} vs:${Binary(vs.asUInt)} " + 5846d5ddbceSLemover (if (hasPerm) p"perms:${printVec(permsInner)}" else p"") 5856d5ddbceSLemover } 5866d5ddbceSLemover} 5876d5ddbceSLemover 5887196f5a2SLemoverclass PTWEntriesWithEcc(eccCode: Code, num: Int, tagLen: Int, level: Int, hasPerm: Boolean)(implicit p: Parameters) extends PtwBundle { 5897196f5a2SLemover val entries = new PtwEntries(num, tagLen, level, hasPerm) 5907196f5a2SLemover 5913889e11eSLemover val ecc_block = XLEN 5923889e11eSLemover val ecc_info = get_ecc_info() 5933889e11eSLemover val ecc = UInt(ecc_info._1.W) 5943889e11eSLemover 5953889e11eSLemover def get_ecc_info(): (Int, Int, Int, Int) = { 5963889e11eSLemover val eccBits_per = eccCode.width(ecc_block) - ecc_block 5973889e11eSLemover 5983889e11eSLemover val data_length = entries.getWidth 5993889e11eSLemover val data_align_num = data_length / ecc_block 6003889e11eSLemover val data_not_align = (data_length % ecc_block) != 0 // ugly code 6013889e11eSLemover val data_unalign_length = data_length - data_align_num * ecc_block 6023889e11eSLemover val eccBits_unalign = eccCode.width(data_unalign_length) - data_unalign_length 6033889e11eSLemover 6043889e11eSLemover val eccBits = eccBits_per * data_align_num + eccBits_unalign 6053889e11eSLemover (eccBits, eccBits_per, data_align_num, data_unalign_length) 6063889e11eSLemover } 6073889e11eSLemover 6083889e11eSLemover def encode() = { 6093889e11eSLemover val data = entries.asUInt() 6103889e11eSLemover val ecc_slices = Wire(Vec(ecc_info._3, UInt(ecc_info._2.W))) 6113889e11eSLemover for (i <- 0 until ecc_info._3) { 6123889e11eSLemover ecc_slices(i) := eccCode.encode(data((i+1)*ecc_block-1, i*ecc_block)) >> ecc_block 6133889e11eSLemover } 6143889e11eSLemover if (ecc_info._4 != 0) { 6153889e11eSLemover val ecc_unaligned = eccCode.encode(data(data.getWidth-1, ecc_info._3*ecc_block)) >> ecc_info._4 6163889e11eSLemover ecc := Cat(ecc_unaligned, ecc_slices.asUInt()) 6173889e11eSLemover } else { ecc := ecc_slices.asUInt() } 6183889e11eSLemover } 6193889e11eSLemover 6203889e11eSLemover def decode(): Bool = { 6213889e11eSLemover val data = entries.asUInt() 6223889e11eSLemover val res = Wire(Vec(ecc_info._3 + 1, Bool())) 6233889e11eSLemover for (i <- 0 until ecc_info._3) { 6243889e11eSLemover res(i) := eccCode.decode(Cat(ecc((i+1)*ecc_info._2-1, i*ecc_info._2), data((i+1)*ecc_block-1, i*ecc_block))).error 6253889e11eSLemover } 6263889e11eSLemover if (ecc_info._4 != 0) { 6273889e11eSLemover res(ecc_info._3) := eccCode.decode( 6283889e11eSLemover Cat(ecc(ecc_info._1-1, ecc_info._2*ecc_info._3), data(data.getWidth-1, ecc_info._3*ecc_block))).error 6293889e11eSLemover } else { res(ecc_info._3) := false.B } 6303889e11eSLemover 6313889e11eSLemover Cat(res).orR 6323889e11eSLemover } 6333889e11eSLemover 6343889e11eSLemover def gen(vpn: UInt, asid: UInt, data: UInt, levelUInt: UInt, prefetch: Bool) = { 6353889e11eSLemover this.entries := entries.genEntries(vpn, asid, data, levelUInt, prefetch) 6363889e11eSLemover this.encode() 6373889e11eSLemover } 6387196f5a2SLemover 6397196f5a2SLemover override def cloneType: this.type = new PTWEntriesWithEcc(eccCode, num, tagLen, level, hasPerm).asInstanceOf[this.type] 6407196f5a2SLemover} 6417196f5a2SLemover 6426d5ddbceSLemoverclass PtwReq(implicit p: Parameters) extends PtwBundle { 6436d5ddbceSLemover val vpn = UInt(vpnLen.W) 6446d5ddbceSLemover 6456d5ddbceSLemover override def toPrintable: Printable = { 6466d5ddbceSLemover p"vpn:0x${Hexadecimal(vpn)}" 6476d5ddbceSLemover } 6486d5ddbceSLemover} 6496d5ddbceSLemover 6506d5ddbceSLemoverclass PtwResp(implicit p: Parameters) extends PtwBundle { 6516d5ddbceSLemover val entry = new PtwEntry(tagLen = vpnLen, hasPerm = true, hasLevel = true) 6526d5ddbceSLemover val pf = Bool() 653b6982e83SLemover val af = Bool() 6546d5ddbceSLemover 65545f497a4Shappy-lx 65645f497a4Shappy-lx def apply(pf: Bool, af: Bool, level: UInt, pte: PteBundle, vpn: UInt, asid: UInt) = { 6575854c1edSLemover this.entry.level.map(_ := level) 6585854c1edSLemover this.entry.tag := vpn 6595854c1edSLemover this.entry.perm.map(_ := pte.getPerm()) 6605854c1edSLemover this.entry.ppn := pte.ppn 661bc063562SLemover this.entry.prefetch := DontCare 66245f497a4Shappy-lx this.entry.asid := asid 6635854c1edSLemover this.pf := pf 664b6982e83SLemover this.af := af 6655854c1edSLemover } 6665854c1edSLemover 6676d5ddbceSLemover override def toPrintable: Printable = { 668b6982e83SLemover p"entry:${entry} pf:${pf} af:${af}" 6696d5ddbceSLemover } 6706d5ddbceSLemover} 6716d5ddbceSLemover 6726d5ddbceSLemoverclass PtwIO(implicit p: Parameters) extends PtwBundle { 6736d5ddbceSLemover val tlb = Vec(PtwWidth, Flipped(new TlbPtwIO)) 6746d5ddbceSLemover val sfence = Input(new SfenceBundle) 675b6982e83SLemover val csr = new Bundle { 676b6982e83SLemover val tlb = Input(new TlbCsrBundle) 677b6982e83SLemover val distribute_csr = Flipped(new DistributedCSRIO) 678b6982e83SLemover } 679cd365d4cSrvcoresjw val perfEvents = Output(new PerfEventsBundle(numPCntPtw)) 6806d5ddbceSLemover} 6816d5ddbceSLemover 682b848eea5SLemoverclass L2TlbMemReqBundle(implicit p: Parameters) extends PtwBundle { 683b848eea5SLemover val addr = UInt(PAddrBits.W) 684b848eea5SLemover val id = UInt(bMemID.W) 685b848eea5SLemover} 68645f497a4Shappy-lx 68745f497a4Shappy-lxclass L2TlbInnerBundle(implicit p: Parameters) extends PtwReq { 68845f497a4Shappy-lx val source = UInt(bSourceWidth.W) 68945f497a4Shappy-lx} 690