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