1/*************************************************************************************** 2* Copyright (c) 2020-2021 Institute of Computing Technology, Chinese Academy of Sciences 3* Copyright (c) 2020-2021 Peng Cheng Laboratory 4* 5* XiangShan is licensed under Mulan PSL v2. 6* You can use this software according to the terms and conditions of the Mulan PSL v2. 7* You may obtain a copy of Mulan PSL v2 at: 8* http://license.coscl.org.cn/MulanPSL2 9* 10* THIS SOFTWARE IS PROVIDED ON AN "AS IS" BASIS, WITHOUT WARRANTIES OF ANY KIND, 11* EITHER EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO NON-INFRINGEMENT, 12* MERCHANTABILITY OR FIT FOR A PARTICULAR PURPOSE. 13* 14* See the Mulan PSL v2 for more details. 15***************************************************************************************/ 16 17package xiangshan.cache.mmu 18 19import chipsalliance.rocketchip.config.Parameters 20import chisel3._ 21import chisel3.util._ 22import xiangshan._ 23import utils._ 24import xiangshan.backend.rob.RobPtr 25import xiangshan.backend.fu.util.HasCSRConst 26import freechips.rocketchip.diplomacy.{LazyModule, LazyModuleImp} 27import freechips.rocketchip.tilelink._ 28import xiangshan.backend.fu.{PMPReqBundle, PMPConfig} 29import xiangshan.backend.fu.PMPBundle 30 31 32abstract class TlbBundle(implicit p: Parameters) extends XSBundle with HasTlbConst 33abstract class TlbModule(implicit p: Parameters) extends XSModule with HasTlbConst 34 35class VaBundle(implicit p: Parameters) extends TlbBundle { 36 val vpn = UInt(vpnLen.W) 37 val off = UInt(offLen.W) 38} 39 40class PtePermBundle(implicit p: Parameters) extends TlbBundle { 41 val d = Bool() 42 val a = Bool() 43 val g = Bool() 44 val u = Bool() 45 val x = Bool() 46 val w = Bool() 47 val r = Bool() 48 49 override def toPrintable: Printable = { 50 p"d:${d} a:${a} g:${g} u:${u} x:${x} w:${w} r:${r}"// + 51 //(if(hasV) (p"v:${v}") else p"") 52 } 53} 54 55class TlbPMBundle(implicit p: Parameters) extends TlbBundle { 56 val r = Bool() 57 val w = Bool() 58 val x = Bool() 59 val c = Bool() 60 val atomic = Bool() 61 62 def assign_ap(pm: PMPConfig) = { 63 r := pm.r 64 w := pm.w 65 x := pm.x 66 c := pm.c 67 atomic := pm.atomic 68 } 69} 70 71class TlbPermBundle(implicit p: Parameters) extends TlbBundle { 72 val pf = Bool() // NOTE: if this is true, just raise pf 73 val af = Bool() // NOTE: if this is true, just raise af 74 // pagetable perm (software defined) 75 val d = Bool() 76 val a = Bool() 77 val g = Bool() 78 val u = Bool() 79 val x = Bool() 80 val w = Bool() 81 val r = Bool() 82 83 val pm = new TlbPMBundle 84 85 def apply(item: PtwResp, pm: PMPConfig) = { 86 val ptePerm = item.entry.perm.get.asTypeOf(new PtePermBundle().cloneType) 87 this.pf := item.pf 88 this.af := item.af 89 this.d := ptePerm.d 90 this.a := ptePerm.a 91 this.g := ptePerm.g 92 this.u := ptePerm.u 93 this.x := ptePerm.x 94 this.w := ptePerm.w 95 this.r := ptePerm.r 96 97 this.pm.assign_ap(pm) 98 this 99 } 100 override def toPrintable: Printable = { 101 p"pf:${pf} af:${af} d:${d} a:${a} g:${g} u:${u} x:${x} w:${w} r:${r} " + 102 p"pm:${pm}" 103 } 104} 105 106// multi-read && single-write 107// input is data, output is hot-code(not one-hot) 108class CAMTemplate[T <: Data](val gen: T, val set: Int, val readWidth: Int)(implicit p: Parameters) extends TlbModule { 109 val io = IO(new Bundle { 110 val r = new Bundle { 111 val req = Input(Vec(readWidth, gen)) 112 val resp = Output(Vec(readWidth, Vec(set, Bool()))) 113 } 114 val w = Input(new Bundle { 115 val valid = Bool() 116 val bits = new Bundle { 117 val index = UInt(log2Up(set).W) 118 val data = gen 119 } 120 }) 121 }) 122 123 val wordType = UInt(gen.getWidth.W) 124 val array = Reg(Vec(set, wordType)) 125 126 io.r.resp.zipWithIndex.map{ case (a,i) => 127 a := array.map(io.r.req(i).asUInt === _) 128 } 129 130 when (io.w.valid) { 131 array(io.w.bits.index) := io.w.bits.data.asUInt 132 } 133} 134 135class TlbEntry(pageNormal: Boolean, pageSuper: Boolean)(implicit p: Parameters) extends TlbBundle { 136 require(pageNormal || pageSuper) 137 138 val tag = if (!pageNormal) UInt((vpnLen - vpnnLen).W) 139 else UInt(vpnLen.W) 140 val asid = UInt(asidLen.W) 141 val level = if (!pageNormal) Some(UInt(1.W)) 142 else if (!pageSuper) None 143 else Some(UInt(2.W)) 144 val ppn = if (!pageNormal) UInt((ppnLen - vpnnLen).W) 145 else UInt(ppnLen.W) 146 val perm = new TlbPermBundle 147 148 /** level usage: 149 * !PageSuper: page is only normal, level is None, match all the tag 150 * !PageNormal: page is only super, level is a Bool(), match high 9*2 parts 151 * bits0 0: need mid 9bits 152 * 1: no need mid 9bits 153 * PageSuper && PageNormal: page hold all the three type, 154 * bits0 0: need low 9bits 155 * bits1 0: need mid 9bits 156 */ 157 158 def hit(vpn: UInt, asid: UInt, nSets: Int = 1, ignoreAsid: Boolean = false): Bool = { 159 val asid_hit = if (ignoreAsid) true.B else (this.asid === asid) 160 161 // NOTE: for timing, dont care low set index bits at hit check 162 // do not need store the low bits actually 163 if (!pageSuper) asid_hit && drop_set_equal(vpn, tag, nSets) 164 else if (!pageNormal) { 165 val tag_match_hi = tag(vpnnLen*2-1, vpnnLen) === vpn(vpnnLen*3-1, vpnnLen*2) 166 val tag_match_mi = tag(vpnnLen-1, 0) === vpn(vpnnLen*2-1, vpnnLen) 167 val tag_match = tag_match_hi && (level.get.asBool() || tag_match_mi) 168 asid_hit && tag_match 169 } 170 else { 171 val tmp_level = level.get 172 val tag_match_hi = tag(vpnnLen*3-1, vpnnLen*2) === vpn(vpnnLen*3-1, vpnnLen*2) 173 val tag_match_mi = tag(vpnnLen*2-1, vpnnLen) === vpn(vpnnLen*2-1, vpnnLen) 174 val tag_match_lo = tag(vpnnLen-1, 0) === vpn(vpnnLen-1, 0) // if pageNormal is false, this will always be false 175 val tag_match = tag_match_hi && (tmp_level(1) || tag_match_mi) && (tmp_level(0) || tag_match_lo) 176 asid_hit && tag_match 177 } 178 } 179 180 def apply(item: PtwResp, asid: UInt, pm: PMPConfig): TlbEntry = { 181 this.tag := {if (pageNormal) item.entry.tag else item.entry.tag(vpnLen-1, vpnnLen)} 182 this.asid := asid 183 val inner_level = item.entry.level.getOrElse(0.U) 184 this.level.map(_ := { if (pageNormal && pageSuper) MuxLookup(inner_level, 0.U, Seq( 185 0.U -> 3.U, 186 1.U -> 1.U, 187 2.U -> 0.U )) 188 else if (pageSuper) ~inner_level(0) 189 else 0.U }) 190 this.ppn := { if (!pageNormal) item.entry.ppn(ppnLen-1, vpnnLen) 191 else item.entry.ppn } 192 this.perm.apply(item, pm) 193 this 194 } 195 196 // 4KB is normal entry, 2MB/1GB is considered as super entry 197 def is_normalentry(): Bool = { 198 if (!pageSuper) { true.B } 199 else if (!pageNormal) { false.B } 200 else { level.get === 0.U } 201 } 202 203 def genPPN(saveLevel: Boolean = false, valid: Bool = false.B)(vpn: UInt) : UInt = { 204 val inner_level = level.getOrElse(0.U) 205 val ppn_res = if (!pageSuper) ppn 206 else if (!pageNormal) Cat(ppn(ppnLen-vpnnLen-1, vpnnLen), 207 Mux(inner_level(0), vpn(vpnnLen*2-1, vpnnLen), ppn(vpnnLen-1,0)), 208 vpn(vpnnLen-1, 0)) 209 else Cat(ppn(ppnLen-1, vpnnLen*2), 210 Mux(inner_level(1), vpn(vpnnLen*2-1, vpnnLen), ppn(vpnnLen*2-1, vpnnLen)), 211 Mux(inner_level(0), vpn(vpnnLen-1, 0), ppn(vpnnLen-1, 0))) 212 213 if (saveLevel) Cat(ppn(ppn.getWidth-1, vpnnLen*2), RegEnable(ppn_res(vpnnLen*2-1, 0), valid)) 214 else ppn_res 215 } 216 217 override def toPrintable: Printable = { 218 val inner_level = level.getOrElse(2.U) 219 p"asid: ${asid} level:${inner_level} vpn:${Hexadecimal(tag)} ppn:${Hexadecimal(ppn)} perm:${perm}" 220 } 221 222} 223 224object TlbCmd { 225 def read = "b00".U 226 def write = "b01".U 227 def exec = "b10".U 228 229 def atom_read = "b100".U // lr 230 def atom_write = "b101".U // sc / amo 231 232 def apply() = UInt(3.W) 233 def isRead(a: UInt) = a(1,0)===read 234 def isWrite(a: UInt) = a(1,0)===write 235 def isExec(a: UInt) = a(1,0)===exec 236 237 def isAtom(a: UInt) = a(2) 238 def isAmo(a: UInt) = a===atom_write // NOTE: sc mixed 239} 240 241class TlbStorageIO(nSets: Int, nWays: Int, ports: Int, nDups: Int = 1)(implicit p: Parameters) extends MMUIOBaseBundle { 242 val r = new Bundle { 243 val req = Vec(ports, Flipped(DecoupledIO(new Bundle { 244 val vpn = Output(UInt(vpnLen.W)) 245 }))) 246 val resp = Vec(ports, ValidIO(new Bundle{ 247 val hit = Output(Bool()) 248 val ppn = Vec(nDups, Output(UInt(ppnLen.W))) 249 val perm = Vec(nDups, Output(new TlbPermBundle())) 250 })) 251 } 252 val w = Flipped(ValidIO(new Bundle { 253 val wayIdx = Output(UInt(log2Up(nWays).W)) 254 val data = Output(new PtwResp) 255 val data_replenish = Output(new PMPConfig) 256 })) 257 val victim = new Bundle { 258 val out = ValidIO(Output(new Bundle { 259 val entry = new TlbEntry(pageNormal = true, pageSuper = false) 260 })) 261 val in = Flipped(ValidIO(Output(new Bundle { 262 val entry = new TlbEntry(pageNormal = true, pageSuper = false) 263 }))) 264 } 265 val access = Vec(ports, new ReplaceAccessBundle(nSets, nWays)) 266 267 def r_req_apply(valid: Bool, vpn: UInt, i: Int): Unit = { 268 this.r.req(i).valid := valid 269 this.r.req(i).bits.vpn := vpn 270 } 271 272 def r_resp_apply(i: Int) = { 273 (this.r.resp(i).bits.hit, this.r.resp(i).bits.ppn, this.r.resp(i).bits.perm) 274 } 275 276 def w_apply(valid: Bool, wayIdx: UInt, data: PtwResp, data_replenish: PMPConfig): Unit = { 277 this.w.valid := valid 278 this.w.bits.wayIdx := wayIdx 279 this.w.bits.data := data 280 this.w.bits.data_replenish := data_replenish 281 } 282 283} 284 285class TlbStorageWrapperIO(ports: Int, q: TLBParameters, nDups: Int = 1)(implicit p: Parameters) extends MMUIOBaseBundle { 286 val r = new Bundle { 287 val req = Vec(ports, Flipped(DecoupledIO(new Bundle { 288 val vpn = Output(UInt(vpnLen.W)) 289 }))) 290 val resp = Vec(ports, ValidIO(new Bundle{ 291 val hit = Output(Bool()) 292 val ppn = Vec(nDups, Output(UInt(ppnLen.W))) 293 val perm = Vec(nDups, Output(new TlbPermBundle())) 294 // below are dirty code for timing optimization 295 val super_hit = Output(Bool()) 296 val super_ppn = Output(UInt(ppnLen.W)) 297 val spm = Output(new TlbPMBundle) 298 })) 299 } 300 val w = Flipped(ValidIO(new Bundle { 301 val data = Output(new PtwResp) 302 val data_replenish = Output(new PMPConfig) 303 })) 304 val replace = if (q.outReplace) Flipped(new TlbReplaceIO(ports, q)) else null 305 306 def r_req_apply(valid: Bool, vpn: UInt, i: Int): Unit = { 307 this.r.req(i).valid := valid 308 this.r.req(i).bits.vpn := vpn 309 } 310 311 def r_resp_apply(i: Int) = { 312 (this.r.resp(i).bits.hit, this.r.resp(i).bits.ppn, this.r.resp(i).bits.perm, 313 this.r.resp(i).bits.super_hit, this.r.resp(i).bits.super_ppn, this.r.resp(i).bits.spm) 314 } 315 316 def w_apply(valid: Bool, data: PtwResp, data_replenish: PMPConfig): Unit = { 317 this.w.valid := valid 318 this.w.bits.data := data 319 this.w.bits.data_replenish := data_replenish 320 } 321} 322 323class ReplaceAccessBundle(nSets: Int, nWays: Int)(implicit p: Parameters) extends TlbBundle { 324 val sets = Output(UInt(log2Up(nSets).W)) 325 val touch_ways = ValidIO(Output(UInt(log2Up(nWays).W))) 326 327} 328 329class ReplaceIO(Width: Int, nSets: Int, nWays: Int)(implicit p: Parameters) extends TlbBundle { 330 val access = Vec(Width, Flipped(new ReplaceAccessBundle(nSets, nWays))) 331 332 val refillIdx = Output(UInt(log2Up(nWays).W)) 333 val chosen_set = Flipped(Output(UInt(log2Up(nSets).W))) 334 335 def apply_sep(in: Seq[ReplaceIO], vpn: UInt): Unit = { 336 for ((ac_rep, ac_tlb) <- access.zip(in.map(a => a.access.map(b => b)).flatten)) { 337 ac_rep := ac_tlb 338 } 339 this.chosen_set := get_set_idx(vpn, nSets) 340 in.map(a => a.refillIdx := this.refillIdx) 341 } 342} 343 344class TlbReplaceIO(Width: Int, q: TLBParameters)(implicit p: Parameters) extends 345 TlbBundle { 346 val normalPage = new ReplaceIO(Width, q.normalNSets, q.normalNWays) 347 val superPage = new ReplaceIO(Width, q.superNSets, q.superNWays) 348 349 def apply_sep(in: Seq[TlbReplaceIO], vpn: UInt) = { 350 this.normalPage.apply_sep(in.map(_.normalPage), vpn) 351 this.superPage.apply_sep(in.map(_.superPage), vpn) 352 } 353 354} 355 356class TlbReq(implicit p: Parameters) extends TlbBundle { 357 val vaddr = Output(UInt(VAddrBits.W)) 358 val cmd = Output(TlbCmd()) 359 val size = Output(UInt(log2Ceil(log2Ceil(XLEN/8)+1).W)) 360 val kill = Output(Bool()) // Use for blocked tlb that need sync with other module like icache 361 val debug = new Bundle { 362 val pc = Output(UInt(XLEN.W)) 363 val robIdx = Output(new RobPtr) 364 val isFirstIssue = Output(Bool()) 365 } 366 367 // Maybe Block req needs a kill: for itlb, itlb and icache may not sync, itlb should wait icache to go ahead 368 override def toPrintable: Printable = { 369 p"vaddr:0x${Hexadecimal(vaddr)} cmd:${cmd} kill:${kill} pc:0x${Hexadecimal(debug.pc)} robIdx:${debug.robIdx}" 370 } 371} 372 373class TlbExceptionBundle(implicit p: Parameters) extends TlbBundle { 374 val ld = Output(Bool()) 375 val st = Output(Bool()) 376 val instr = Output(Bool()) 377} 378 379class TlbResp(nDups: Int = 1)(implicit p: Parameters) extends TlbBundle { 380 val paddr = Vec(nDups, Output(UInt(PAddrBits.W))) 381 val miss = Output(Bool()) 382 val fast_miss = Output(Bool()) // without sram part for timing optimization 383 val excp = Vec(nDups, new Bundle { 384 val pf = new TlbExceptionBundle() 385 val af = new TlbExceptionBundle() 386 }) 387 val static_pm = Output(Valid(Bool())) // valid for static, bits for mmio result from normal entries 388 val ptwBack = Output(Bool()) // when ptw back, wake up replay rs's state 389 390 override def toPrintable: Printable = { 391 p"paddr:0x${Hexadecimal(paddr(0))} miss:${miss} excp.pf: ld:${excp(0).pf.ld} st:${excp(0).pf.st} instr:${excp(0).pf.instr} ptwBack:${ptwBack}" 392 } 393} 394 395class TlbRequestIO(nRespDups: Int = 1)(implicit p: Parameters) extends TlbBundle { 396 val req = DecoupledIO(new TlbReq) 397 val req_kill = Output(Bool()) 398 val resp = Flipped(DecoupledIO(new TlbResp(nRespDups))) 399} 400 401class TlbPtwIO(Width: Int = 1)(implicit p: Parameters) extends TlbBundle { 402 val req = Vec(Width, DecoupledIO(new PtwReq)) 403 val resp = Flipped(DecoupledIO(new PtwResp)) 404 405 406 override def toPrintable: Printable = { 407 p"req(0):${req(0).valid} ${req(0).ready} ${req(0).bits} | resp:${resp.valid} ${resp.ready} ${resp.bits}" 408 } 409} 410 411class MMUIOBaseBundle(implicit p: Parameters) extends TlbBundle { 412 val sfence = Input(new SfenceBundle) 413 val csr = Input(new TlbCsrBundle) 414 415 def base_connect(sfence: SfenceBundle, csr: TlbCsrBundle): Unit = { 416 this.sfence <> sfence 417 this.csr <> csr 418 } 419 420 // overwrite satp. write satp will cause flushpipe but csr.priv won't 421 // satp will be dealyed several cycles from writing, but csr.priv won't 422 // so inside mmu, these two signals should be divided 423 def base_connect(sfence: SfenceBundle, csr: TlbCsrBundle, satp: TlbSatpBundle) = { 424 this.sfence <> sfence 425 this.csr <> csr 426 this.csr.satp := satp 427 } 428} 429 430class TlbIO(Width: Int, nRespDups: Int = 1, q: TLBParameters)(implicit p: Parameters) extends 431 MMUIOBaseBundle { 432 val requestor = Vec(Width, Flipped(new TlbRequestIO(nRespDups))) 433 val flushPipe = Vec(Width, Input(Bool())) 434 val ptw = new TlbPtwIO(Width) 435 val ptw_replenish = Input(new PMPConfig()) 436 val replace = if (q.outReplace) Flipped(new TlbReplaceIO(Width, q)) else null 437 val pmp = Vec(Width, ValidIO(new PMPReqBundle())) 438 439} 440 441class VectorTlbPtwIO(Width: Int)(implicit p: Parameters) extends TlbBundle { 442 val req = Vec(Width, DecoupledIO(new PtwReq)) 443 val resp = Flipped(DecoupledIO(new Bundle { 444 val data = new PtwResp 445 val vector = Output(Vec(Width, Bool())) 446 })) 447 448 def connect(normal: TlbPtwIO): Unit = { 449 req <> normal.req 450 resp.ready := normal.resp.ready 451 normal.resp.bits := resp.bits.data 452 normal.resp.valid := resp.valid 453 } 454} 455 456/**************************** L2TLB *************************************/ 457abstract class PtwBundle(implicit p: Parameters) extends XSBundle with HasPtwConst 458abstract class PtwModule(outer: L2TLB) extends LazyModuleImp(outer) 459 with HasXSParameter with HasPtwConst 460 461class PteBundle(implicit p: Parameters) extends PtwBundle{ 462 val reserved = UInt(pteResLen.W) 463 val ppn = UInt(ppnLen.W) 464 val rsw = UInt(2.W) 465 val perm = new Bundle { 466 val d = Bool() 467 val a = Bool() 468 val g = Bool() 469 val u = Bool() 470 val x = Bool() 471 val w = Bool() 472 val r = Bool() 473 val v = Bool() 474 } 475 476 def unaligned(level: UInt) = { 477 isLeaf() && !(level === 2.U || 478 level === 1.U && ppn(vpnnLen-1, 0) === 0.U || 479 level === 0.U && ppn(vpnnLen*2-1, 0) === 0.U) 480 } 481 482 def isPf(level: UInt) = { 483 !perm.v || (!perm.r && perm.w) || unaligned(level) 484 } 485 486 def isLeaf() = { 487 perm.r || perm.x || perm.w 488 } 489 490 def getPerm() = { 491 val pm = Wire(new PtePermBundle) 492 pm.d := perm.d 493 pm.a := perm.a 494 pm.g := perm.g 495 pm.u := perm.u 496 pm.x := perm.x 497 pm.w := perm.w 498 pm.r := perm.r 499 pm 500 } 501 502 override def toPrintable: Printable = { 503 p"ppn:0x${Hexadecimal(ppn)} perm:b${Binary(perm.asUInt)}" 504 } 505} 506 507class PtwEntry(tagLen: Int, hasPerm: Boolean = false, hasLevel: Boolean = false)(implicit p: Parameters) extends PtwBundle { 508 val tag = UInt(tagLen.W) 509 val asid = UInt(asidLen.W) 510 val ppn = UInt(ppnLen.W) 511 val perm = if (hasPerm) Some(new PtePermBundle) else None 512 val level = if (hasLevel) Some(UInt(log2Up(Level).W)) else None 513 val prefetch = Bool() 514 val v = Bool() 515 516 def is_normalentry(): Bool = { 517 if (!hasLevel) true.B 518 else level.get === 2.U 519 } 520 521 def genPPN(vpn: UInt): UInt = { 522 if (!hasLevel) ppn 523 else MuxLookup(level.get, 0.U, Seq( 524 0.U -> Cat(ppn(ppn.getWidth-1, vpnnLen*2), vpn(vpnnLen*2-1, 0)), 525 1.U -> Cat(ppn(ppn.getWidth-1, vpnnLen), vpn(vpnnLen-1, 0)), 526 2.U -> ppn) 527 ) 528 } 529 530 def hit(vpn: UInt, asid: UInt, allType: Boolean = false, ignoreAsid: Boolean = false) = { 531 require(vpn.getWidth == vpnLen) 532// require(this.asid.getWidth <= asid.getWidth) 533 val asid_hit = if (ignoreAsid) true.B else (this.asid === asid) 534 if (allType) { 535 require(hasLevel) 536 val hit0 = tag(tagLen - 1, vpnnLen*2) === vpn(tagLen - 1, vpnnLen*2) 537 val hit1 = tag(vpnnLen*2 - 1, vpnnLen) === vpn(vpnnLen*2 - 1, vpnnLen) 538 val hit2 = tag(vpnnLen - 1, 0) === vpn(vpnnLen - 1, 0) 539 540 asid_hit && Mux(level.getOrElse(0.U) === 2.U, hit2 && hit1 && hit0, Mux(level.getOrElse(0.U) === 1.U, hit1 && hit0, hit0)) 541 } else if (hasLevel) { 542 val hit0 = tag(tagLen - 1, tagLen - vpnnLen) === vpn(vpnLen - 1, vpnLen - vpnnLen) 543 val hit1 = tag(tagLen - vpnnLen - 1, tagLen - vpnnLen * 2) === vpn(vpnLen - vpnnLen - 1, vpnLen - vpnnLen * 2) 544 545 asid_hit && Mux(level.getOrElse(0.U) === 0.U, hit0, hit0 && hit1) 546 } else { 547 asid_hit && tag === vpn(vpnLen - 1, vpnLen - tagLen) 548 } 549 } 550 551 def refill(vpn: UInt, asid: UInt, pte: UInt, level: UInt = 0.U, prefetch: Bool, valid: Bool = false.B) { 552 require(this.asid.getWidth <= asid.getWidth) // maybe equal is better, but ugly outside 553 554 tag := vpn(vpnLen - 1, vpnLen - tagLen) 555 ppn := pte.asTypeOf(new PteBundle().cloneType).ppn 556 perm.map(_ := pte.asTypeOf(new PteBundle().cloneType).perm) 557 this.asid := asid 558 this.prefetch := prefetch 559 this.v := valid 560 this.level.map(_ := level) 561 } 562 563 def genPtwEntry(vpn: UInt, asid: UInt, pte: UInt, level: UInt = 0.U, prefetch: Bool, valid: Bool = false.B) = { 564 val e = Wire(new PtwEntry(tagLen, hasPerm, hasLevel)) 565 e.refill(vpn, asid, pte, level, prefetch, valid) 566 e 567 } 568 569 570 571 override def toPrintable: Printable = { 572 // p"tag:0x${Hexadecimal(tag)} ppn:0x${Hexadecimal(ppn)} perm:${perm}" 573 p"tag:0x${Hexadecimal(tag)} ppn:0x${Hexadecimal(ppn)} " + 574 (if (hasPerm) p"perm:${perm.getOrElse(0.U.asTypeOf(new PtePermBundle))} " else p"") + 575 (if (hasLevel) p"level:${level.getOrElse(0.U)}" else p"") + 576 p"prefetch:${prefetch}" 577 } 578} 579 580class PtwEntries(num: Int, tagLen: Int, level: Int, hasPerm: Boolean)(implicit p: Parameters) extends PtwBundle { 581 require(log2Up(num)==log2Down(num)) 582 // NOTE: hasPerm means that is leaf or not. 583 584 val tag = UInt(tagLen.W) 585 val asid = UInt(asidLen.W) 586 val ppns = Vec(num, UInt(ppnLen.W)) 587 val vs = Vec(num, Bool()) 588 val perms = if (hasPerm) Some(Vec(num, new PtePermBundle)) else None 589 val prefetch = Bool() 590 // println(s"PtwEntries: tag:1*${tagLen} ppns:${num}*${ppnLen} vs:${num}*1") 591 // NOTE: vs is used for different usage: 592 // for l3, which store the leaf(leaves), vs is page fault or not. 593 // for l2, which shoule not store leaf, vs is valid or not, that will anticipate in hit check 594 // Because, l2 should not store leaf(no perm), it doesn't store perm. 595 // If l2 hit a leaf, the perm is still unavailble. Should still page walk. Complex but nothing helpful. 596 // TODO: divide vs into validVec and pfVec 597 // for l2: may valid but pf, so no need for page walk, return random pte with pf. 598 599 def tagClip(vpn: UInt) = { 600 require(vpn.getWidth == vpnLen) 601 vpn(vpnLen - 1, vpnLen - tagLen) 602 } 603 604 def sectorIdxClip(vpn: UInt, level: Int) = { 605 getVpnClip(vpn, level)(log2Up(num) - 1, 0) 606 } 607 608 def hit(vpn: UInt, asid: UInt, ignoreAsid: Boolean = false) = { 609 val asid_hit = if (ignoreAsid) true.B else (this.asid === asid) 610 asid_hit && tag === tagClip(vpn) && (if (hasPerm) true.B else vs(sectorIdxClip(vpn, level))) 611 } 612 613 def genEntries(vpn: UInt, asid: UInt, data: UInt, levelUInt: UInt, prefetch: Bool) = { 614 require((data.getWidth / XLEN) == num, 615 s"input data length must be multiple of pte length: data.length:${data.getWidth} num:${num}") 616 617 val ps = Wire(new PtwEntries(num, tagLen, level, hasPerm)) 618 ps.tag := tagClip(vpn) 619 ps.asid := asid 620 ps.prefetch := prefetch 621 for (i <- 0 until num) { 622 val pte = data((i+1)*XLEN-1, i*XLEN).asTypeOf(new PteBundle) 623 ps.ppns(i) := pte.ppn 624 ps.vs(i) := !pte.isPf(levelUInt) && (if (hasPerm) pte.isLeaf() else !pte.isLeaf()) 625 ps.perms.map(_(i) := pte.perm) 626 } 627 ps 628 } 629 630 override def toPrintable: Printable = { 631 // require(num == 4, "if num is not 4, please comment this toPrintable") 632 // NOTE: if num is not 4, please comment this toPrintable 633 val permsInner = perms.getOrElse(0.U.asTypeOf(Vec(num, new PtePermBundle))) 634 p"asid: ${Hexadecimal(asid)} tag:0x${Hexadecimal(tag)} ppns:${printVec(ppns)} vs:${Binary(vs.asUInt)} " + 635 (if (hasPerm) p"perms:${printVec(permsInner)}" else p"") 636 } 637} 638 639class PTWEntriesWithEcc(eccCode: Code, num: Int, tagLen: Int, level: Int, hasPerm: Boolean)(implicit p: Parameters) extends PtwBundle { 640 val entries = new PtwEntries(num, tagLen, level, hasPerm) 641 642 val ecc_block = XLEN 643 val ecc_info = get_ecc_info() 644 val ecc = UInt(ecc_info._1.W) 645 646 def get_ecc_info(): (Int, Int, Int, Int) = { 647 val eccBits_per = eccCode.width(ecc_block) - ecc_block 648 649 val data_length = entries.getWidth 650 val data_align_num = data_length / ecc_block 651 val data_not_align = (data_length % ecc_block) != 0 // ugly code 652 val data_unalign_length = data_length - data_align_num * ecc_block 653 val eccBits_unalign = eccCode.width(data_unalign_length) - data_unalign_length 654 655 val eccBits = eccBits_per * data_align_num + eccBits_unalign 656 (eccBits, eccBits_per, data_align_num, data_unalign_length) 657 } 658 659 def encode() = { 660 val data = entries.asUInt() 661 val ecc_slices = Wire(Vec(ecc_info._3, UInt(ecc_info._2.W))) 662 for (i <- 0 until ecc_info._3) { 663 ecc_slices(i) := eccCode.encode(data((i+1)*ecc_block-1, i*ecc_block)) >> ecc_block 664 } 665 if (ecc_info._4 != 0) { 666 val ecc_unaligned = eccCode.encode(data(data.getWidth-1, ecc_info._3*ecc_block)) >> ecc_info._4 667 ecc := Cat(ecc_unaligned, ecc_slices.asUInt()) 668 } else { ecc := ecc_slices.asUInt() } 669 } 670 671 def decode(): Bool = { 672 val data = entries.asUInt() 673 val res = Wire(Vec(ecc_info._3 + 1, Bool())) 674 for (i <- 0 until ecc_info._3) { 675 res(i) := {if (ecc_info._2 != 0) eccCode.decode(Cat(ecc((i+1)*ecc_info._2-1, i*ecc_info._2), data((i+1)*ecc_block-1, i*ecc_block))).error else false.B} 676 } 677 if (ecc_info._2 != 0 && ecc_info._4 != 0) { 678 res(ecc_info._3) := eccCode.decode( 679 Cat(ecc(ecc_info._1-1, ecc_info._2*ecc_info._3), data(data.getWidth-1, ecc_info._3*ecc_block))).error 680 } else { res(ecc_info._3) := false.B } 681 682 Cat(res).orR 683 } 684 685 def gen(vpn: UInt, asid: UInt, data: UInt, levelUInt: UInt, prefetch: Bool) = { 686 this.entries := entries.genEntries(vpn, asid, data, levelUInt, prefetch) 687 this.encode() 688 } 689} 690 691class PtwReq(implicit p: Parameters) extends PtwBundle { 692 val vpn = UInt(vpnLen.W) 693 694 override def toPrintable: Printable = { 695 p"vpn:0x${Hexadecimal(vpn)}" 696 } 697} 698 699class PtwResp(implicit p: Parameters) extends PtwBundle { 700 val entry = new PtwEntry(tagLen = vpnLen, hasPerm = true, hasLevel = true) 701 val pf = Bool() 702 val af = Bool() 703 704 def apply(pf: Bool, af: Bool, level: UInt, pte: PteBundle, vpn: UInt, asid: UInt) = { 705 this.entry.level.map(_ := level) 706 this.entry.tag := vpn 707 this.entry.perm.map(_ := pte.getPerm()) 708 this.entry.ppn := pte.ppn 709 this.entry.prefetch := DontCare 710 this.entry.asid := asid 711 this.entry.v := !pf 712 this.pf := pf 713 this.af := af 714 } 715 716 override def toPrintable: Printable = { 717 p"entry:${entry} pf:${pf} af:${af}" 718 } 719} 720 721class L2TLBIO(implicit p: Parameters) extends PtwBundle { 722 val tlb = Vec(PtwWidth, Flipped(new TlbPtwIO)) 723 val sfence = Input(new SfenceBundle) 724 val csr = new Bundle { 725 val tlb = Input(new TlbCsrBundle) 726 val distribute_csr = Flipped(new DistributedCSRIO) 727 } 728} 729 730class L2TlbMemReqBundle(implicit p: Parameters) extends PtwBundle { 731 val addr = UInt(PAddrBits.W) 732 val id = UInt(bMemID.W) 733} 734 735class L2TlbInnerBundle(implicit p: Parameters) extends PtwReq { 736 val source = UInt(bSourceWidth.W) 737} 738 739 740object ValidHoldBypass{ 741 def apply(infire: Bool, outfire: Bool, flush: Bool = false.B) = { 742 val valid = RegInit(false.B) 743 when (infire) { valid := true.B } 744 when (outfire) { valid := false.B } // ATTENTION: order different with ValidHold 745 when (flush) { valid := false.B } // NOTE: the flush will flush in & out, is that ok? 746 valid || infire 747 } 748} 749