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 33a0301c0dSLemover 34a0301c0dSLemover 35a0301c0dSLemover// case class ITLBKey 36a0301c0dSLemover// case class LDTLBKey 37a0301c0dSLemover// case class STTLBKey 38a0301c0dSLemover 39a0301c0dSLemoverclass VaBundle(implicit p: Parameters) extends TlbBundle { 40a0301c0dSLemover val vpn = UInt(vpnLen.W) 41a0301c0dSLemover val off = UInt(offLen.W) 42a0301c0dSLemover} 43a0301c0dSLemover 446d5ddbceSLemoverclass PtePermBundle(implicit p: Parameters) extends TlbBundle { 456d5ddbceSLemover val d = Bool() 466d5ddbceSLemover val a = Bool() 476d5ddbceSLemover val g = Bool() 486d5ddbceSLemover val u = Bool() 496d5ddbceSLemover val x = Bool() 506d5ddbceSLemover val w = Bool() 516d5ddbceSLemover val r = Bool() 526d5ddbceSLemover 536d5ddbceSLemover override def toPrintable: Printable = { 546d5ddbceSLemover p"d:${d} a:${a} g:${g} u:${u} x:${x} w:${w} r:${r}"// + 556d5ddbceSLemover //(if(hasV) (p"v:${v}") else p"") 566d5ddbceSLemover } 576d5ddbceSLemover} 586d5ddbceSLemover 596d5ddbceSLemoverclass TlbPermBundle(implicit p: Parameters) extends TlbBundle { 606d5ddbceSLemover val pf = Bool() // NOTE: if this is true, just raise pf 61b6982e83SLemover val af = Bool() // NOTE: if this is true, just raise af 626d5ddbceSLemover // pagetable perm (software defined) 636d5ddbceSLemover val d = Bool() 646d5ddbceSLemover val a = Bool() 656d5ddbceSLemover val g = Bool() 666d5ddbceSLemover val u = Bool() 676d5ddbceSLemover val x = Bool() 686d5ddbceSLemover val w = Bool() 696d5ddbceSLemover val r = Bool() 706d5ddbceSLemover // pma perm (hardwired) 716d5ddbceSLemover val pr = Bool() //readable 726d5ddbceSLemover val pw = Bool() //writeable 736d5ddbceSLemover val pe = Bool() //executable 746d5ddbceSLemover val pa = Bool() //atom op permitted 756d5ddbceSLemover val pi = Bool() //icacheable 766d5ddbceSLemover val pd = Bool() //dcacheable 776d5ddbceSLemover 786d5ddbceSLemover override def toPrintable: Printable = { 79b6982e83SLemover p"pf:${pf} af:${af} d:${d} a:${a} g:${g} u:${u} x:${x} w:${w} r:${r}" 806d5ddbceSLemover } 816d5ddbceSLemover} 826d5ddbceSLemover 836d5ddbceSLemover// multi-read && single-write 846d5ddbceSLemover// input is data, output is hot-code(not one-hot) 856d5ddbceSLemoverclass CAMTemplate[T <: Data](val gen: T, val set: Int, val readWidth: Int)(implicit p: Parameters) extends TlbModule { 866d5ddbceSLemover val io = IO(new Bundle { 876d5ddbceSLemover val r = new Bundle { 886d5ddbceSLemover val req = Input(Vec(readWidth, gen)) 896d5ddbceSLemover val resp = Output(Vec(readWidth, Vec(set, Bool()))) 906d5ddbceSLemover } 916d5ddbceSLemover val w = Input(new Bundle { 926d5ddbceSLemover val valid = Bool() 936d5ddbceSLemover val bits = new Bundle { 946d5ddbceSLemover val index = UInt(log2Up(set).W) 956d5ddbceSLemover val data = gen 966d5ddbceSLemover } 976d5ddbceSLemover }) 986d5ddbceSLemover }) 996d5ddbceSLemover 1006d5ddbceSLemover val wordType = UInt(gen.getWidth.W) 1016d5ddbceSLemover val array = Reg(Vec(set, wordType)) 1026d5ddbceSLemover 1036d5ddbceSLemover io.r.resp.zipWithIndex.map{ case (a,i) => 1046d5ddbceSLemover a := array.map(io.r.req(i).asUInt === _) 1056d5ddbceSLemover } 1066d5ddbceSLemover 1076d5ddbceSLemover when (io.w.valid) { 1086d5ddbceSLemover array(io.w.bits.index) := io.w.bits.data 1096d5ddbceSLemover } 1106d5ddbceSLemover} 1116d5ddbceSLemover 1126d5ddbceSLemoverclass TlbSPMeta(implicit p: Parameters) extends TlbBundle { 1136d5ddbceSLemover val tag = UInt(vpnLen.W) // tag is vpn 1146d5ddbceSLemover val level = UInt(1.W) // 1 for 2MB, 0 for 1GB 11545f497a4Shappy-lx val asid = UInt(asidLen.W) 1166d5ddbceSLemover 11745f497a4Shappy-lx def hit(vpn: UInt, asid: UInt): Bool = { 1186d5ddbceSLemover val a = tag(vpnnLen*3-1, vpnnLen*2) === vpn(vpnnLen*3-1, vpnnLen*2) 1196d5ddbceSLemover val b = tag(vpnnLen*2-1, vpnnLen*1) === vpn(vpnnLen*2-1, vpnnLen*1) 12045f497a4Shappy-lx val asid_hit = this.asid === asid 12145f497a4Shappy-lx 1226d5ddbceSLemover 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") 12345f497a4Shappy-lx asid_hit && Mux(level.asBool, a&b, a) 1246d5ddbceSLemover } 1256d5ddbceSLemover 12645f497a4Shappy-lx def apply(vpn: UInt, asid: UInt, level: UInt) = { 1276d5ddbceSLemover this.tag := vpn 12845f497a4Shappy-lx this.asid := asid 1296d5ddbceSLemover this.level := level(0) 1306d5ddbceSLemover 1316d5ddbceSLemover this 1326d5ddbceSLemover } 1336d5ddbceSLemover 1346d5ddbceSLemover} 1356d5ddbceSLemover 1366d5ddbceSLemoverclass TlbData(superpage: Boolean = false)(implicit p: Parameters) extends TlbBundle { 1376d5ddbceSLemover val level = if(superpage) Some(UInt(1.W)) else None // /*2 for 4KB,*/ 1 for 2MB, 0 for 1GB 1386d5ddbceSLemover val ppn = UInt(ppnLen.W) 1396d5ddbceSLemover val perm = new TlbPermBundle 1406d5ddbceSLemover 1416d5ddbceSLemover def genPPN(vpn: UInt): UInt = { 1426d5ddbceSLemover if (superpage) { 1436d5ddbceSLemover val insideLevel = level.getOrElse(0.U) 1446d5ddbceSLemover Mux(insideLevel.asBool, Cat(ppn(ppn.getWidth-1, vpnnLen*1), vpn(vpnnLen*1-1, 0)), 1456d5ddbceSLemover Cat(ppn(ppn.getWidth-1, vpnnLen*2), vpn(vpnnLen*2-1, 0))) 1466d5ddbceSLemover } else { 1476d5ddbceSLemover ppn 1486d5ddbceSLemover } 1496d5ddbceSLemover } 1506d5ddbceSLemover 151b6982e83SLemover def apply(ppn: UInt, level: UInt, perm: UInt, pf: Bool, af: Bool) = { 1526d5ddbceSLemover this.level.map(_ := level(0)) 1536d5ddbceSLemover this.ppn := ppn 1546d5ddbceSLemover // refill pagetable perm 1556d5ddbceSLemover val ptePerm = perm.asTypeOf(new PtePermBundle) 1566d5ddbceSLemover this.perm.pf:= pf 157b6982e83SLemover this.perm.af:= af 1586d5ddbceSLemover this.perm.d := ptePerm.d 1596d5ddbceSLemover this.perm.a := ptePerm.a 1606d5ddbceSLemover this.perm.g := ptePerm.g 1616d5ddbceSLemover this.perm.u := ptePerm.u 1626d5ddbceSLemover this.perm.x := ptePerm.x 1636d5ddbceSLemover this.perm.w := ptePerm.w 1646d5ddbceSLemover this.perm.r := ptePerm.r 1656d5ddbceSLemover 1666d5ddbceSLemover // get pma perm 1676d5ddbceSLemover val (pmaMode, accessWidth) = AddressSpace.memmapAddrMatch(Cat(ppn, 0.U(12.W))) 1686d5ddbceSLemover this.perm.pr := PMAMode.read(pmaMode) 1696d5ddbceSLemover this.perm.pw := PMAMode.write(pmaMode) 1706d5ddbceSLemover this.perm.pe := PMAMode.execute(pmaMode) 1716d5ddbceSLemover this.perm.pa := PMAMode.atomic(pmaMode) 1726d5ddbceSLemover this.perm.pi := PMAMode.icache(pmaMode) 1736d5ddbceSLemover this.perm.pd := PMAMode.dcache(pmaMode) 1746d5ddbceSLemover 1756d5ddbceSLemover this 1766d5ddbceSLemover } 1776d5ddbceSLemover 1786d5ddbceSLemover override def toPrintable: Printable = { 1796d5ddbceSLemover val insideLevel = level.getOrElse(0.U) 1806d5ddbceSLemover p"level:${insideLevel} ppn:${Hexadecimal(ppn)} perm:${perm}" 1816d5ddbceSLemover } 1826d5ddbceSLemover 1836d5ddbceSLemover override def cloneType: this.type = (new TlbData(superpage)).asInstanceOf[this.type] 1846d5ddbceSLemover} 1856d5ddbceSLemover 186a0301c0dSLemoverclass TlbEntry(pageNormal: Boolean, pageSuper: Boolean)(implicit p: Parameters) extends TlbBundle { 187a0301c0dSLemover require(pageNormal || pageSuper) 188a0301c0dSLemover 189a0301c0dSLemover val tag = if (!pageNormal) UInt((vpnLen - vpnnLen).W) 190a0301c0dSLemover else UInt(vpnLen.W) 19145f497a4Shappy-lx val asid = UInt(asidLen.W) 192a0301c0dSLemover val level = if (!pageNormal) Some(UInt(1.W)) 193a0301c0dSLemover else if (!pageSuper) None 194a0301c0dSLemover else Some(UInt(2.W)) 195a0301c0dSLemover val ppn = if (!pageNormal) UInt((ppnLen - vpnnLen).W) 196a0301c0dSLemover else UInt(ppnLen.W) 197a0301c0dSLemover val perm = new TlbPermBundle 198a0301c0dSLemover 19945f497a4Shappy-lx def hit(vpn: UInt, asid: UInt, ignoreAsid: Boolean = false): Bool = { 20045f497a4Shappy-lx val asid_hit = if (ignoreAsid) true.B else (this.asid === asid) 20145f497a4Shappy-lx if (!pageSuper) asid_hit && vpn === tag 20245f497a4Shappy-lx else if (!pageNormal) asid_hit && MuxLookup(level.get, false.B, Seq( 203a0301c0dSLemover 0.U -> (tag(vpnnLen*2-1, vpnnLen) === vpn(vpnLen-1, vpnnLen*2)), 204a0301c0dSLemover 1.U -> (tag === vpn(vpnLen-1, vpnnLen)), 205a0301c0dSLemover )) 20645f497a4Shappy-lx else asid_hit && MuxLookup(level.get, false.B, Seq( 207a0301c0dSLemover 0.U -> (tag(vpnLen-1, vpnnLen*2) === vpn(vpnLen-1, vpnnLen*2)), 208a0301c0dSLemover 1.U -> (tag(vpnLen-1, vpnnLen) === vpn(vpnLen-1, vpnnLen)), 209a0301c0dSLemover 2.U -> (tag === vpn) // if pageNormal is false, this will always be false 210a0301c0dSLemover )) 211a0301c0dSLemover } 212a0301c0dSLemover 21345f497a4Shappy-lx def apply(item: PtwResp, asid: UInt): TlbEntry = { 214a0301c0dSLemover this.tag := {if (pageNormal) item.entry.tag else item.entry.tag(vpnLen-1, vpnnLen)} 21545f497a4Shappy-lx this.asid := asid 216a0301c0dSLemover val inner_level = item.entry.level.getOrElse(0.U) 217a0301c0dSLemover this.level.map(_ := { if (pageNormal && pageSuper) inner_level 218a0301c0dSLemover else if (pageSuper) inner_level(0) 219a0301c0dSLemover else 0.U}) 220a0301c0dSLemover this.ppn := { if (!pageNormal) item.entry.ppn(ppnLen-1, vpnnLen) 221a0301c0dSLemover else item.entry.ppn } 222a0301c0dSLemover val ptePerm = item.entry.perm.get.asTypeOf(new PtePermBundle().cloneType) 223a0301c0dSLemover this.perm.pf := item.pf 224b6982e83SLemover this.perm.af := item.af 225a0301c0dSLemover this.perm.d := ptePerm.d 226a0301c0dSLemover this.perm.a := ptePerm.a 227a0301c0dSLemover this.perm.g := ptePerm.g 228a0301c0dSLemover this.perm.u := ptePerm.u 229a0301c0dSLemover this.perm.x := ptePerm.x 230a0301c0dSLemover this.perm.w := ptePerm.w 231a0301c0dSLemover this.perm.r := ptePerm.r 232a0301c0dSLemover 233a0301c0dSLemover // get pma perm 234a0301c0dSLemover val (pmaMode, accessWidth) = AddressSpace.memmapAddrMatch(Cat(item.entry.ppn, 0.U(12.W))) 235a0301c0dSLemover this.perm.pr := PMAMode.read(pmaMode) 236a0301c0dSLemover this.perm.pw := PMAMode.write(pmaMode) 237a0301c0dSLemover this.perm.pe := PMAMode.execute(pmaMode) 238a0301c0dSLemover this.perm.pa := PMAMode.atomic(pmaMode) 239a0301c0dSLemover this.perm.pi := PMAMode.icache(pmaMode) 240a0301c0dSLemover this.perm.pd := PMAMode.dcache(pmaMode) 241a0301c0dSLemover 242a0301c0dSLemover this 243a0301c0dSLemover } 244a0301c0dSLemover 245a0301c0dSLemover def genPPN(vpn: UInt) : UInt = { 246a0301c0dSLemover if (!pageSuper) ppn 247a0301c0dSLemover else if (!pageNormal) MuxLookup(level.get, 0.U, Seq( 248a0301c0dSLemover 0.U -> Cat(ppn(ppn.getWidth-1, vpnnLen), vpn(vpnnLen*2-1, 0)), 249a0301c0dSLemover 1.U -> Cat(ppn, vpn(vpnnLen-1, 0)) 250a0301c0dSLemover )) 251a0301c0dSLemover else MuxLookup(level.get, 0.U, Seq( 252a0301c0dSLemover 0.U -> Cat(ppn(ppn.getWidth-1, vpnnLen*2), vpn(vpnnLen*2-1, 0)), 253a0301c0dSLemover 1.U -> Cat(ppn(ppn.getWidth-1, vpnnLen), vpn(vpnnLen-1, 0)), 254a0301c0dSLemover 2.U -> ppn 255a0301c0dSLemover )) 256a0301c0dSLemover } 257a0301c0dSLemover 258a0301c0dSLemover override def toPrintable: Printable = { 259a0301c0dSLemover val inner_level = level.getOrElse(2.U) 26045f497a4Shappy-lx p"asid: ${asid} level:${inner_level} vpn:${Hexadecimal(tag)} ppn:${Hexadecimal(ppn)} perm:${perm}" 261a0301c0dSLemover } 262a0301c0dSLemover 263a0301c0dSLemover override def cloneType: this.type = (new TlbEntry(pageNormal, pageSuper)).asInstanceOf[this.type] 264a0301c0dSLemover} 265a0301c0dSLemover 2666d5ddbceSLemoverobject TlbCmd { 2676d5ddbceSLemover def read = "b00".U 2686d5ddbceSLemover def write = "b01".U 2696d5ddbceSLemover def exec = "b10".U 2706d5ddbceSLemover 2716d5ddbceSLemover def atom_read = "b100".U // lr 2726d5ddbceSLemover def atom_write = "b101".U // sc / amo 2736d5ddbceSLemover 2746d5ddbceSLemover def apply() = UInt(3.W) 2756d5ddbceSLemover def isRead(a: UInt) = a(1,0)===read 2766d5ddbceSLemover def isWrite(a: UInt) = a(1,0)===write 2776d5ddbceSLemover def isExec(a: UInt) = a(1,0)===exec 2786d5ddbceSLemover 2796d5ddbceSLemover def isAtom(a: UInt) = a(2) 280*a79fef67Swakafa def isAmo(a: UInt) = a===atom_write // NOTE: sc mixed 2816d5ddbceSLemover} 2826d5ddbceSLemover 28345f497a4Shappy-lxclass TlbStorageIO(nSets: Int, nWays: Int, ports: Int)(implicit p: Parameters) extends MMUIOBaseBundle { 284a0301c0dSLemover val r = new Bundle { 285a0301c0dSLemover val req = Vec(ports, Flipped(DecoupledIO(new Bundle { 286a0301c0dSLemover val vpn = Output(UInt(vpnLen.W)) 287a0301c0dSLemover }))) 288a0301c0dSLemover val resp = Vec(ports, ValidIO(new Bundle{ 289a0301c0dSLemover val hit = Output(Bool()) 290a0301c0dSLemover val ppn = Output(UInt(ppnLen.W)) 291a0301c0dSLemover val perm = Output(new TlbPermBundle()) 292a0301c0dSLemover val hitVec = Output(UInt(nWays.W)) 293a0301c0dSLemover })) 294a0301c0dSLemover } 295a0301c0dSLemover val w = Flipped(ValidIO(new Bundle { 296a0301c0dSLemover val wayIdx = Output(UInt(log2Up(nWays).W)) 297a0301c0dSLemover val data = Output(new PtwResp) 298a0301c0dSLemover })) 299a0301c0dSLemover val victim = new Bundle { 30045f497a4Shappy-lx val out = ValidIO(Output(new Bundle { 30145f497a4Shappy-lx val entry = new TlbEntry(pageNormal = true, pageSuper = false) 30245f497a4Shappy-lx })) 30345f497a4Shappy-lx val in = Flipped(ValidIO(Output(new Bundle { 30445f497a4Shappy-lx val entry = new TlbEntry(pageNormal = true, pageSuper = false) 30545f497a4Shappy-lx }))) 306a0301c0dSLemover } 307a0301c0dSLemover 30845f497a4Shappy-lx def r_req_apply(valid: Bool, vpn: UInt, asid: UInt, i: Int): Unit = { 309a0301c0dSLemover this.r.req(i).valid := valid 310a0301c0dSLemover this.r.req(i).bits.vpn := vpn 311a0301c0dSLemover } 312a0301c0dSLemover 313a0301c0dSLemover def r_resp_apply(i: Int) = { 314a0301c0dSLemover (this.r.resp(i).bits.hit, this.r.resp(i).bits.ppn, this.r.resp(i).bits.perm, this.r.resp(i).bits.hitVec) 315a0301c0dSLemover } 316a0301c0dSLemover 317a0301c0dSLemover def w_apply(valid: Bool, wayIdx: UInt, data: PtwResp): Unit = { 318a0301c0dSLemover this.w.valid := valid 319a0301c0dSLemover this.w.bits.wayIdx := wayIdx 320a0301c0dSLemover this.w.bits.data := data 321a0301c0dSLemover } 322a0301c0dSLemover 323a0301c0dSLemover override def cloneType: this.type = new TlbStorageIO(nSets, nWays, ports).asInstanceOf[this.type] 324a0301c0dSLemover} 325a0301c0dSLemover 326a0301c0dSLemoverclass ReplaceIO(Width: Int, nSets: Int, nWays: Int)(implicit p: Parameters) extends TlbBundle { 327a0301c0dSLemover val access = Flipped(new Bundle { 328a0301c0dSLemover val sets = Output(Vec(Width, UInt(log2Up(nSets).W))) 329a0301c0dSLemover val touch_ways = Vec(Width, ValidIO(Output(UInt(log2Up(nWays).W)))) 330a0301c0dSLemover }) 331a0301c0dSLemover 332a0301c0dSLemover val refillIdx = Output(UInt(log2Up(nWays).W)) 333a0301c0dSLemover val chosen_set = Flipped(Output(UInt(log2Up(nSets).W))) 334a0301c0dSLemover 335a0301c0dSLemover def apply_sep(in: Seq[ReplaceIO], vpn: UInt): Unit = { 336a0301c0dSLemover for (i <- 0 until Width) { 337a0301c0dSLemover this.access.sets(i) := in(i).access.sets(0) 338a0301c0dSLemover this.access.touch_ways(i) := in(i).access.touch_ways(0) 339a0301c0dSLemover this.chosen_set := get_idx(vpn, nSets) 340a0301c0dSLemover in(i).refillIdx := this.refillIdx 341a0301c0dSLemover } 342a0301c0dSLemover } 343a0301c0dSLemover} 344a0301c0dSLemover 345a0301c0dSLemoverclass TlbReplaceIO(Width: Int, q: TLBParameters)(implicit p: Parameters) extends 346a0301c0dSLemover TlbBundle { 347a0301c0dSLemover val normalPage = new ReplaceIO(Width, q.normalNSets, q.normalNWays) 348a0301c0dSLemover val superPage = new ReplaceIO(Width, q.superNSets, q.superNWays) 349a0301c0dSLemover 350a0301c0dSLemover def apply_sep(in: Seq[TlbReplaceIO], vpn: UInt) = { 351a0301c0dSLemover this.normalPage.apply_sep(in.map(_.normalPage), vpn) 352a0301c0dSLemover this.superPage.apply_sep(in.map(_.superPage), vpn) 353a0301c0dSLemover } 354a0301c0dSLemover 355a0301c0dSLemover override def cloneType = (new TlbReplaceIO(Width, q)).asInstanceOf[this.type] 356a0301c0dSLemover} 357a0301c0dSLemover 3586d5ddbceSLemoverclass TlbReq(implicit p: Parameters) extends TlbBundle { 3596d5ddbceSLemover val vaddr = UInt(VAddrBits.W) 3606d5ddbceSLemover val cmd = TlbCmd() 361b6982e83SLemover val size = UInt(log2Ceil(log2Ceil(XLEN/8)+1).W) 3629aca92b9SYinan Xu val robIdx = new RobPtr 3636d5ddbceSLemover val debug = new Bundle { 3646d5ddbceSLemover val pc = UInt(XLEN.W) 3656d5ddbceSLemover val isFirstIssue = Bool() 3666d5ddbceSLemover } 3676d5ddbceSLemover 3686d5ddbceSLemover override def toPrintable: Printable = { 3699aca92b9SYinan Xu p"vaddr:0x${Hexadecimal(vaddr)} cmd:${cmd} pc:0x${Hexadecimal(debug.pc)} robIdx:${robIdx}" 3706d5ddbceSLemover } 3716d5ddbceSLemover} 3726d5ddbceSLemover 373b6982e83SLemoverclass TlbExceptionBundle(implicit p: Parameters) extends TlbBundle { 374b6982e83SLemover val ld = Output(Bool()) 375b6982e83SLemover val st = Output(Bool()) 376b6982e83SLemover val instr = Output(Bool()) 377b6982e83SLemover} 378b6982e83SLemover 3796d5ddbceSLemoverclass TlbResp(implicit p: Parameters) extends TlbBundle { 3806d5ddbceSLemover val paddr = UInt(PAddrBits.W) 3816d5ddbceSLemover val miss = Bool() 3826d5ddbceSLemover val mmio = Bool() 3836d5ddbceSLemover val excp = new Bundle { 384b6982e83SLemover val pf = new TlbExceptionBundle() 385b6982e83SLemover val af = new TlbExceptionBundle() 3866d5ddbceSLemover } 3876d5ddbceSLemover val ptwBack = Bool() // when ptw back, wake up replay rs's state 3886d5ddbceSLemover 3896d5ddbceSLemover override def toPrintable: Printable = { 3906d5ddbceSLemover p"paddr:0x${Hexadecimal(paddr)} miss:${miss} excp.pf: ld:${excp.pf.ld} st:${excp.pf.st} instr:${excp.pf.instr} ptwBack:${ptwBack}" 3916d5ddbceSLemover } 3926d5ddbceSLemover} 3936d5ddbceSLemover 3946d5ddbceSLemoverclass TlbRequestIO()(implicit p: Parameters) extends TlbBundle { 3956d5ddbceSLemover val req = DecoupledIO(new TlbReq) 3966d5ddbceSLemover val resp = Flipped(DecoupledIO(new TlbResp)) 3976d5ddbceSLemover} 3986d5ddbceSLemover 3996d5ddbceSLemoverclass BlockTlbRequestIO()(implicit p: Parameters) extends TlbBundle { 4006d5ddbceSLemover val req = DecoupledIO(new TlbReq) 4016d5ddbceSLemover val resp = Flipped(DecoupledIO(new TlbResp)) 4026d5ddbceSLemover} 4036d5ddbceSLemover 4046d5ddbceSLemoverclass TlbPtwIO(Width: Int = 1)(implicit p: Parameters) extends TlbBundle { 4056d5ddbceSLemover val req = Vec(Width, DecoupledIO(new PtwReq)) 4066d5ddbceSLemover val resp = Flipped(DecoupledIO(new PtwResp)) 4076d5ddbceSLemover 4086d5ddbceSLemover override def cloneType: this.type = (new TlbPtwIO(Width)).asInstanceOf[this.type] 4096d5ddbceSLemover 4106d5ddbceSLemover override def toPrintable: Printable = { 4116d5ddbceSLemover p"req(0):${req(0).valid} ${req(0).ready} ${req(0).bits} | resp:${resp.valid} ${resp.ready} ${resp.bits}" 4126d5ddbceSLemover } 4136d5ddbceSLemover} 4146d5ddbceSLemover 41545f497a4Shappy-lxclass MMUIOBaseBundle(implicit p: Parameters) extends TlbBundle { 416b052b972SLemover val sfence = Input(new SfenceBundle) 417b052b972SLemover val csr = Input(new TlbCsrBundle) 418a0301c0dSLemover} 4196d5ddbceSLemover 420a0301c0dSLemoverclass TlbIO(Width: Int, q: TLBParameters)(implicit p: Parameters) extends 42145f497a4Shappy-lx MMUIOBaseBundle { 422a0301c0dSLemover val requestor = Vec(Width, Flipped(new TlbRequestIO)) 423a0301c0dSLemover val ptw = new TlbPtwIO(Width) 424a0301c0dSLemover val replace = if (q.outReplace) Flipped(new TlbReplaceIO(Width, q)) else null 425b6982e83SLemover val pmp = Vec(Width, ValidIO(new PMPReqBundle())) 426a0301c0dSLemover 427a0301c0dSLemover override def cloneType: this.type = (new TlbIO(Width, q)).asInstanceOf[this.type] 428a0301c0dSLemover} 429a0301c0dSLemover 430a0301c0dSLemoverclass BTlbPtwIO(Width: Int)(implicit p: Parameters) extends TlbBundle { 431a0301c0dSLemover val req = Vec(Width, DecoupledIO(new PtwReq)) 432a0301c0dSLemover val resp = Flipped(DecoupledIO(new Bundle { 433a0301c0dSLemover val data = new PtwResp 434a0301c0dSLemover val vector = Output(Vec(Width, Bool())) 435a0301c0dSLemover })) 436a0301c0dSLemover 437a0301c0dSLemover override def cloneType: this.type = (new BTlbPtwIO(Width)).asInstanceOf[this.type] 438a0301c0dSLemover} 439a0301c0dSLemover/**************************** Bridge TLB *******************************/ 440a0301c0dSLemover 44145f497a4Shappy-lxclass BridgeTLBIO(Width: Int)(implicit p: Parameters) extends MMUIOBaseBundle { 442a0301c0dSLemover val requestor = Vec(Width, Flipped(new TlbPtwIO())) 443a0301c0dSLemover val ptw = new BTlbPtwIO(Width) 444a0301c0dSLemover 445a0301c0dSLemover override def cloneType: this.type = (new BridgeTLBIO(Width)).asInstanceOf[this.type] 4466d5ddbceSLemover} 4476d5ddbceSLemover 4486d5ddbceSLemover 4496d5ddbceSLemover/**************************** PTW *************************************/ 4506d5ddbceSLemoverabstract class PtwBundle(implicit p: Parameters) extends XSBundle with HasPtwConst 4516d5ddbceSLemoverabstract class PtwModule(outer: PTW) extends LazyModuleImp(outer) 4526d5ddbceSLemover with HasXSParameter with HasPtwConst 4536d5ddbceSLemover 4546d5ddbceSLemoverclass PteBundle(implicit p: Parameters) extends PtwBundle{ 4556d5ddbceSLemover val reserved = UInt(pteResLen.W) 4566d5ddbceSLemover val ppn = UInt(ppnLen.W) 4576d5ddbceSLemover val rsw = UInt(2.W) 4586d5ddbceSLemover val perm = new Bundle { 4596d5ddbceSLemover val d = Bool() 4606d5ddbceSLemover val a = Bool() 4616d5ddbceSLemover val g = Bool() 4626d5ddbceSLemover val u = Bool() 4636d5ddbceSLemover val x = Bool() 4646d5ddbceSLemover val w = Bool() 4656d5ddbceSLemover val r = Bool() 4666d5ddbceSLemover val v = Bool() 4676d5ddbceSLemover } 4686d5ddbceSLemover 4696d5ddbceSLemover def unaligned(level: UInt) = { 4706d5ddbceSLemover isLeaf() && !(level === 2.U || 4716d5ddbceSLemover level === 1.U && ppn(vpnnLen-1, 0) === 0.U || 4726d5ddbceSLemover level === 0.U && ppn(vpnnLen*2-1, 0) === 0.U) 4736d5ddbceSLemover } 4746d5ddbceSLemover 4756d5ddbceSLemover def isPf(level: UInt) = { 4766d5ddbceSLemover !perm.v || (!perm.r && perm.w) || unaligned(level) 4776d5ddbceSLemover } 4786d5ddbceSLemover 4796d5ddbceSLemover def isLeaf() = { 4806d5ddbceSLemover perm.r || perm.x || perm.w 4816d5ddbceSLemover } 4826d5ddbceSLemover 4836d5ddbceSLemover def getPerm() = { 4846d5ddbceSLemover val pm = Wire(new PtePermBundle) 4856d5ddbceSLemover pm.d := perm.d 4866d5ddbceSLemover pm.a := perm.a 4876d5ddbceSLemover pm.g := perm.g 4886d5ddbceSLemover pm.u := perm.u 4896d5ddbceSLemover pm.x := perm.x 4906d5ddbceSLemover pm.w := perm.w 4916d5ddbceSLemover pm.r := perm.r 4926d5ddbceSLemover pm 4936d5ddbceSLemover } 4946d5ddbceSLemover 4956d5ddbceSLemover override def toPrintable: Printable = { 4966d5ddbceSLemover p"ppn:0x${Hexadecimal(ppn)} perm:b${Binary(perm.asUInt)}" 4976d5ddbceSLemover } 4986d5ddbceSLemover} 4996d5ddbceSLemover 5006d5ddbceSLemoverclass PtwEntry(tagLen: Int, hasPerm: Boolean = false, hasLevel: Boolean = false)(implicit p: Parameters) extends PtwBundle { 5016d5ddbceSLemover val tag = UInt(tagLen.W) 50245f497a4Shappy-lx val asid = UInt(asidLen.W) 5036d5ddbceSLemover val ppn = UInt(ppnLen.W) 5046d5ddbceSLemover val perm = if (hasPerm) Some(new PtePermBundle) else None 5056d5ddbceSLemover val level = if (hasLevel) Some(UInt(log2Up(Level).W)) else None 506bc063562SLemover val prefetch = Bool() 5076d5ddbceSLemover 50845f497a4Shappy-lx def hit(vpn: UInt, asid: UInt, allType: Boolean = false, ignoreAsid: Boolean = false) = { 5096d5ddbceSLemover require(vpn.getWidth == vpnLen) 51045f497a4Shappy-lx require(this.asid.getWidth <= asid.getWidth) 51145f497a4Shappy-lx val asid_hit = if (ignoreAsid) true.B else (this.asid === asid) 5126d5ddbceSLemover if (allType) { 5136d5ddbceSLemover require(hasLevel) 5146d5ddbceSLemover val hit0 = tag(tagLen - 1, vpnnLen*2) === vpn(tagLen - 1, vpnnLen*2) 5156d5ddbceSLemover val hit1 = tag(vpnnLen*2 - 1, vpnnLen) === vpn(vpnnLen*2 - 1, vpnnLen) 5166d5ddbceSLemover val hit2 = tag(vpnnLen - 1, 0) === vpn(vpnnLen - 1, 0) 51745f497a4Shappy-lx 51845f497a4Shappy-lx asid_hit && Mux(level.getOrElse(0.U) === 2.U, hit2 && hit1 && hit0, Mux(level.getOrElse(0.U) === 1.U, hit1 && hit0, hit0)) 5196d5ddbceSLemover } else if (hasLevel) { 5206d5ddbceSLemover val hit0 = tag(tagLen - 1, tagLen - vpnnLen) === vpn(vpnLen - 1, vpnLen - vpnnLen) 5216d5ddbceSLemover val hit1 = tag(tagLen - vpnnLen - 1, tagLen - vpnnLen * 2) === vpn(vpnLen - vpnnLen - 1, vpnLen - vpnnLen * 2) 52245f497a4Shappy-lx 52345f497a4Shappy-lx asid_hit && Mux(level.getOrElse(0.U) === 0.U, hit0, hit0 && hit1) 5246d5ddbceSLemover } else { 52545f497a4Shappy-lx asid_hit && tag === vpn(vpnLen - 1, vpnLen - tagLen) 5266d5ddbceSLemover } 5276d5ddbceSLemover } 5286d5ddbceSLemover 52945f497a4Shappy-lx def refill(vpn: UInt, asid: UInt, pte: UInt, level: UInt = 0.U, prefetch: Bool) { 53045f497a4Shappy-lx require(this.asid.getWidth <= asid.getWidth) // maybe equal is better, but ugly outside 53145f497a4Shappy-lx 5326d5ddbceSLemover tag := vpn(vpnLen - 1, vpnLen - tagLen) 533a0301c0dSLemover ppn := pte.asTypeOf(new PteBundle().cloneType).ppn 534a0301c0dSLemover perm.map(_ := pte.asTypeOf(new PteBundle().cloneType).perm) 53545f497a4Shappy-lx this.asid := asid 536bc063562SLemover this.prefetch := prefetch 5376d5ddbceSLemover this.level.map(_ := level) 5386d5ddbceSLemover } 5396d5ddbceSLemover 54045f497a4Shappy-lx def genPtwEntry(vpn: UInt, asid: UInt, pte: UInt, level: UInt = 0.U, prefetch: Bool) = { 5416d5ddbceSLemover val e = Wire(new PtwEntry(tagLen, hasPerm, hasLevel)) 54245f497a4Shappy-lx e.refill(vpn, asid, pte, level, prefetch) 5436d5ddbceSLemover e 5446d5ddbceSLemover } 5456d5ddbceSLemover 5466d5ddbceSLemover override def cloneType: this.type = (new PtwEntry(tagLen, hasPerm, hasLevel)).asInstanceOf[this.type] 5476d5ddbceSLemover 5486d5ddbceSLemover override def toPrintable: Printable = { 5496d5ddbceSLemover // p"tag:0x${Hexadecimal(tag)} ppn:0x${Hexadecimal(ppn)} perm:${perm}" 5506d5ddbceSLemover p"tag:0x${Hexadecimal(tag)} ppn:0x${Hexadecimal(ppn)} " + 5516d5ddbceSLemover (if (hasPerm) p"perm:${perm.getOrElse(0.U.asTypeOf(new PtePermBundle))} " else p"") + 552bc063562SLemover (if (hasLevel) p"level:${level.getOrElse(0.U)}" else p"") + 553bc063562SLemover p"prefetch:${prefetch}" 5546d5ddbceSLemover } 5556d5ddbceSLemover} 5566d5ddbceSLemover 5576d5ddbceSLemoverclass PtwEntries(num: Int, tagLen: Int, level: Int, hasPerm: Boolean)(implicit p: Parameters) extends PtwBundle { 5586d5ddbceSLemover require(log2Up(num)==log2Down(num)) 5596d5ddbceSLemover 5606d5ddbceSLemover val tag = UInt(tagLen.W) 56145f497a4Shappy-lx val asid = UInt(asidLen.W) 5626d5ddbceSLemover val ppns = Vec(num, UInt(ppnLen.W)) 5636d5ddbceSLemover val vs = Vec(num, Bool()) 5646d5ddbceSLemover val perms = if (hasPerm) Some(Vec(num, new PtePermBundle)) else None 565bc063562SLemover val prefetch = Bool() 5666d5ddbceSLemover // println(s"PtwEntries: tag:1*${tagLen} ppns:${num}*${ppnLen} vs:${num}*1") 5676d5ddbceSLemover 5686d5ddbceSLemover def tagClip(vpn: UInt) = { 5696d5ddbceSLemover require(vpn.getWidth == vpnLen) 5706d5ddbceSLemover vpn(vpnLen - 1, vpnLen - tagLen) 5716d5ddbceSLemover } 5726d5ddbceSLemover 5736d5ddbceSLemover def sectorIdxClip(vpn: UInt, level: Int) = { 5746d5ddbceSLemover getVpnClip(vpn, level)(log2Up(num) - 1, 0) 5756d5ddbceSLemover } 5766d5ddbceSLemover 57745f497a4Shappy-lx def hit(vpn: UInt, asid: UInt, ignoreAsid: Boolean = false) = { 57845f497a4Shappy-lx val asid_hit = if (ignoreAsid) true.B else (this.asid === asid) 57945f497a4Shappy-lx asid_hit && tag === tagClip(vpn) && vs(sectorIdxClip(vpn, level)) // TODO: optimize this. don't need to compare each with tag 5806d5ddbceSLemover } 5816d5ddbceSLemover 58245f497a4Shappy-lx def genEntries(vpn: UInt, asid: UInt, data: UInt, levelUInt: UInt, prefetch: Bool) = { 5836d5ddbceSLemover require((data.getWidth / XLEN) == num, 5845854c1edSLemover s"input data length must be multiple of pte length: data.length:${data.getWidth} num:${num}") 5856d5ddbceSLemover 5866d5ddbceSLemover val ps = Wire(new PtwEntries(num, tagLen, level, hasPerm)) 5876d5ddbceSLemover ps.tag := tagClip(vpn) 58845f497a4Shappy-lx ps.asid := asid 589bc063562SLemover ps.prefetch := prefetch 5906d5ddbceSLemover for (i <- 0 until num) { 5916d5ddbceSLemover val pte = data((i+1)*XLEN-1, i*XLEN).asTypeOf(new PteBundle) 5926d5ddbceSLemover ps.ppns(i) := pte.ppn 5936d5ddbceSLemover ps.vs(i) := !pte.isPf(levelUInt) && (if (hasPerm) pte.isLeaf() else !pte.isLeaf()) 5946d5ddbceSLemover ps.perms.map(_(i) := pte.perm) 5956d5ddbceSLemover } 5966d5ddbceSLemover ps 5976d5ddbceSLemover } 5986d5ddbceSLemover 5996d5ddbceSLemover override def cloneType: this.type = (new PtwEntries(num, tagLen, level, hasPerm)).asInstanceOf[this.type] 6006d5ddbceSLemover override def toPrintable: Printable = { 6016d5ddbceSLemover // require(num == 4, "if num is not 4, please comment this toPrintable") 6026d5ddbceSLemover // NOTE: if num is not 4, please comment this toPrintable 6036d5ddbceSLemover val permsInner = perms.getOrElse(0.U.asTypeOf(Vec(num, new PtePermBundle))) 60445f497a4Shappy-lx p"asid: ${Hexadecimal(asid)} tag:0x${Hexadecimal(tag)} ppns:${printVec(ppns)} vs:${Binary(vs.asUInt)} " + 6056d5ddbceSLemover (if (hasPerm) p"perms:${printVec(permsInner)}" else p"") 6066d5ddbceSLemover } 6076d5ddbceSLemover} 6086d5ddbceSLemover 6097196f5a2SLemoverclass PTWEntriesWithEcc(eccCode: Code, num: Int, tagLen: Int, level: Int, hasPerm: Boolean)(implicit p: Parameters) extends PtwBundle { 6107196f5a2SLemover val entries = new PtwEntries(num, tagLen, level, hasPerm) 6117196f5a2SLemover 6127196f5a2SLemover private val encBits = eccCode.width(entries.getWidth) 6137196f5a2SLemover private val eccBits = encBits - entries.getWidth 6147196f5a2SLemover val ecc = UInt(eccBits.W) 6157196f5a2SLemover 6167196f5a2SLemover override def cloneType: this.type = new PTWEntriesWithEcc(eccCode, num, tagLen, level, hasPerm).asInstanceOf[this.type] 6177196f5a2SLemover} 6187196f5a2SLemover 6196d5ddbceSLemoverclass PtwReq(implicit p: Parameters) extends PtwBundle { 6206d5ddbceSLemover val vpn = UInt(vpnLen.W) 6216d5ddbceSLemover 6226d5ddbceSLemover override def toPrintable: Printable = { 6236d5ddbceSLemover p"vpn:0x${Hexadecimal(vpn)}" 6246d5ddbceSLemover } 6256d5ddbceSLemover} 6266d5ddbceSLemover 6276d5ddbceSLemoverclass PtwResp(implicit p: Parameters) extends PtwBundle { 6286d5ddbceSLemover val entry = new PtwEntry(tagLen = vpnLen, hasPerm = true, hasLevel = true) 6296d5ddbceSLemover val pf = Bool() 630b6982e83SLemover val af = Bool() 6316d5ddbceSLemover 63245f497a4Shappy-lx 63345f497a4Shappy-lx def apply(pf: Bool, af: Bool, level: UInt, pte: PteBundle, vpn: UInt, asid: UInt) = { 6345854c1edSLemover this.entry.level.map(_ := level) 6355854c1edSLemover this.entry.tag := vpn 6365854c1edSLemover this.entry.perm.map(_ := pte.getPerm()) 6375854c1edSLemover this.entry.ppn := pte.ppn 638bc063562SLemover this.entry.prefetch := DontCare 63945f497a4Shappy-lx this.entry.asid := asid 6405854c1edSLemover this.pf := pf 641b6982e83SLemover this.af := af 6425854c1edSLemover } 6435854c1edSLemover 6446d5ddbceSLemover override def toPrintable: Printable = { 645b6982e83SLemover p"entry:${entry} pf:${pf} af:${af}" 6466d5ddbceSLemover } 6476d5ddbceSLemover} 6486d5ddbceSLemover 6496d5ddbceSLemoverclass PtwIO(implicit p: Parameters) extends PtwBundle { 6506d5ddbceSLemover val tlb = Vec(PtwWidth, Flipped(new TlbPtwIO)) 6516d5ddbceSLemover val sfence = Input(new SfenceBundle) 652b6982e83SLemover val csr = new Bundle { 653b6982e83SLemover val tlb = Input(new TlbCsrBundle) 654b6982e83SLemover val distribute_csr = Flipped(new DistributedCSRIO) 655b6982e83SLemover } 6566d5ddbceSLemover} 6576d5ddbceSLemover 658b848eea5SLemoverclass L2TlbMemReqBundle(implicit p: Parameters) extends PtwBundle { 659b848eea5SLemover val addr = UInt(PAddrBits.W) 660b848eea5SLemover val id = UInt(bMemID.W) 661b848eea5SLemover} 66245f497a4Shappy-lx 66345f497a4Shappy-lxclass L2TlbInnerBundle(implicit p: Parameters) extends PtwReq { 66445f497a4Shappy-lx val source = UInt(bSourceWidth.W) 66545f497a4Shappy-lx}