1package xiangshan 2 3import chisel3._ 4import chisel3.util._ 5import top.Parameters 6import xiangshan.backend._ 7import xiangshan.backend.dispatch.DispatchParameters 8import xiangshan.backend.exu.ExuParameters 9import xiangshan.backend.exu.Exu._ 10import xiangshan.frontend._ 11import xiangshan.mem._ 12import xiangshan.backend.fu.HasExceptionNO 13import xiangshan.cache.{ICache, DCache, L1plusCache, DCacheParameters, ICacheParameters, L1plusCacheParameters, PTW, Uncache} 14import chipsalliance.rocketchip.config 15import freechips.rocketchip.diplomacy.{LazyModule, LazyModuleImp, AddressSet} 16import freechips.rocketchip.tilelink.{TLBundleParameters, TLCacheCork, TLBuffer, TLClientNode, TLIdentityNode, TLXbar, TLWidthWidget, TLFilter, TLToAXI4} 17import freechips.rocketchip.devices.tilelink.{TLError, DevNullParams} 18import sifive.blocks.inclusivecache.{CacheParameters, InclusiveCache, InclusiveCacheMicroParameters} 19import freechips.rocketchip.amba.axi4.{AXI4ToTL, AXI4IdentityNode, AXI4UserYanker, AXI4Fragmenter, AXI4IdIndexer, AXI4Deinterleaver} 20import utils._ 21 22case class XSCoreParameters 23( 24 XLEN: Int = 64, 25 HasMExtension: Boolean = true, 26 HasCExtension: Boolean = true, 27 HasDiv: Boolean = true, 28 HasICache: Boolean = true, 29 HasDCache: Boolean = true, 30 EnableStoreQueue: Boolean = true, 31 AddrBits: Int = 64, 32 VAddrBits: Int = 39, 33 PAddrBits: Int = 40, 34 HasFPU: Boolean = true, 35 FectchWidth: Int = 8, 36 EnableBPU: Boolean = true, 37 EnableBPD: Boolean = true, 38 EnableRAS: Boolean = true, 39 EnableLB: Boolean = false, 40 EnableLoop: Boolean = false, 41 EnableSC: Boolean = false, 42 HistoryLength: Int = 64, 43 BtbSize: Int = 2048, 44 JbtacSize: Int = 1024, 45 JbtacBanks: Int = 8, 46 RasSize: Int = 16, 47 CacheLineSize: Int = 512, 48 UBtbWays: Int = 16, 49 BtbWays: Int = 2, 50 IBufSize: Int = 64, 51 DecodeWidth: Int = 6, 52 RenameWidth: Int = 6, 53 CommitWidth: Int = 6, 54 BrqSize: Int = 32, 55 IssQueSize: Int = 12, 56 NRPhyRegs: Int = 160, 57 NRIntReadPorts: Int = 14, 58 NRIntWritePorts: Int = 8, 59 NRFpReadPorts: Int = 14, 60 NRFpWritePorts: Int = 8, 61 LoadQueueSize: Int = 64, 62 StoreQueueSize: Int = 48, 63 RoqSize: Int = 192, 64 dpParams: DispatchParameters = DispatchParameters( 65 IntDqSize = 24, 66 FpDqSize = 24, 67 LsDqSize = 24, 68 IntDqDeqWidth = 4, 69 FpDqDeqWidth = 4, 70 LsDqDeqWidth = 4 71 ), 72 exuParameters: ExuParameters = ExuParameters( 73 JmpCnt = 1, 74 AluCnt = 4, 75 MulCnt = 0, 76 MduCnt = 2, 77 FmacCnt = 4, 78 FmiscCnt = 2, 79 FmiscDivSqrtCnt = 0, 80 LduCnt = 2, 81 StuCnt = 2 82 ), 83 LoadPipelineWidth: Int = 2, 84 StorePipelineWidth: Int = 2, 85 StoreBufferSize: Int = 16, 86 RefillSize: Int = 512, 87 TlbEntrySize: Int = 32, 88 TlbL2EntrySize: Int = 256, // or 512 89 PtwL1EntrySize: Int = 16, 90 PtwL2EntrySize: Int = 256, 91 NumPerfCounters: Int = 16 92) 93 94trait HasXSParameter { 95 96 val core = Parameters.get.coreParameters 97 val env = Parameters.get.envParameters 98 99 val XLEN = core.XLEN 100 val HasMExtension = core.HasMExtension 101 val HasCExtension = core.HasCExtension 102 val HasDiv = core.HasDiv 103 val HasIcache = core.HasICache 104 val HasDcache = core.HasDCache 105 val EnableStoreQueue = core.EnableStoreQueue 106 val AddrBits = core.AddrBits // AddrBits is used in some cases 107 val VAddrBits = core.VAddrBits // VAddrBits is Virtual Memory addr bits 108 val PAddrBits = core.PAddrBits // PAddrBits is Phyical Memory addr bits 109 val AddrBytes = AddrBits / 8 // unused 110 val DataBits = XLEN 111 val DataBytes = DataBits / 8 112 val HasFPU = core.HasFPU 113 val FetchWidth = core.FectchWidth 114 val PredictWidth = FetchWidth * 2 115 val EnableBPU = core.EnableBPU 116 val EnableBPD = core.EnableBPD // enable backing predictor(like Tage) in BPUStage3 117 val EnableRAS = core.EnableRAS 118 val EnableLB = core.EnableLB 119 val EnableLoop = core.EnableLoop 120 val EnableSC = core.EnableSC 121 val HistoryLength = core.HistoryLength 122 val BtbSize = core.BtbSize 123 // val BtbWays = 4 124 val BtbBanks = PredictWidth 125 // val BtbSets = BtbSize / BtbWays 126 val JbtacSize = core.JbtacSize 127 val JbtacBanks = core.JbtacBanks 128 val RasSize = core.RasSize 129 val CacheLineSize = core.CacheLineSize 130 val CacheLineHalfWord = CacheLineSize / 16 131 val ExtHistoryLength = HistoryLength + 64 132 val UBtbWays = core.UBtbWays 133 val BtbWays = core.BtbWays 134 val IBufSize = core.IBufSize 135 val DecodeWidth = core.DecodeWidth 136 val RenameWidth = core.RenameWidth 137 val CommitWidth = core.CommitWidth 138 val BrqSize = core.BrqSize 139 val IssQueSize = core.IssQueSize 140 val BrTagWidth = log2Up(BrqSize) 141 val NRPhyRegs = core.NRPhyRegs 142 val PhyRegIdxWidth = log2Up(NRPhyRegs) 143 val RoqSize = core.RoqSize 144 val LoadQueueSize = core.LoadQueueSize 145 val StoreQueueSize = core.StoreQueueSize 146 val dpParams = core.dpParams 147 val exuParameters = core.exuParameters 148 val NRIntReadPorts = core.NRIntReadPorts 149 val NRIntWritePorts = core.NRIntWritePorts 150 val NRMemReadPorts = exuParameters.LduCnt + 2*exuParameters.StuCnt 151 val NRFpReadPorts = core.NRFpReadPorts 152 val NRFpWritePorts = core.NRFpWritePorts 153 val LoadPipelineWidth = core.LoadPipelineWidth 154 val StorePipelineWidth = core.StorePipelineWidth 155 val StoreBufferSize = core.StoreBufferSize 156 val RefillSize = core.RefillSize 157 val DTLBWidth = core.LoadPipelineWidth + core.StorePipelineWidth 158 val TlbEntrySize = core.TlbEntrySize 159 val TlbL2EntrySize = core.TlbL2EntrySize 160 val PtwL1EntrySize = core.PtwL1EntrySize 161 val PtwL2EntrySize = core.PtwL2EntrySize 162 val NumPerfCounters = core.NumPerfCounters 163 164 val icacheParameters = ICacheParameters( 165 tagECC = Some("secded"), 166 dataECC = Some("secded"), 167 nMissEntries = 2 168 ) 169 170 val l1plusCacheParameters = L1plusCacheParameters( 171 tagECC = Some("secded"), 172 dataECC = Some("secded"), 173 nMissEntries = 8 174 ) 175 176 val dcacheParameters = DCacheParameters( 177 tagECC = Some("secded"), 178 dataECC = Some("secded"), 179 nMissEntries = 16, 180 nLoadMissEntries = 8, 181 nStoreMissEntries = 8 182 ) 183 184 val LRSCCycles = 100 185 186 187 // cache hierarchy configurations 188 val l1BusDataWidth = 256 189 190 // L2 configurations 191 val L1BusWidth = 256 192 val L2Size = 512 * 1024 // 512KB 193 val L2BlockSize = 64 194 val L2NWays = 8 195 val L2NSets = L2Size / L2BlockSize / L2NWays 196 197 // L3 configurations 198 val L2BusWidth = 256 199 val L3Size = 4 * 1024 * 1024 // 4MB 200 val L3BlockSize = 64 201 val L3NBanks = 4 202 val L3NWays = 8 203 val L3NSets = L3Size / L3BlockSize / L3NBanks / L3NWays 204 205 // on chip network configurations 206 val L3BusWidth = 256 207} 208 209trait HasXSLog { this: RawModule => 210 implicit val moduleName: String = this.name 211} 212 213abstract class XSModule extends MultiIOModule 214 with HasXSParameter 215 with HasExceptionNO 216 with HasXSLog 217{ 218 def io: Record 219} 220 221//remove this trait after impl module logic 222trait NeedImpl { this: RawModule => 223 override protected def IO[T <: Data](iodef: T): T = { 224 println(s"[Warn]: (${this.name}) please reomve 'NeedImpl' after implement this module") 225 val io = chisel3.experimental.IO(iodef) 226 io <> DontCare 227 io 228 } 229} 230 231abstract class XSBundle extends Bundle 232 with HasXSParameter 233 234case class EnviromentParameters 235( 236 FPGAPlatform: Boolean = true, 237 EnableDebug: Boolean = false 238) 239 240object AddressSpace extends HasXSParameter { 241 // (start, size) 242 // address out of MMIO will be considered as DRAM 243 def mmio = List( 244 (0x00000000L, 0x40000000L), // internal devices, such as CLINT and PLIC 245 (0x40000000L, 0x40000000L) // external devices 246 ) 247 248 def isMMIO(addr: UInt): Bool = mmio.map(range => { 249 require(isPow2(range._2)) 250 val bits = log2Up(range._2) 251 (addr ^ range._1.U)(PAddrBits-1, bits) === 0.U 252 }).reduce(_ || _) 253} 254 255 256 257class XSCore()(implicit p: config.Parameters) extends LazyModule with HasXSParameter { 258 259 // outer facing nodes 260 val dcache = LazyModule(new DCache()) 261 val uncache = LazyModule(new Uncache()) 262 val l1pluscache = LazyModule(new L1plusCache()) 263 val ptw = LazyModule(new PTW()) 264 265 lazy val module = new XSCoreImp(this) 266} 267 268class XSCoreImp(outer: XSCore) extends LazyModuleImp(outer) 269 with HasXSParameter 270 with HasExeBlockHelper 271{ 272 val io = IO(new Bundle { 273 val externalInterrupt = new ExternalInterruptIO 274 }) 275 276 println(s"FPGAPlatform:${env.FPGAPlatform} EnableDebug:${env.EnableDebug}") 277 278 // to fast wake up fp, mem rs 279 val intBlockFastWakeUpFp = intExuConfigs.filter(fpFastFilter) 280 val intBlockSlowWakeUpFp = intExuConfigs.filter(fpSlowFilter) 281 val intBlockFastWakeUpInt = intExuConfigs.filter(intFastFilter) 282 val intBlockSlowWakeUpInt = intExuConfigs.filter(intSlowFilter) 283 284 val fpBlockFastWakeUpFp = fpExuConfigs.filter(fpFastFilter) 285 val fpBlockSlowWakeUpFp = fpExuConfigs.filter(fpSlowFilter) 286 val fpBlockFastWakeUpInt = fpExuConfigs.filter(intFastFilter) 287 val fpBlockSlowWakeUpInt = fpExuConfigs.filter(intSlowFilter) 288 289 val frontend = Module(new Frontend) 290 val ctrlBlock = Module(new CtrlBlock) 291 val integerBlock = Module(new IntegerBlock( 292 fastWakeUpIn = fpBlockFastWakeUpInt, 293 slowWakeUpIn = fpBlockSlowWakeUpInt ++ loadExuConfigs, 294 fastFpOut = intBlockFastWakeUpFp, 295 slowFpOut = intBlockSlowWakeUpFp, 296 fastIntOut = intBlockFastWakeUpInt, 297 slowIntOut = intBlockSlowWakeUpInt 298 )) 299 val floatBlock = Module(new FloatBlock( 300 fastWakeUpIn = intBlockFastWakeUpFp, 301 slowWakeUpIn = intBlockSlowWakeUpFp ++ loadExuConfigs, 302 fastFpOut = fpBlockFastWakeUpFp, 303 slowFpOut = fpBlockSlowWakeUpFp, 304 fastIntOut = fpBlockFastWakeUpInt, 305 slowIntOut = fpBlockSlowWakeUpInt 306 )) 307 val memBlock = Module(new MemBlock( 308 fastWakeUpIn = intBlockFastWakeUpInt ++ intBlockFastWakeUpFp ++ fpBlockFastWakeUpInt ++ fpBlockFastWakeUpFp, 309 slowWakeUpIn = intBlockSlowWakeUpInt ++ intBlockSlowWakeUpFp ++ fpBlockSlowWakeUpInt ++ fpBlockSlowWakeUpFp, 310 fastFpOut = Seq(), 311 slowFpOut = loadExuConfigs, 312 fastIntOut = Seq(), 313 slowIntOut = loadExuConfigs 314 )) 315 316 val dcache = outer.dcache.module 317 val uncache = outer.uncache.module 318 val l1pluscache = outer.l1pluscache.module 319 val ptw = outer.ptw.module 320 321 322 frontend.io.backend <> ctrlBlock.io.frontend 323 frontend.io.sfence <> integerBlock.io.fenceio.sfence 324 frontend.io.tlbCsr <> integerBlock.io.csrio.tlb 325 326 frontend.io.icacheMemAcq <> l1pluscache.io.req 327 l1pluscache.io.resp <> frontend.io.icacheMemGrant 328 l1pluscache.io.flush := frontend.io.l1plusFlush 329 frontend.io.fencei := integerBlock.io.fenceio.fencei 330 331 ctrlBlock.io.fromIntBlock <> integerBlock.io.toCtrlBlock 332 ctrlBlock.io.fromFpBlock <> floatBlock.io.toCtrlBlock 333 ctrlBlock.io.fromLsBlock <> memBlock.io.toCtrlBlock 334 ctrlBlock.io.toIntBlock <> integerBlock.io.fromCtrlBlock 335 ctrlBlock.io.toFpBlock <> floatBlock.io.fromCtrlBlock 336 ctrlBlock.io.toLsBlock <> memBlock.io.fromCtrlBlock 337 338 integerBlock.io.wakeUpIn.fastUops <> floatBlock.io.wakeUpIntOut.fastUops 339 integerBlock.io.wakeUpIn.fast <> floatBlock.io.wakeUpIntOut.fast 340 integerBlock.io.wakeUpIn.slow <> floatBlock.io.wakeUpIntOut.slow ++ memBlock.io.wakeUpIntOut.slow 341 342 floatBlock.io.wakeUpIn.fastUops <> integerBlock.io.wakeUpFpOut.fastUops 343 floatBlock.io.wakeUpIn.fast <> integerBlock.io.wakeUpFpOut.fast 344 floatBlock.io.wakeUpIn.slow <> integerBlock.io.wakeUpFpOut.slow ++ memBlock.io.wakeUpFpOut.slow 345 346 347 integerBlock.io.wakeUpIntOut.fast.map(_.ready := true.B) 348 integerBlock.io.wakeUpIntOut.slow.map(_.ready := true.B) 349 floatBlock.io.wakeUpFpOut.fast.map(_.ready := true.B) 350 floatBlock.io.wakeUpFpOut.slow.map(_.ready := true.B) 351 352 val wakeUpMem = Seq( 353 integerBlock.io.wakeUpIntOut, 354 integerBlock.io.wakeUpFpOut, 355 floatBlock.io.wakeUpIntOut, 356 floatBlock.io.wakeUpFpOut 357 ) 358 memBlock.io.wakeUpIn.fastUops <> wakeUpMem.flatMap(_.fastUops) 359 memBlock.io.wakeUpIn.fast <> wakeUpMem.flatMap(w => w.fast.map(f => { 360 val raw = WireInit(f) 361 raw 362 })) 363 memBlock.io.wakeUpIn.slow <> wakeUpMem.flatMap(w => w.slow.map(s => { 364 val raw = WireInit(s) 365 raw 366 })) 367 368 integerBlock.io.csrio.fflags <> ctrlBlock.io.roqio.toCSR.fflags 369 integerBlock.io.csrio.dirty_fs <> ctrlBlock.io.roqio.toCSR.dirty_fs 370 integerBlock.io.csrio.exception <> ctrlBlock.io.roqio.exception 371 integerBlock.io.csrio.isInterrupt <> ctrlBlock.io.roqio.isInterrupt 372 integerBlock.io.csrio.trapTarget <> ctrlBlock.io.roqio.toCSR.trapTarget 373 integerBlock.io.csrio.interrupt <> ctrlBlock.io.roqio.toCSR.intrBitSet 374 integerBlock.io.csrio.memExceptionVAddr <> memBlock.io.lsqio.exceptionAddr.vaddr 375 integerBlock.io.csrio.externalInterrupt <> io.externalInterrupt 376 integerBlock.io.csrio.tlb <> memBlock.io.tlbCsr 377 integerBlock.io.fenceio.sfence <> memBlock.io.sfence 378 integerBlock.io.fenceio.sbuffer <> memBlock.io.fenceToSbuffer 379 380 floatBlock.io.frm <> integerBlock.io.csrio.frm 381 382 memBlock.io.lsqio.commits <> ctrlBlock.io.roqio.commits 383 memBlock.io.lsqio.roqDeqPtr <> ctrlBlock.io.roqio.roqDeqPtr 384 memBlock.io.lsqio.exceptionAddr.lsIdx.lqIdx := ctrlBlock.io.roqio.exception.bits.lqIdx 385 memBlock.io.lsqio.exceptionAddr.lsIdx.sqIdx := ctrlBlock.io.roqio.exception.bits.sqIdx 386 memBlock.io.lsqio.exceptionAddr.isStore := CommitType.lsInstIsStore(ctrlBlock.io.roqio.exception.bits.ctrl.commitType) 387 388 ptw.io.tlb(0) <> memBlock.io.ptw 389 ptw.io.tlb(1) <> frontend.io.ptw 390 ptw.io.sfence <> integerBlock.io.fenceio.sfence 391 ptw.io.csr <> integerBlock.io.csrio.tlb 392 393 dcache.io.lsu.load <> memBlock.io.dcache.loadUnitToDcacheVec 394 dcache.io.lsu.lsq <> memBlock.io.dcache.loadMiss 395 dcache.io.lsu.atomics <> memBlock.io.dcache.atomics 396 dcache.io.lsu.store <> memBlock.io.dcache.sbufferToDcache 397 uncache.io.lsq <> memBlock.io.dcache.uncache 398 399 if (!env.FPGAPlatform) { 400 val debugIntReg, debugFpReg = WireInit(VecInit(Seq.fill(32)(0.U(XLEN.W)))) 401 ExcitingUtils.addSink(debugIntReg, "DEBUG_INT_ARCH_REG", ExcitingUtils.Debug) 402 ExcitingUtils.addSink(debugFpReg, "DEBUG_FP_ARCH_REG", ExcitingUtils.Debug) 403 val debugArchReg = WireInit(VecInit(debugIntReg ++ debugFpReg)) 404 ExcitingUtils.addSource(debugArchReg, "difftestRegs", ExcitingUtils.Debug) 405 } 406 407} 408