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