xref: /XiangShan/src/main/scala/xiangshan/cache/mmu/MMUBundle.scala (revision ca2f90a69ce970d90edc8b017b309154608dfe8c)
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