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) { 956d5ddbceSLemover array(io.w.bits.index) := io.w.bits.data 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 17745f497a4Shappy-lx def hit(vpn: UInt, asid: UInt, ignoreAsid: Boolean = false): Bool = { 17845f497a4Shappy-lx val asid_hit = if (ignoreAsid) true.B else (this.asid === asid) 17945f497a4Shappy-lx if (!pageSuper) asid_hit && vpn === tag 18045f497a4Shappy-lx else if (!pageNormal) asid_hit && MuxLookup(level.get, false.B, Seq( 181a0301c0dSLemover 0.U -> (tag(vpnnLen*2-1, vpnnLen) === vpn(vpnLen-1, vpnnLen*2)), 182a0301c0dSLemover 1.U -> (tag === vpn(vpnLen-1, vpnnLen)), 183a0301c0dSLemover )) 18445f497a4Shappy-lx else asid_hit && MuxLookup(level.get, false.B, Seq( 185a0301c0dSLemover 0.U -> (tag(vpnLen-1, vpnnLen*2) === vpn(vpnLen-1, vpnnLen*2)), 186a0301c0dSLemover 1.U -> (tag(vpnLen-1, vpnnLen) === vpn(vpnLen-1, vpnnLen)), 187a0301c0dSLemover 2.U -> (tag === vpn) // if pageNormal is false, this will always be false 188a0301c0dSLemover )) 189a0301c0dSLemover } 190a0301c0dSLemover 19145f497a4Shappy-lx def apply(item: PtwResp, asid: UInt): TlbEntry = { 192a0301c0dSLemover this.tag := {if (pageNormal) item.entry.tag else item.entry.tag(vpnLen-1, vpnnLen)} 19345f497a4Shappy-lx this.asid := asid 194a0301c0dSLemover val inner_level = item.entry.level.getOrElse(0.U) 195a0301c0dSLemover this.level.map(_ := { if (pageNormal && pageSuper) inner_level 196a0301c0dSLemover else if (pageSuper) inner_level(0) 197a0301c0dSLemover else 0.U}) 198a0301c0dSLemover this.ppn := { if (!pageNormal) item.entry.ppn(ppnLen-1, vpnnLen) 199a0301c0dSLemover else item.entry.ppn } 200a0301c0dSLemover val ptePerm = item.entry.perm.get.asTypeOf(new PtePermBundle().cloneType) 201a0301c0dSLemover this.perm.pf := item.pf 202b6982e83SLemover this.perm.af := item.af 203a0301c0dSLemover this.perm.d := ptePerm.d 204a0301c0dSLemover this.perm.a := ptePerm.a 205a0301c0dSLemover this.perm.g := ptePerm.g 206a0301c0dSLemover this.perm.u := ptePerm.u 207a0301c0dSLemover this.perm.x := ptePerm.x 208a0301c0dSLemover this.perm.w := ptePerm.w 209a0301c0dSLemover this.perm.r := ptePerm.r 210a0301c0dSLemover 211a0301c0dSLemover this 212a0301c0dSLemover } 213a0301c0dSLemover 214a0301c0dSLemover def genPPN(vpn: UInt) : UInt = { 215a0301c0dSLemover if (!pageSuper) ppn 216a0301c0dSLemover else if (!pageNormal) MuxLookup(level.get, 0.U, Seq( 217a0301c0dSLemover 0.U -> Cat(ppn(ppn.getWidth-1, vpnnLen), vpn(vpnnLen*2-1, 0)), 218a0301c0dSLemover 1.U -> Cat(ppn, vpn(vpnnLen-1, 0)) 219a0301c0dSLemover )) 220a0301c0dSLemover else MuxLookup(level.get, 0.U, Seq( 221a0301c0dSLemover 0.U -> Cat(ppn(ppn.getWidth-1, vpnnLen*2), vpn(vpnnLen*2-1, 0)), 222a0301c0dSLemover 1.U -> Cat(ppn(ppn.getWidth-1, vpnnLen), vpn(vpnnLen-1, 0)), 223a0301c0dSLemover 2.U -> ppn 224a0301c0dSLemover )) 225a0301c0dSLemover } 226a0301c0dSLemover 227a0301c0dSLemover override def toPrintable: Printable = { 228a0301c0dSLemover val inner_level = level.getOrElse(2.U) 22945f497a4Shappy-lx p"asid: ${asid} level:${inner_level} vpn:${Hexadecimal(tag)} ppn:${Hexadecimal(ppn)} perm:${perm}" 230a0301c0dSLemover } 231a0301c0dSLemover 232a0301c0dSLemover override def cloneType: this.type = (new TlbEntry(pageNormal, pageSuper)).asInstanceOf[this.type] 233a0301c0dSLemover} 234a0301c0dSLemover 2356d5ddbceSLemoverobject TlbCmd { 2366d5ddbceSLemover def read = "b00".U 2376d5ddbceSLemover def write = "b01".U 2386d5ddbceSLemover def exec = "b10".U 2396d5ddbceSLemover 2406d5ddbceSLemover def atom_read = "b100".U // lr 2416d5ddbceSLemover def atom_write = "b101".U // sc / amo 2426d5ddbceSLemover 2436d5ddbceSLemover def apply() = UInt(3.W) 2446d5ddbceSLemover def isRead(a: UInt) = a(1,0)===read 2456d5ddbceSLemover def isWrite(a: UInt) = a(1,0)===write 2466d5ddbceSLemover def isExec(a: UInt) = a(1,0)===exec 2476d5ddbceSLemover 2486d5ddbceSLemover def isAtom(a: UInt) = a(2) 249a79fef67Swakafa def isAmo(a: UInt) = a===atom_write // NOTE: sc mixed 2506d5ddbceSLemover} 2516d5ddbceSLemover 25245f497a4Shappy-lxclass TlbStorageIO(nSets: Int, nWays: Int, ports: Int)(implicit p: Parameters) extends MMUIOBaseBundle { 253a0301c0dSLemover val r = new Bundle { 254a0301c0dSLemover val req = Vec(ports, Flipped(DecoupledIO(new Bundle { 255a0301c0dSLemover val vpn = Output(UInt(vpnLen.W)) 256a0301c0dSLemover }))) 257a0301c0dSLemover val resp = Vec(ports, ValidIO(new Bundle{ 258a0301c0dSLemover val hit = Output(Bool()) 259a0301c0dSLemover val ppn = Output(UInt(ppnLen.W)) 260a0301c0dSLemover val perm = Output(new TlbPermBundle()) 261a0301c0dSLemover })) 262a0301c0dSLemover } 263a0301c0dSLemover val w = Flipped(ValidIO(new Bundle { 264a0301c0dSLemover val wayIdx = Output(UInt(log2Up(nWays).W)) 265a0301c0dSLemover val data = Output(new PtwResp) 266a0301c0dSLemover })) 267a0301c0dSLemover val victim = new Bundle { 26845f497a4Shappy-lx val out = ValidIO(Output(new Bundle { 26945f497a4Shappy-lx val entry = new TlbEntry(pageNormal = true, pageSuper = false) 27045f497a4Shappy-lx })) 27145f497a4Shappy-lx val in = Flipped(ValidIO(Output(new Bundle { 27245f497a4Shappy-lx val entry = new TlbEntry(pageNormal = true, pageSuper = false) 27345f497a4Shappy-lx }))) 274a0301c0dSLemover } 2753889e11eSLemover val access = Vec(ports, new ReplaceAccessBundle(nSets, nWays)) 276a0301c0dSLemover 27745f497a4Shappy-lx def r_req_apply(valid: Bool, vpn: UInt, asid: UInt, i: Int): Unit = { 278a0301c0dSLemover this.r.req(i).valid := valid 279a0301c0dSLemover this.r.req(i).bits.vpn := vpn 280a0301c0dSLemover } 281a0301c0dSLemover 282a0301c0dSLemover def r_resp_apply(i: Int) = { 2833889e11eSLemover (this.r.resp(i).bits.hit, this.r.resp(i).bits.ppn, this.r.resp(i).bits.perm) 284a0301c0dSLemover } 285a0301c0dSLemover 286a0301c0dSLemover def w_apply(valid: Bool, wayIdx: UInt, data: PtwResp): Unit = { 287a0301c0dSLemover this.w.valid := valid 288a0301c0dSLemover this.w.bits.wayIdx := wayIdx 289a0301c0dSLemover this.w.bits.data := data 290a0301c0dSLemover } 291a0301c0dSLemover 292a0301c0dSLemover override def cloneType: this.type = new TlbStorageIO(nSets, nWays, ports).asInstanceOf[this.type] 293a0301c0dSLemover} 294a0301c0dSLemover 2953889e11eSLemoverclass ReplaceAccessBundle(nSets: Int, nWays: Int)(implicit p: Parameters) extends TlbBundle { 2963889e11eSLemover val sets = Output(UInt(log2Up(nSets).W)) 2973889e11eSLemover val touch_ways = ValidIO(Output(UInt(log2Up(nWays).W))) 2983889e11eSLemover 2993889e11eSLemover override def cloneType: this.type =new ReplaceAccessBundle(nSets, nWays).asInstanceOf[this.type] 3003889e11eSLemover} 3013889e11eSLemover 302a0301c0dSLemoverclass ReplaceIO(Width: Int, nSets: Int, nWays: Int)(implicit p: Parameters) extends TlbBundle { 3033889e11eSLemover val access = Vec(Width, Flipped(new ReplaceAccessBundle(nSets, nWays))) 304a0301c0dSLemover 305a0301c0dSLemover val refillIdx = Output(UInt(log2Up(nWays).W)) 306a0301c0dSLemover val chosen_set = Flipped(Output(UInt(log2Up(nSets).W))) 307a0301c0dSLemover 308a0301c0dSLemover def apply_sep(in: Seq[ReplaceIO], vpn: UInt): Unit = { 309a0301c0dSLemover for (i <- 0 until Width) { 3103889e11eSLemover this.access(i) := in(i).access(0) 3113889e11eSLemover this.chosen_set := get_set_idx(vpn, nSets) 312a0301c0dSLemover in(i).refillIdx := this.refillIdx 313a0301c0dSLemover } 314a0301c0dSLemover } 315a0301c0dSLemover} 316a0301c0dSLemover 317a0301c0dSLemoverclass TlbReplaceIO(Width: Int, q: TLBParameters)(implicit p: Parameters) extends 318a0301c0dSLemover TlbBundle { 319a0301c0dSLemover val normalPage = new ReplaceIO(Width, q.normalNSets, q.normalNWays) 320a0301c0dSLemover val superPage = new ReplaceIO(Width, q.superNSets, q.superNWays) 321a0301c0dSLemover 322a0301c0dSLemover def apply_sep(in: Seq[TlbReplaceIO], vpn: UInt) = { 323a0301c0dSLemover this.normalPage.apply_sep(in.map(_.normalPage), vpn) 324a0301c0dSLemover this.superPage.apply_sep(in.map(_.superPage), vpn) 325a0301c0dSLemover } 326a0301c0dSLemover 327a0301c0dSLemover override def cloneType = (new TlbReplaceIO(Width, q)).asInstanceOf[this.type] 328a0301c0dSLemover} 329a0301c0dSLemover 3306d5ddbceSLemoverclass TlbReq(implicit p: Parameters) extends TlbBundle { 331*ca2f90a6SLemover val vaddr = Output(UInt(VAddrBits.W)) 332*ca2f90a6SLemover val cmd = Output(TlbCmd()) 333*ca2f90a6SLemover val size = Output(UInt(log2Ceil(log2Ceil(XLEN/8)+1).W)) 334*ca2f90a6SLemover val robIdx = Output(new RobPtr) 3356d5ddbceSLemover val debug = new Bundle { 336*ca2f90a6SLemover val pc = Output(UInt(XLEN.W)) 337*ca2f90a6SLemover val isFirstIssue = Output(Bool()) 3386d5ddbceSLemover } 3396d5ddbceSLemover 3406d5ddbceSLemover override def toPrintable: Printable = { 3419aca92b9SYinan Xu p"vaddr:0x${Hexadecimal(vaddr)} cmd:${cmd} pc:0x${Hexadecimal(debug.pc)} robIdx:${robIdx}" 3426d5ddbceSLemover } 3436d5ddbceSLemover} 3446d5ddbceSLemover 345b6982e83SLemoverclass TlbExceptionBundle(implicit p: Parameters) extends TlbBundle { 346b6982e83SLemover val ld = Output(Bool()) 347b6982e83SLemover val st = Output(Bool()) 348b6982e83SLemover val instr = Output(Bool()) 349b6982e83SLemover} 350b6982e83SLemover 3516d5ddbceSLemoverclass TlbResp(implicit p: Parameters) extends TlbBundle { 352*ca2f90a6SLemover val paddr = Output(UInt(PAddrBits.W)) 353*ca2f90a6SLemover val miss = Output(Bool()) 3546d5ddbceSLemover val excp = new Bundle { 355b6982e83SLemover val pf = new TlbExceptionBundle() 356b6982e83SLemover val af = new TlbExceptionBundle() 3576d5ddbceSLemover } 358*ca2f90a6SLemover val ptwBack = Output(Bool()) // when ptw back, wake up replay rs's state 3596d5ddbceSLemover 3606d5ddbceSLemover override def toPrintable: Printable = { 3616d5ddbceSLemover p"paddr:0x${Hexadecimal(paddr)} miss:${miss} excp.pf: ld:${excp.pf.ld} st:${excp.pf.st} instr:${excp.pf.instr} ptwBack:${ptwBack}" 3626d5ddbceSLemover } 3636d5ddbceSLemover} 3646d5ddbceSLemover 3656d5ddbceSLemoverclass TlbRequestIO()(implicit p: Parameters) extends TlbBundle { 3666d5ddbceSLemover val req = DecoupledIO(new TlbReq) 3676d5ddbceSLemover val resp = Flipped(DecoupledIO(new TlbResp)) 3686d5ddbceSLemover} 3696d5ddbceSLemover 3706d5ddbceSLemoverclass BlockTlbRequestIO()(implicit p: Parameters) extends TlbBundle { 3716d5ddbceSLemover val req = DecoupledIO(new TlbReq) 3726d5ddbceSLemover val resp = Flipped(DecoupledIO(new TlbResp)) 3736d5ddbceSLemover} 3746d5ddbceSLemover 3756d5ddbceSLemoverclass TlbPtwIO(Width: Int = 1)(implicit p: Parameters) extends TlbBundle { 3766d5ddbceSLemover val req = Vec(Width, DecoupledIO(new PtwReq)) 3776d5ddbceSLemover val resp = Flipped(DecoupledIO(new PtwResp)) 3786d5ddbceSLemover 3796d5ddbceSLemover override def cloneType: this.type = (new TlbPtwIO(Width)).asInstanceOf[this.type] 3806d5ddbceSLemover 3816d5ddbceSLemover override def toPrintable: Printable = { 3826d5ddbceSLemover p"req(0):${req(0).valid} ${req(0).ready} ${req(0).bits} | resp:${resp.valid} ${resp.ready} ${resp.bits}" 3836d5ddbceSLemover } 3846d5ddbceSLemover} 3856d5ddbceSLemover 38645f497a4Shappy-lxclass MMUIOBaseBundle(implicit p: Parameters) extends TlbBundle { 387b052b972SLemover val sfence = Input(new SfenceBundle) 388b052b972SLemover val csr = Input(new TlbCsrBundle) 389a0301c0dSLemover} 3906d5ddbceSLemover 391a0301c0dSLemoverclass TlbIO(Width: Int, q: TLBParameters)(implicit p: Parameters) extends 39245f497a4Shappy-lx MMUIOBaseBundle { 393a0301c0dSLemover val requestor = Vec(Width, Flipped(new TlbRequestIO)) 394a0301c0dSLemover val ptw = new TlbPtwIO(Width) 395a0301c0dSLemover val replace = if (q.outReplace) Flipped(new TlbReplaceIO(Width, q)) else null 396b6982e83SLemover val pmp = Vec(Width, ValidIO(new PMPReqBundle())) 397a0301c0dSLemover 398a0301c0dSLemover override def cloneType: this.type = (new TlbIO(Width, q)).asInstanceOf[this.type] 399a0301c0dSLemover} 400a0301c0dSLemover 401a0301c0dSLemoverclass BTlbPtwIO(Width: Int)(implicit p: Parameters) extends TlbBundle { 402a0301c0dSLemover val req = Vec(Width, DecoupledIO(new PtwReq)) 403a0301c0dSLemover val resp = Flipped(DecoupledIO(new Bundle { 404a0301c0dSLemover val data = new PtwResp 405a0301c0dSLemover val vector = Output(Vec(Width, Bool())) 406a0301c0dSLemover })) 407a0301c0dSLemover 408a0301c0dSLemover override def cloneType: this.type = (new BTlbPtwIO(Width)).asInstanceOf[this.type] 409a0301c0dSLemover} 410a0301c0dSLemover/**************************** Bridge TLB *******************************/ 411a0301c0dSLemover 41245f497a4Shappy-lxclass BridgeTLBIO(Width: Int)(implicit p: Parameters) extends MMUIOBaseBundle { 413a0301c0dSLemover val requestor = Vec(Width, Flipped(new TlbPtwIO())) 414a0301c0dSLemover val ptw = new BTlbPtwIO(Width) 415a0301c0dSLemover 416a0301c0dSLemover override def cloneType: this.type = (new BridgeTLBIO(Width)).asInstanceOf[this.type] 4176d5ddbceSLemover} 4186d5ddbceSLemover 4196d5ddbceSLemover 4206d5ddbceSLemover/**************************** PTW *************************************/ 4216d5ddbceSLemoverabstract class PtwBundle(implicit p: Parameters) extends XSBundle with HasPtwConst 4226d5ddbceSLemoverabstract class PtwModule(outer: PTW) extends LazyModuleImp(outer) 4236d5ddbceSLemover with HasXSParameter with HasPtwConst 4246d5ddbceSLemover 4256d5ddbceSLemoverclass PteBundle(implicit p: Parameters) extends PtwBundle{ 4266d5ddbceSLemover val reserved = UInt(pteResLen.W) 4276d5ddbceSLemover val ppn = UInt(ppnLen.W) 4286d5ddbceSLemover val rsw = UInt(2.W) 4296d5ddbceSLemover val perm = new Bundle { 4306d5ddbceSLemover val d = Bool() 4316d5ddbceSLemover val a = Bool() 4326d5ddbceSLemover val g = Bool() 4336d5ddbceSLemover val u = Bool() 4346d5ddbceSLemover val x = Bool() 4356d5ddbceSLemover val w = Bool() 4366d5ddbceSLemover val r = Bool() 4376d5ddbceSLemover val v = Bool() 4386d5ddbceSLemover } 4396d5ddbceSLemover 4406d5ddbceSLemover def unaligned(level: UInt) = { 4416d5ddbceSLemover isLeaf() && !(level === 2.U || 4426d5ddbceSLemover level === 1.U && ppn(vpnnLen-1, 0) === 0.U || 4436d5ddbceSLemover level === 0.U && ppn(vpnnLen*2-1, 0) === 0.U) 4446d5ddbceSLemover } 4456d5ddbceSLemover 4466d5ddbceSLemover def isPf(level: UInt) = { 4476d5ddbceSLemover !perm.v || (!perm.r && perm.w) || unaligned(level) 4486d5ddbceSLemover } 4496d5ddbceSLemover 4506d5ddbceSLemover def isLeaf() = { 4516d5ddbceSLemover perm.r || perm.x || perm.w 4526d5ddbceSLemover } 4536d5ddbceSLemover 4546d5ddbceSLemover def getPerm() = { 4556d5ddbceSLemover val pm = Wire(new PtePermBundle) 4566d5ddbceSLemover pm.d := perm.d 4576d5ddbceSLemover pm.a := perm.a 4586d5ddbceSLemover pm.g := perm.g 4596d5ddbceSLemover pm.u := perm.u 4606d5ddbceSLemover pm.x := perm.x 4616d5ddbceSLemover pm.w := perm.w 4626d5ddbceSLemover pm.r := perm.r 4636d5ddbceSLemover pm 4646d5ddbceSLemover } 4656d5ddbceSLemover 4666d5ddbceSLemover override def toPrintable: Printable = { 4676d5ddbceSLemover p"ppn:0x${Hexadecimal(ppn)} perm:b${Binary(perm.asUInt)}" 4686d5ddbceSLemover } 4696d5ddbceSLemover} 4706d5ddbceSLemover 4716d5ddbceSLemoverclass PtwEntry(tagLen: Int, hasPerm: Boolean = false, hasLevel: Boolean = false)(implicit p: Parameters) extends PtwBundle { 4726d5ddbceSLemover val tag = UInt(tagLen.W) 47345f497a4Shappy-lx val asid = UInt(asidLen.W) 4746d5ddbceSLemover val ppn = UInt(ppnLen.W) 4756d5ddbceSLemover val perm = if (hasPerm) Some(new PtePermBundle) else None 4766d5ddbceSLemover val level = if (hasLevel) Some(UInt(log2Up(Level).W)) else None 477bc063562SLemover val prefetch = Bool() 4786d5ddbceSLemover 47945f497a4Shappy-lx def hit(vpn: UInt, asid: UInt, allType: Boolean = false, ignoreAsid: Boolean = false) = { 4806d5ddbceSLemover require(vpn.getWidth == vpnLen) 48145f497a4Shappy-lx require(this.asid.getWidth <= asid.getWidth) 48245f497a4Shappy-lx val asid_hit = if (ignoreAsid) true.B else (this.asid === asid) 4836d5ddbceSLemover if (allType) { 4846d5ddbceSLemover require(hasLevel) 4856d5ddbceSLemover val hit0 = tag(tagLen - 1, vpnnLen*2) === vpn(tagLen - 1, vpnnLen*2) 4866d5ddbceSLemover val hit1 = tag(vpnnLen*2 - 1, vpnnLen) === vpn(vpnnLen*2 - 1, vpnnLen) 4876d5ddbceSLemover val hit2 = tag(vpnnLen - 1, 0) === vpn(vpnnLen - 1, 0) 48845f497a4Shappy-lx 48945f497a4Shappy-lx asid_hit && Mux(level.getOrElse(0.U) === 2.U, hit2 && hit1 && hit0, Mux(level.getOrElse(0.U) === 1.U, hit1 && hit0, hit0)) 4906d5ddbceSLemover } else if (hasLevel) { 4916d5ddbceSLemover val hit0 = tag(tagLen - 1, tagLen - vpnnLen) === vpn(vpnLen - 1, vpnLen - vpnnLen) 4926d5ddbceSLemover val hit1 = tag(tagLen - vpnnLen - 1, tagLen - vpnnLen * 2) === vpn(vpnLen - vpnnLen - 1, vpnLen - vpnnLen * 2) 49345f497a4Shappy-lx 49445f497a4Shappy-lx asid_hit && Mux(level.getOrElse(0.U) === 0.U, hit0, hit0 && hit1) 4956d5ddbceSLemover } else { 49645f497a4Shappy-lx asid_hit && tag === vpn(vpnLen - 1, vpnLen - tagLen) 4976d5ddbceSLemover } 4986d5ddbceSLemover } 4996d5ddbceSLemover 50045f497a4Shappy-lx def refill(vpn: UInt, asid: UInt, pte: UInt, level: UInt = 0.U, prefetch: Bool) { 50145f497a4Shappy-lx require(this.asid.getWidth <= asid.getWidth) // maybe equal is better, but ugly outside 50245f497a4Shappy-lx 5036d5ddbceSLemover tag := vpn(vpnLen - 1, vpnLen - tagLen) 504a0301c0dSLemover ppn := pte.asTypeOf(new PteBundle().cloneType).ppn 505a0301c0dSLemover perm.map(_ := pte.asTypeOf(new PteBundle().cloneType).perm) 50645f497a4Shappy-lx this.asid := asid 507bc063562SLemover this.prefetch := prefetch 5086d5ddbceSLemover this.level.map(_ := level) 5096d5ddbceSLemover } 5106d5ddbceSLemover 51145f497a4Shappy-lx def genPtwEntry(vpn: UInt, asid: UInt, pte: UInt, level: UInt = 0.U, prefetch: Bool) = { 5126d5ddbceSLemover val e = Wire(new PtwEntry(tagLen, hasPerm, hasLevel)) 51345f497a4Shappy-lx e.refill(vpn, asid, pte, level, prefetch) 5146d5ddbceSLemover e 5156d5ddbceSLemover } 5166d5ddbceSLemover 5176d5ddbceSLemover override def cloneType: this.type = (new PtwEntry(tagLen, hasPerm, hasLevel)).asInstanceOf[this.type] 5186d5ddbceSLemover 5196d5ddbceSLemover override def toPrintable: Printable = { 5206d5ddbceSLemover // p"tag:0x${Hexadecimal(tag)} ppn:0x${Hexadecimal(ppn)} perm:${perm}" 5216d5ddbceSLemover p"tag:0x${Hexadecimal(tag)} ppn:0x${Hexadecimal(ppn)} " + 5226d5ddbceSLemover (if (hasPerm) p"perm:${perm.getOrElse(0.U.asTypeOf(new PtePermBundle))} " else p"") + 523bc063562SLemover (if (hasLevel) p"level:${level.getOrElse(0.U)}" else p"") + 524bc063562SLemover p"prefetch:${prefetch}" 5256d5ddbceSLemover } 5266d5ddbceSLemover} 5276d5ddbceSLemover 5286d5ddbceSLemoverclass PtwEntries(num: Int, tagLen: Int, level: Int, hasPerm: Boolean)(implicit p: Parameters) extends PtwBundle { 5296d5ddbceSLemover require(log2Up(num)==log2Down(num)) 5306d5ddbceSLemover 5316d5ddbceSLemover val tag = UInt(tagLen.W) 53245f497a4Shappy-lx val asid = UInt(asidLen.W) 5336d5ddbceSLemover val ppns = Vec(num, UInt(ppnLen.W)) 5346d5ddbceSLemover val vs = Vec(num, Bool()) 5356d5ddbceSLemover val perms = if (hasPerm) Some(Vec(num, new PtePermBundle)) else None 536bc063562SLemover val prefetch = Bool() 5376d5ddbceSLemover // println(s"PtwEntries: tag:1*${tagLen} ppns:${num}*${ppnLen} vs:${num}*1") 5386d5ddbceSLemover 5396d5ddbceSLemover def tagClip(vpn: UInt) = { 5406d5ddbceSLemover require(vpn.getWidth == vpnLen) 5416d5ddbceSLemover vpn(vpnLen - 1, vpnLen - tagLen) 5426d5ddbceSLemover } 5436d5ddbceSLemover 5446d5ddbceSLemover def sectorIdxClip(vpn: UInt, level: Int) = { 5456d5ddbceSLemover getVpnClip(vpn, level)(log2Up(num) - 1, 0) 5466d5ddbceSLemover } 5476d5ddbceSLemover 54845f497a4Shappy-lx def hit(vpn: UInt, asid: UInt, ignoreAsid: Boolean = false) = { 54945f497a4Shappy-lx val asid_hit = if (ignoreAsid) true.B else (this.asid === asid) 55045f497a4Shappy-lx asid_hit && tag === tagClip(vpn) && vs(sectorIdxClip(vpn, level)) // TODO: optimize this. don't need to compare each with tag 5516d5ddbceSLemover } 5526d5ddbceSLemover 55345f497a4Shappy-lx def genEntries(vpn: UInt, asid: UInt, data: UInt, levelUInt: UInt, prefetch: Bool) = { 5546d5ddbceSLemover require((data.getWidth / XLEN) == num, 5555854c1edSLemover s"input data length must be multiple of pte length: data.length:${data.getWidth} num:${num}") 5566d5ddbceSLemover 5576d5ddbceSLemover val ps = Wire(new PtwEntries(num, tagLen, level, hasPerm)) 5586d5ddbceSLemover ps.tag := tagClip(vpn) 55945f497a4Shappy-lx ps.asid := asid 560bc063562SLemover ps.prefetch := prefetch 5616d5ddbceSLemover for (i <- 0 until num) { 5626d5ddbceSLemover val pte = data((i+1)*XLEN-1, i*XLEN).asTypeOf(new PteBundle) 5636d5ddbceSLemover ps.ppns(i) := pte.ppn 5646d5ddbceSLemover ps.vs(i) := !pte.isPf(levelUInt) && (if (hasPerm) pte.isLeaf() else !pte.isLeaf()) 5656d5ddbceSLemover ps.perms.map(_(i) := pte.perm) 5666d5ddbceSLemover } 5676d5ddbceSLemover ps 5686d5ddbceSLemover } 5696d5ddbceSLemover 5706d5ddbceSLemover override def cloneType: this.type = (new PtwEntries(num, tagLen, level, hasPerm)).asInstanceOf[this.type] 5716d5ddbceSLemover override def toPrintable: Printable = { 5726d5ddbceSLemover // require(num == 4, "if num is not 4, please comment this toPrintable") 5736d5ddbceSLemover // NOTE: if num is not 4, please comment this toPrintable 5746d5ddbceSLemover val permsInner = perms.getOrElse(0.U.asTypeOf(Vec(num, new PtePermBundle))) 57545f497a4Shappy-lx p"asid: ${Hexadecimal(asid)} tag:0x${Hexadecimal(tag)} ppns:${printVec(ppns)} vs:${Binary(vs.asUInt)} " + 5766d5ddbceSLemover (if (hasPerm) p"perms:${printVec(permsInner)}" else p"") 5776d5ddbceSLemover } 5786d5ddbceSLemover} 5796d5ddbceSLemover 5807196f5a2SLemoverclass PTWEntriesWithEcc(eccCode: Code, num: Int, tagLen: Int, level: Int, hasPerm: Boolean)(implicit p: Parameters) extends PtwBundle { 5817196f5a2SLemover val entries = new PtwEntries(num, tagLen, level, hasPerm) 5827196f5a2SLemover 5833889e11eSLemover val ecc_block = XLEN 5843889e11eSLemover val ecc_info = get_ecc_info() 5853889e11eSLemover val ecc = UInt(ecc_info._1.W) 5863889e11eSLemover 5873889e11eSLemover def get_ecc_info(): (Int, Int, Int, Int) = { 5883889e11eSLemover val eccBits_per = eccCode.width(ecc_block) - ecc_block 5893889e11eSLemover 5903889e11eSLemover val data_length = entries.getWidth 5913889e11eSLemover val data_align_num = data_length / ecc_block 5923889e11eSLemover val data_not_align = (data_length % ecc_block) != 0 // ugly code 5933889e11eSLemover val data_unalign_length = data_length - data_align_num * ecc_block 5943889e11eSLemover val eccBits_unalign = eccCode.width(data_unalign_length) - data_unalign_length 5953889e11eSLemover 5963889e11eSLemover val eccBits = eccBits_per * data_align_num + eccBits_unalign 5973889e11eSLemover (eccBits, eccBits_per, data_align_num, data_unalign_length) 5983889e11eSLemover } 5993889e11eSLemover 6003889e11eSLemover def encode() = { 6013889e11eSLemover val data = entries.asUInt() 6023889e11eSLemover val ecc_slices = Wire(Vec(ecc_info._3, UInt(ecc_info._2.W))) 6033889e11eSLemover for (i <- 0 until ecc_info._3) { 6043889e11eSLemover ecc_slices(i) := eccCode.encode(data((i+1)*ecc_block-1, i*ecc_block)) >> ecc_block 6053889e11eSLemover } 6063889e11eSLemover if (ecc_info._4 != 0) { 6073889e11eSLemover val ecc_unaligned = eccCode.encode(data(data.getWidth-1, ecc_info._3*ecc_block)) >> ecc_info._4 6083889e11eSLemover ecc := Cat(ecc_unaligned, ecc_slices.asUInt()) 6093889e11eSLemover } else { ecc := ecc_slices.asUInt() } 6103889e11eSLemover } 6113889e11eSLemover 6123889e11eSLemover def decode(): Bool = { 6133889e11eSLemover val data = entries.asUInt() 6143889e11eSLemover val res = Wire(Vec(ecc_info._3 + 1, Bool())) 6153889e11eSLemover for (i <- 0 until ecc_info._3) { 6163889e11eSLemover 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 6173889e11eSLemover } 6183889e11eSLemover if (ecc_info._4 != 0) { 6193889e11eSLemover res(ecc_info._3) := eccCode.decode( 6203889e11eSLemover Cat(ecc(ecc_info._1-1, ecc_info._2*ecc_info._3), data(data.getWidth-1, ecc_info._3*ecc_block))).error 6213889e11eSLemover } else { res(ecc_info._3) := false.B } 6223889e11eSLemover 6233889e11eSLemover Cat(res).orR 6243889e11eSLemover } 6253889e11eSLemover 6263889e11eSLemover def gen(vpn: UInt, asid: UInt, data: UInt, levelUInt: UInt, prefetch: Bool) = { 6273889e11eSLemover this.entries := entries.genEntries(vpn, asid, data, levelUInt, prefetch) 6283889e11eSLemover this.encode() 6293889e11eSLemover } 6307196f5a2SLemover 6317196f5a2SLemover override def cloneType: this.type = new PTWEntriesWithEcc(eccCode, num, tagLen, level, hasPerm).asInstanceOf[this.type] 6327196f5a2SLemover} 6337196f5a2SLemover 6346d5ddbceSLemoverclass PtwReq(implicit p: Parameters) extends PtwBundle { 6356d5ddbceSLemover val vpn = UInt(vpnLen.W) 6366d5ddbceSLemover 6376d5ddbceSLemover override def toPrintable: Printable = { 6386d5ddbceSLemover p"vpn:0x${Hexadecimal(vpn)}" 6396d5ddbceSLemover } 6406d5ddbceSLemover} 6416d5ddbceSLemover 6426d5ddbceSLemoverclass PtwResp(implicit p: Parameters) extends PtwBundle { 6436d5ddbceSLemover val entry = new PtwEntry(tagLen = vpnLen, hasPerm = true, hasLevel = true) 6446d5ddbceSLemover val pf = Bool() 645b6982e83SLemover val af = Bool() 6466d5ddbceSLemover 64745f497a4Shappy-lx 64845f497a4Shappy-lx def apply(pf: Bool, af: Bool, level: UInt, pte: PteBundle, vpn: UInt, asid: UInt) = { 6495854c1edSLemover this.entry.level.map(_ := level) 6505854c1edSLemover this.entry.tag := vpn 6515854c1edSLemover this.entry.perm.map(_ := pte.getPerm()) 6525854c1edSLemover this.entry.ppn := pte.ppn 653bc063562SLemover this.entry.prefetch := DontCare 65445f497a4Shappy-lx this.entry.asid := asid 6555854c1edSLemover this.pf := pf 656b6982e83SLemover this.af := af 6575854c1edSLemover } 6585854c1edSLemover 6596d5ddbceSLemover override def toPrintable: Printable = { 660b6982e83SLemover p"entry:${entry} pf:${pf} af:${af}" 6616d5ddbceSLemover } 6626d5ddbceSLemover} 6636d5ddbceSLemover 6646d5ddbceSLemoverclass PtwIO(implicit p: Parameters) extends PtwBundle { 6656d5ddbceSLemover val tlb = Vec(PtwWidth, Flipped(new TlbPtwIO)) 6666d5ddbceSLemover val sfence = Input(new SfenceBundle) 667b6982e83SLemover val csr = new Bundle { 668b6982e83SLemover val tlb = Input(new TlbCsrBundle) 669b6982e83SLemover val distribute_csr = Flipped(new DistributedCSRIO) 670b6982e83SLemover } 671cd365d4cSrvcoresjw val perfEvents = Output(new PerfEventsBundle(numPCntPtw)) 6726d5ddbceSLemover} 6736d5ddbceSLemover 674b848eea5SLemoverclass L2TlbMemReqBundle(implicit p: Parameters) extends PtwBundle { 675b848eea5SLemover val addr = UInt(PAddrBits.W) 676b848eea5SLemover val id = UInt(bMemID.W) 677b848eea5SLemover} 67845f497a4Shappy-lx 67945f497a4Shappy-lxclass L2TlbInnerBundle(implicit p: Parameters) extends PtwReq { 68045f497a4Shappy-lx val source = UInt(bSourceWidth.W) 68145f497a4Shappy-lx} 682