xref: /XiangShan/src/main/scala/xiangshan/backend/fu/PMA.scala (revision aa438b8efe19bfdf4d293f2067db25fea02ec0cc)
1ca2f90a6SLemover/***************************************************************************************
2ca2f90a6SLemover * Copyright (c) 2020-2021 Institute of Computing Technology, Chinese Academy of Sciences
3ca2f90a6SLemover * Copyright (c) 2020-2021 Peng Cheng Laboratory
4ca2f90a6SLemover *
5ca2f90a6SLemover * XiangShan is licensed under Mulan PSL v2.
6ca2f90a6SLemover * You can use this software according to the terms and conditions of the Mulan PSL v2.
7ca2f90a6SLemover * You may obtain a copy of Mulan PSL v2 at:
8ca2f90a6SLemover *          http://license.coscl.org.cn/MulanPSL2
9ca2f90a6SLemover *
10ca2f90a6SLemover * THIS SOFTWARE IS PROVIDED ON AN "AS IS" BASIS, WITHOUT WARRANTIES OF ANY KIND,
11ca2f90a6SLemover * EITHER EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO NON-INFRINGEMENT,
12ca2f90a6SLemover * MERCHANTABILITY OR FIT FOR A PARTICULAR PURPOSE.
13ca2f90a6SLemover *
14ca2f90a6SLemover * See the Mulan PSL v2 for more details.
15ca2f90a6SLemover ***************************************************************************************/
16ca2f90a6SLemover
17ca2f90a6SLemoverpackage xiangshan.backend.fu
18ca2f90a6SLemover
19ca2f90a6SLemoverimport chisel3._
20ca2f90a6SLemoverimport chisel3.util._
2198c71602SJiawei Linimport freechips.rocketchip.regmapper.{RegField, RegFieldDesc, RegReadFn, RegWriteFn}
2267ba96b4SYinan Xuimport utility.{ParallelPriorityMux, ValidHold, ZeroExt}
23ca2f90a6SLemoverimport xiangshan.cache.mmu.TlbCmd
24ca2f90a6SLemover
2567ba96b4SYinan Xuimport scala.collection.mutable.ListBuffer
2667ba96b4SYinan Xu
2798c71602SJiawei Lin/* Memory Mapped PMA */
2898c71602SJiawei Lincase class MMPMAConfig
2998c71602SJiawei Lin(
3098c71602SJiawei Lin  address: BigInt,
3198c71602SJiawei Lin  mask: BigInt,
3298c71602SJiawei Lin  lgMaxSize: Int,
3398c71602SJiawei Lin  sameCycle: Boolean,
3498c71602SJiawei Lin  num: Int
3598c71602SJiawei Lin)
3698c71602SJiawei Lin
3798c71602SJiawei Lintrait PMAConst extends PMPConst
3898c71602SJiawei Lin
3998c71602SJiawei Lintrait MMPMAMethod extends PMAConst with PMAMethod with PMPReadWriteMethodBare {
4098c71602SJiawei Lin  def gen_mmpma_mapping(num: Int) = {
4198c71602SJiawei Lin    val pmaCfgPerCSR = PMXLEN / new PMPConfig().getWidth
4298c71602SJiawei Lin    def pmaCfgLogicIndex(i: Int) = (PMXLEN / 32) * (i / pmaCfgPerCSR)
4398c71602SJiawei Lin    def pmaCfgIndex(i: Int) = (i / pmaCfgPerCSR)
4498c71602SJiawei Lin
4598c71602SJiawei Lin    val pma = Wire(Vec(num, new PMPEntry))
4698c71602SJiawei Lin
4798c71602SJiawei Lin    /* pma init value */
4898c71602SJiawei Lin    val init_value = pma_init()
4998c71602SJiawei Lin
5098c71602SJiawei Lin    val pmaCfgMerged = RegInit(init_value._1)
5198c71602SJiawei Lin    val addr = RegInit(init_value._2)
5298c71602SJiawei Lin    val mask = RegInit(init_value._3)
5398c71602SJiawei Lin    val cfg = WireInit(pmaCfgMerged).asTypeOf(Vec(num, new PMPConfig()))
5498c71602SJiawei Lin    //  pmaMask are implicit regs that just used for timing optimization
5598c71602SJiawei Lin    for (i <- pma.indices) {
5698c71602SJiawei Lin      pma(i).gen(cfg(i), addr(i), mask(i))
5798c71602SJiawei Lin    }
5898c71602SJiawei Lin
5998c71602SJiawei Lin    val blankCfg = PMXLEN == 32
6098c71602SJiawei Lin    val cfg_index_wrapper = (0 until num by 4).zip((0 until num by 4).map(a => blankCfg || (a % pmaCfgPerCSR == 0)))
6198c71602SJiawei Lin    val cfg_map = (cfg_index_wrapper).map{ case(i, notempty) => {
6298c71602SJiawei Lin//      println(s"tlbpma i:$i notempty:$notempty")
63cef5c4b4SLemover      RegField.apply(n = PMXLEN, r = RegReadFn{(ivalid, oready) =>
64cef5c4b4SLemover        val r_ready = Wire(Bool())
65cef5c4b4SLemover        val o_valid = Wire(Bool())
66cef5c4b4SLemover        val v_reg = ValidHold(r_ready && ivalid, o_valid && oready, false.B)
67cef5c4b4SLemover        r_ready := !v_reg
68cef5c4b4SLemover        o_valid := v_reg
69cef5c4b4SLemover
70cef5c4b4SLemover        if (notempty) { (r_ready, o_valid, pmaCfgMerged(pmaCfgIndex(i))) }
71cef5c4b4SLemover        else { (r_ready, o_valid, 0.U) }
72cef5c4b4SLemover      }, w = RegWriteFn((valid, data) => {
73*aa438b8eSHaoyuan Feng        if (notempty) { when (valid) { pmaCfgMerged(pmaCfgIndex(i)) := write_cfg_vec(mask, addr, i, pmaCfgMerged(pmaCfgIndex(i)))(data) } }
7498c71602SJiawei Lin        true.B
7598c71602SJiawei Lin      }), desc = RegFieldDesc(s"MMPMA_config_${i}", s"pma config register #${i}"))
7698c71602SJiawei Lin    }}
7798c71602SJiawei Lin
7898c71602SJiawei Lin    val addr_map = (0 until num).map{ i => {
7998c71602SJiawei Lin      val next_cfg = if (i == 0) 0.U.asTypeOf(new PMPConfig()) else cfg(i-1)
8098c71602SJiawei Lin      RegField(
8198c71602SJiawei Lin        n = PMXLEN,
8298c71602SJiawei Lin        r = ZeroExt(read_addr(cfg(i))(addr(i)), PMXLEN),
8398c71602SJiawei Lin        w = RegWriteFn((valid, data) => {
8498c71602SJiawei Lin          when (valid) { addr(i) := write_addr(next_cfg, mask(i))(data(addr(0).getWidth-1, 0), cfg(i), addr(i))}
8598c71602SJiawei Lin          true.B
8698c71602SJiawei Lin        }),
8798c71602SJiawei Lin        desc = RegFieldDesc(s"MMPMA_addr_${i}", s"pma addr register #${i}")
8898c71602SJiawei Lin      )
8998c71602SJiawei Lin    }}
9098c71602SJiawei Lin
9198c71602SJiawei Lin    (cfg_map, addr_map, pma)
9298c71602SJiawei Lin  }
9398c71602SJiawei Lin
9498c71602SJiawei Lin}
9598c71602SJiawei Lin
9698c71602SJiawei Lintrait PMAMethod extends PMAConst {
97ca2f90a6SLemover  /**
98ca2f90a6SLemover  def SimpleMemMapList = List(
99ca2f90a6SLemover      //     Base address      Top address       Width  Description    Mode (RWXIDSAC)
100ca2f90a6SLemover      MemMap("h00_0000_0000", "h00_0FFF_FFFF",   "h0", "Reserved",    "RW"),
101ca2f90a6SLemover      MemMap("h00_1000_0000", "h00_1FFF_FFFF",   "h0", "QSPI_Flash",  "RWX"),
102ca2f90a6SLemover      MemMap("h00_2000_0000", "h00_2FFF_FFFF",   "h0", "Reserved",    "RW"),
103ca2f90a6SLemover      MemMap("h00_3000_0000", "h00_3000_FFFF",   "h0", "DMA",         "RW"),
104ca2f90a6SLemover      MemMap("h00_3001_0000", "h00_3004_FFFF",   "h0", "GPU",         "RWC"),
105ca2f90a6SLemover      MemMap("h00_3005_0000", "h00_3006_FFFF",   "h0", "USB/SDMMC",   "RW"),
106ca2f90a6SLemover      MemMap("h00_3007_0000", "h00_30FF_FFFF",   "h0", "Reserved",    "RW"),
107ca2f90a6SLemover      MemMap("h00_3100_0000", "h00_3111_FFFF",   "h0", "MMIO",        "RW"),
108ca2f90a6SLemover      MemMap("h00_3112_0000", "h00_37FF_FFFF",   "h0", "Reserved",    "RW"),
109ca2f90a6SLemover      MemMap("h00_3800_0000", "h00_3800_FFFF",   "h0", "CLINT",       "RW"),
110ca2f90a6SLemover      MemMap("h00_3801_0000", "h00_3801_FFFF",   "h0", "BEU",         "RW"),
111ca2f90a6SLemover      MemMap("h00_3802_0000", "h00_3802_0FFF",   "h0", "DebugModule", "RWX"),
1125b7ef044SLemover      MemMap("h00_3802_1000", "h00_3802_1FFF",   "h0", "MMPMA",       "RW"),
1139e2176fbSwakafa      MemMap("h00_3802_2000", "h00_3900_0000",   "h0", "Reserved",    ""),
1149e2176fbSwakafa      MemMap("h00_3900_0000", "h00_3900_1FFF",   "h0", "L3CacheCtrl",  "RW"),
1155b7ef044SLemover      MemMap("h00_3900_2000", "h00_39FF_FFFF",   "h0", "Reserved",    ""),
1165b7ef044SLemover      MemMap("h00_3A00_0000", "h00_3A00_0FFF",   "h0", "PLL0",        "RW),
1175b7ef044SLemover      MemMap('h00_3A00_1000", "h00_3BFF_FFFF",   "h0", "Reserved",    ""),
118ca2f90a6SLemover      MemMap("h00_3C00_0000", "h00_3FFF_FFFF",   "h0", "PLIC",        "RW"),
119ca2f90a6SLemover      MemMap("h00_4000_0000", "h00_7FFF_FFFF",   "h0", "PCIe",        "RW"),
1202f30d658SYinan Xu      MemMap("h00_8000_0000", "h0F_FFFF_FFFF",   "h0", "DDR",         "RWXIDSA"),
121ca2f90a6SLemover    )
122ca2f90a6SLemover   */
123ca2f90a6SLemover
124ca2f90a6SLemover  def pma_init() : (Vec[UInt], Vec[UInt], Vec[UInt]) = {
12567ba96b4SYinan Xu    def genAddr(init_addr: BigInt) = {
12667ba96b4SYinan Xu      init_addr.U((PMPAddrBits - PMPOffBits).W)
12767ba96b4SYinan Xu    }
12867ba96b4SYinan Xu    def genMask(init_addr: BigInt, a: BigInt) = {
12967ba96b4SYinan Xu      val match_mask_addr = (init_addr << 1) | (a & 0x1) | (((1 << PlatformGrain) - 1) >> PMPOffBits)
13067ba96b4SYinan Xu      val mask = ((match_mask_addr & ~(match_mask_addr + 1)) << PMPOffBits) | ((1 << PMPOffBits) - 1)
13167ba96b4SYinan Xu      mask.U(PMPAddrBits.W)
13267ba96b4SYinan Xu    }
133ca2f90a6SLemover
134ca2f90a6SLemover    val num = NumPMA
135ca2f90a6SLemover    require(num >= 16)
136ca2f90a6SLemover
13767ba96b4SYinan Xu    val cfg_list = ListBuffer[UInt]()
13867ba96b4SYinan Xu    val addr_list = ListBuffer[UInt]()
13967ba96b4SYinan Xu    val mask_list = ListBuffer[UInt]()
14067ba96b4SYinan Xu    def addPMA(base_addr: BigInt,
14167ba96b4SYinan Xu               range: BigInt = 0L, // only use for napot mode
14267ba96b4SYinan Xu               l: Boolean = false,
14367ba96b4SYinan Xu               c: Boolean = false,
14467ba96b4SYinan Xu               atomic: Boolean = false,
14567ba96b4SYinan Xu               a: Int = 0,
14667ba96b4SYinan Xu               x: Boolean = false,
14767ba96b4SYinan Xu               w: Boolean = false,
14867ba96b4SYinan Xu               r: Boolean = false) = {
14967ba96b4SYinan Xu      val addr = if (a < 2) { shift_addr(base_addr) }
15067ba96b4SYinan Xu        else { get_napot(base_addr, range) }
15167ba96b4SYinan Xu      cfg_list.append(PMPConfigUInt(l, c, atomic, a, x, w, r))
15267ba96b4SYinan Xu      addr_list.append(genAddr(addr))
15367ba96b4SYinan Xu      mask_list.append(genMask(addr, a))
154ca2f90a6SLemover    }
155ca2f90a6SLemover
15667ba96b4SYinan Xu    addPMA(0x0L, range = 0x1000000000L, c = true, atomic = true, a = 3, x = true, w = true, r = true)
15767ba96b4SYinan Xu    addPMA(0x0L, range = 0x80000000L, a = 3, w = true, r = true)
15867ba96b4SYinan Xu    addPMA(0x3C000000L, a = 1)
15967ba96b4SYinan Xu    addPMA(0x3A001000L, a = 1, w = true, r = true)
16067ba96b4SYinan Xu    addPMA(0x3A000000L, a = 1)
16167ba96b4SYinan Xu    addPMA(0x39002000L, a = 1, w = true, r = true)
16267ba96b4SYinan Xu    addPMA(0x39000000L, a = 1)
16367ba96b4SYinan Xu    addPMA(0x38022000L, a = 1, w = true, r = true)
16467ba96b4SYinan Xu    addPMA(0x38021000L, a = 1, x = true, w = true, r = true)
16567ba96b4SYinan Xu    addPMA(0x38020000L, a = 1, w = true, r = true)
16667ba96b4SYinan Xu    addPMA(0x30050000L, a = 1, w = true, r = true) // FIXME: GPU space is cacheable?
16767ba96b4SYinan Xu    addPMA(0x30010000L, a = 1, w = true, r = true)
16867ba96b4SYinan Xu    addPMA(0x20000000L, a = 1, x = true, w = true, r = true)
16967ba96b4SYinan Xu    addPMA(0x10000000L, a = 1, w = true, r = true)
17067ba96b4SYinan Xu    addPMA(0)
17167ba96b4SYinan Xu    while (cfg_list.length < 16) {
17267ba96b4SYinan Xu      addPMA(0)
17367ba96b4SYinan Xu    }
17467ba96b4SYinan Xu
17567ba96b4SYinan Xu    val cfgInitMerge = Seq.tabulate(num / 8)(i => {
17667ba96b4SYinan Xu      cfg_list.reverse.drop(8 * i).take(8).foldRight(BigInt(0L)) { case (a, result) =>
17767ba96b4SYinan Xu        (result << a.getWidth) | a.litValue
17867ba96b4SYinan Xu      }.U(PMXLEN.W)
17967ba96b4SYinan Xu    })
18067ba96b4SYinan Xu    val addr = addr_list.reverse
18167ba96b4SYinan Xu    val mask = mask_list.reverse
182935edac4STang Haojin    (VecInit(cfgInitMerge), VecInit(addr.toSeq), VecInit(mask.toSeq))
18367ba96b4SYinan Xu  }
18467ba96b4SYinan Xu
18567ba96b4SYinan Xu  def get_napot(base: BigInt, range: BigInt): BigInt = {
186aec79401SLemover    val PlatformGrainBytes = (1 << PlatformGrain)
187aec79401SLemover    if ((base % PlatformGrainBytes) != 0) {
188aec79401SLemover      println("base:%x", base)
189aec79401SLemover    }
190aec79401SLemover    if ((range % PlatformGrainBytes) != 0) {
191aec79401SLemover      println("range: %x", range)
192aec79401SLemover    }
193aec79401SLemover    require((base % PlatformGrainBytes) == 0)
194aec79401SLemover    require((range % PlatformGrainBytes) == 0)
195aec79401SLemover
19667ba96b4SYinan Xu    ((base + (range/2 - 1)) >> PMPOffBits)
197aec79401SLemover  }
198aec79401SLemover
199aec79401SLemover  def match_mask(paddr: UInt, cfg: PMPConfig) = {
200935edac4STang Haojin    val match_mask_addr: UInt = Cat(paddr, cfg.a(0)).asUInt | (((1 << PlatformGrain) - 1) >> PMPOffBits).U((paddr.getWidth + 1).W)
201aec79401SLemover    Cat(match_mask_addr & ~(match_mask_addr + 1.U), ((1 << PMPOffBits) - 1).U(PMPOffBits.W))
202aec79401SLemover  }
203aec79401SLemover
204ca2f90a6SLemover  def shift_addr(addr: BigInt) = {
20567ba96b4SYinan Xu    addr >> 2
206ca2f90a6SLemover  }
207ca2f90a6SLemover}
208ca2f90a6SLemover
20998c71602SJiawei Lintrait PMACheckMethod extends PMPConst {
210ca2f90a6SLemover  def pma_check(cmd: UInt, cfg: PMPConfig) = {
211ca2f90a6SLemover    val resp = Wire(new PMPRespBundle)
212ca2f90a6SLemover    resp.ld := TlbCmd.isRead(cmd) && !TlbCmd.isAtom(cmd) && !cfg.r
213ca2f90a6SLemover    resp.st := (TlbCmd.isWrite(cmd) || TlbCmd.isAtom(cmd) && cfg.atomic) && !cfg.w
214ca2f90a6SLemover    resp.instr := TlbCmd.isExec(cmd) && !cfg.x
215ca2f90a6SLemover    resp.mmio := !cfg.c
21637225120Ssfencevma    resp.atomic := cfg.atomic
217ca2f90a6SLemover    resp
218ca2f90a6SLemover  }
219ca2f90a6SLemover
2205cf62c1aSLemover  def pma_match_res(leaveHitMux: Boolean = false, valid: Bool = true.B)(
2215cf62c1aSLemover    addr: UInt,
2225cf62c1aSLemover    size: UInt,
2235cf62c1aSLemover    pmaEntries: Vec[PMPEntry],
2245cf62c1aSLemover    mode: UInt,
2255cf62c1aSLemover    lgMaxSize: Int
2265cf62c1aSLemover  ) = {
227ca2f90a6SLemover    val num = pmaEntries.size
228ca2f90a6SLemover    require(num == NumPMA)
229ca2f90a6SLemover    // pma should always be checked, could not be ignored
230ca2f90a6SLemover    // like amo and cached, it is the attribute not protection
231ca2f90a6SLemover    // so it must have initialization.
232ca2f90a6SLemover    require(!pmaEntries.isEmpty)
233ca2f90a6SLemover
234a15116bdSLemover    val pmaDefault = WireInit(0.U.asTypeOf(new PMPEntry()))
235a15116bdSLemover    val match_vec = Wire(Vec(num+1, Bool()))
236a15116bdSLemover    val cfg_vec = Wire(Vec(num+1, new PMPEntry()))
237a15116bdSLemover
238a15116bdSLemover    pmaEntries.zip(pmaDefault +: pmaEntries.take(num-1)).zipWithIndex.foreach{ case ((pma, last_pma), i) =>
239ca2f90a6SLemover      val is_match = pma.is_match(addr, size, lgMaxSize, last_pma)
240ca2f90a6SLemover      val aligned = pma.aligned(addr, size, lgMaxSize, last_pma)
241ca2f90a6SLemover
242ca2f90a6SLemover      val cur = WireInit(pma)
243ca2f90a6SLemover      cur.cfg.r := aligned && pma.cfg.r
244ca2f90a6SLemover      cur.cfg.w := aligned && pma.cfg.w
245ca2f90a6SLemover      cur.cfg.x := aligned && pma.cfg.x
246ca2f90a6SLemover      cur.cfg.atomic := aligned && pma.cfg.atomic
247ca2f90a6SLemover      cur.cfg.c := aligned && pma.cfg.c
248ca2f90a6SLemover
249a15116bdSLemover      match_vec(i) := is_match
250a15116bdSLemover      cfg_vec(i) := cur
251ca2f90a6SLemover    }
252a15116bdSLemover
253a15116bdSLemover    match_vec(num) := true.B
254a15116bdSLemover    cfg_vec(num) := pmaDefault
2555cf62c1aSLemover    if (leaveHitMux) {
256005e809bSJiuyang Liu      ParallelPriorityMux(match_vec.map(RegEnable(_, false.B, valid)), RegEnable(cfg_vec, valid))
2575cf62c1aSLemover    } else {
258a15116bdSLemover      ParallelPriorityMux(match_vec, cfg_vec)
259ca2f90a6SLemover    }
260ca2f90a6SLemover  }
2615cf62c1aSLemover}
262