2016-11-28 01:16:37 +01:00
|
|
|
// See LICENSE.SiFive for license details.
|
|
|
|
// See LICENSE.Berkeley for license details.
|
2014-09-13 03:06:41 +02:00
|
|
|
|
2012-03-25 00:56:59 +01:00
|
|
|
package rocket
|
|
|
|
|
|
|
|
import Chisel._
|
2017-01-17 03:24:08 +01:00
|
|
|
import config._
|
|
|
|
import coreplex._
|
2016-10-27 04:02:04 +02:00
|
|
|
import diplomacy._
|
2017-02-09 22:59:09 +01:00
|
|
|
import tile._
|
2016-06-28 22:15:39 +02:00
|
|
|
import uncore.devices._
|
2017-01-17 03:24:08 +01:00
|
|
|
import uncore.tilelink2._
|
2016-09-28 06:27:07 +02:00
|
|
|
import util._
|
2012-03-25 00:56:59 +01:00
|
|
|
|
2017-02-09 22:59:09 +01:00
|
|
|
case class RocketTileParams(
|
|
|
|
core: RocketCoreParams = RocketCoreParams(),
|
|
|
|
icache: Option[ICacheParams] = Some(ICacheParams()),
|
|
|
|
dcache: Option[DCacheParams] = Some(DCacheParams()),
|
|
|
|
rocc: Seq[RoCCParams] = Nil,
|
|
|
|
btb: Option[BTBParams] = Some(BTBParams()),
|
|
|
|
dataScratchpadBytes: Int = 0) extends TileParams {
|
|
|
|
require(icache.isDefined)
|
|
|
|
require(dcache.isDefined)
|
|
|
|
}
|
|
|
|
|
2017-03-02 01:47:10 +01:00
|
|
|
class RocketTile(val rocketParams: RocketTileParams, val hartid: Int)(implicit p: Parameters) extends BaseTile(rocketParams)(p)
|
2017-01-17 03:24:08 +01:00
|
|
|
with CanHaveLegacyRoccs // implies CanHaveSharedFPU with CanHavePTW with HasHellaCache
|
|
|
|
with CanHaveScratchpad { // implies CanHavePTW with HasHellaCache with HasICacheFrontend
|
2015-12-02 02:54:56 +01:00
|
|
|
|
2017-01-17 03:24:08 +01:00
|
|
|
nDCachePorts += 1 // core TODO dcachePorts += () => module.core.io.dmem ??
|
2014-08-08 21:23:02 +02:00
|
|
|
|
2017-03-02 01:47:10 +01:00
|
|
|
val device = new Device {
|
|
|
|
def ofInt(x: Int) = Seq(ResourceInt(BigInt(x)))
|
|
|
|
def ofStr(x: String) = Seq(ResourceString(x))
|
|
|
|
def describe(resources: ResourceBindings): Description = {
|
|
|
|
val block = p(CacheBlockBytes)
|
|
|
|
val m = if (rocketParams.core.mulDiv.nonEmpty) "m" else ""
|
|
|
|
val a = if (rocketParams.core.useAtomics) "a" else ""
|
|
|
|
val f = if (rocketParams.core.fpu.nonEmpty) "f" else ""
|
|
|
|
val d = if (rocketParams.core.fpu.nonEmpty && p(XLen) > 32) "d" else ""
|
|
|
|
val c = if (rocketParams.core.useCompressed) "c" else ""
|
|
|
|
val s = if (rocketParams.core.useVM) "s" else ""
|
|
|
|
val isa = s"rv${p(XLen)}i$m$a$f$d$c$s"
|
|
|
|
|
|
|
|
val dcache = rocketParams.dcache.map(d => Map(
|
|
|
|
"d-cache-block-size" -> ofInt(block),
|
|
|
|
"d-cache-sets" -> ofInt(d.nSets),
|
|
|
|
"d-cache-size" -> ofInt(d.nSets * d.nWays * block))).getOrElse(Map())
|
|
|
|
|
|
|
|
val icache = rocketParams.icache.map(i => Map(
|
|
|
|
"i-cache-block-size" -> ofInt(block),
|
|
|
|
"i-cache-sets" -> ofInt(i.nSets),
|
|
|
|
"i-cache-size" -> ofInt(i.nSets * i.nWays * block))).getOrElse(Map())
|
|
|
|
|
2017-03-03 09:48:26 +01:00
|
|
|
val dtlb = rocketParams.dcache.filter(_ => rocketParams.core.useVM).map(d => Map(
|
|
|
|
"d-tlb-size" -> ofInt(d.nTLBEntries),
|
|
|
|
"d-tlb-sets" -> ofInt(1))).getOrElse(Map())
|
|
|
|
|
|
|
|
val itlb = rocketParams.icache.filter(_ => rocketParams.core.useVM).map(i => Map(
|
|
|
|
"i-tlb-size" -> ofInt(i.nTLBEntries),
|
|
|
|
"i-tlb-sets" -> ofInt(1))).getOrElse(Map())
|
|
|
|
|
|
|
|
val mmu = if (!rocketParams.core.useVM) Map() else Map(
|
|
|
|
"tlb-split" -> Nil,
|
|
|
|
"mmu-type" -> ofStr(p(PgLevels) match {
|
|
|
|
case 2 => "riscv,sv32"
|
|
|
|
case 3 => "riscv,sv39"
|
|
|
|
case 4 => "riscv,sv48"
|
|
|
|
}))
|
|
|
|
|
2017-03-02 01:47:10 +01:00
|
|
|
// Find all the caches
|
|
|
|
val outer = masterNode.edgesOut
|
|
|
|
.flatMap(_.manager.managers)
|
|
|
|
.filter(_.supportsAcquireB)
|
|
|
|
.flatMap(_.resources.headOption)
|
|
|
|
.map(_.owner.label)
|
|
|
|
.distinct
|
|
|
|
val nextlevel: Option[(String, Seq[ResourceValue])] =
|
|
|
|
if (outer.isEmpty) None else
|
|
|
|
Some("next-level-cache" -> outer.map(l => ResourceReference(l)).toList)
|
|
|
|
|
|
|
|
Description(s"cpus/cpu@${hartid}", Map(
|
|
|
|
"reg" -> resources("reg").map(_.value),
|
|
|
|
"device_type" -> ofStr("cpu"),
|
|
|
|
"compatible" -> ofStr("riscv"),
|
|
|
|
"status" -> ofStr("okay"),
|
|
|
|
"clock-frequency" -> Seq(ResourceInt(rocketParams.core.bootFreqHz)),
|
|
|
|
"riscv,isa" -> ofStr(isa),
|
|
|
|
"interrupt-controller" -> Nil,
|
|
|
|
"#interrupt-cells" -> ofInt(1))
|
2017-03-03 09:48:26 +01:00
|
|
|
++ dcache ++ icache ++ nextlevel ++ mmu ++ itlb ++ dtlb)
|
2017-03-02 01:47:10 +01:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
ResourceBinding {
|
|
|
|
Resource(device, "reg").bind(ResourceInt(BigInt(hartid)))
|
2017-03-02 22:37:25 +01:00
|
|
|
|
|
|
|
// debug, msip, mtip, meip, seip offsets in CSRs
|
|
|
|
val intMap = Seq(65535, 3, 7, 11, 9)
|
|
|
|
|
|
|
|
intNode.edgesIn.flatMap(_.source.sources).map { case s =>
|
|
|
|
for (i <- s.range.start until s.range.end) {
|
|
|
|
intMap.lift(i).foreach { j =>
|
|
|
|
s.resources.foreach { r =>
|
|
|
|
r.bind(device, ResourceInt(j))
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
2017-03-02 01:47:10 +01:00
|
|
|
}
|
|
|
|
|
2017-01-17 03:24:08 +01:00
|
|
|
override lazy val module = new RocketTileModule(this)
|
|
|
|
}
|
2016-11-11 22:07:45 +01:00
|
|
|
|
2017-01-17 03:24:08 +01:00
|
|
|
class RocketTileBundle(outer: RocketTile) extends BaseTileBundle(outer)
|
|
|
|
with CanHaveScratchpadBundle
|
|
|
|
|
|
|
|
class RocketTileModule(outer: RocketTile) extends BaseTileModule(outer, () => new RocketTileBundle(outer))
|
|
|
|
with CanHaveLegacyRoccsModule
|
|
|
|
with CanHaveScratchpadModule {
|
|
|
|
|
2017-03-25 06:30:18 +01:00
|
|
|
require(outer.p(PAddrBits) >= outer.masterNode.edgesIn(0).bundle.addressBits)
|
|
|
|
|
2017-02-09 22:59:09 +01:00
|
|
|
val core = Module(p(BuildCore)(outer.p))
|
2017-01-17 03:24:08 +01:00
|
|
|
core.io.hartid := io.hartid
|
|
|
|
outer.frontend.module.io.cpu <> core.io.imem
|
|
|
|
outer.frontend.module.io.resetVector := io.resetVector
|
|
|
|
dcachePorts += core.io.dmem // TODO outer.dcachePorts += () => module.core.io.dmem ??
|
|
|
|
fpuOpt foreach { fpu => core.io.fpu <> fpu.io }
|
2017-03-24 21:00:47 +01:00
|
|
|
core.io.ptw <> ptw.io.dpath
|
2017-01-17 03:24:08 +01:00
|
|
|
outer.legacyRocc foreach { lr =>
|
|
|
|
lr.module.io.core.cmd <> core.io.rocc.cmd
|
|
|
|
lr.module.io.core.exception := core.io.rocc.exception
|
|
|
|
core.io.rocc.resp <> lr.module.io.core.resp
|
|
|
|
core.io.rocc.busy := lr.module.io.core.busy
|
|
|
|
core.io.rocc.interrupt := lr.module.io.core.interrupt
|
2016-11-21 21:19:33 +01:00
|
|
|
}
|
|
|
|
|
2017-03-02 22:37:25 +01:00
|
|
|
// Decode the interrupt vector
|
|
|
|
core.io.interrupts.debug := io.interrupts(0)(0)
|
|
|
|
core.io.interrupts.msip := io.interrupts(0)(1)
|
|
|
|
core.io.interrupts.mtip := io.interrupts(0)(2)
|
|
|
|
core.io.interrupts.meip := io.interrupts(0)(3)
|
|
|
|
core.io.interrupts.seip.foreach { _ := io.interrupts(0)(4) }
|
|
|
|
|
2017-02-09 22:59:09 +01:00
|
|
|
// TODO eliminate this redundancy
|
|
|
|
val h = dcachePorts.size
|
|
|
|
val c = core.dcacheArbPorts
|
|
|
|
val o = outer.nDCachePorts
|
|
|
|
require(h == c, s"port list size was $h, core expected $c")
|
|
|
|
require(h == o, s"port list size was $h, outer counted $o")
|
2017-01-17 03:24:08 +01:00
|
|
|
// TODO figure out how to move the below into their respective mix-ins
|
|
|
|
dcacheArb.io.requestor <> dcachePorts
|
2017-03-24 21:00:47 +01:00
|
|
|
ptw.io.requestor <> ptwPorts
|
2017-01-17 03:24:08 +01:00
|
|
|
}
|
2016-11-11 00:56:42 +01:00
|
|
|
|
2017-03-02 01:47:10 +01:00
|
|
|
class AsyncRocketTile(rtp: RocketTileParams, hartid: Int)(implicit p: Parameters) extends LazyModule {
|
|
|
|
val rocket = LazyModule(new RocketTile(rtp, hartid))
|
2016-11-30 01:34:26 +01:00
|
|
|
|
2017-02-09 22:59:09 +01:00
|
|
|
val masterNode = TLAsyncOutputNode()
|
|
|
|
val source = LazyModule(new TLAsyncCrossingSource)
|
|
|
|
source.node :=* rocket.masterNode
|
|
|
|
masterNode :=* source.node
|
2017-01-17 03:24:08 +01:00
|
|
|
|
2017-02-09 22:59:09 +01:00
|
|
|
val slaveNode = TLAsyncInputNode()
|
|
|
|
val sink = LazyModule(new TLAsyncCrossingSink)
|
|
|
|
rocket.slaveNode :*= sink.node
|
|
|
|
sink.node :*= slaveNode
|
2016-11-30 01:34:26 +01:00
|
|
|
|
2017-03-02 22:37:25 +01:00
|
|
|
val intNode = IntInputNode()
|
|
|
|
val xing = LazyModule(new IntXing(3))
|
|
|
|
rocket.intNode := xing.intnode
|
|
|
|
xing.intnode := intNode
|
|
|
|
|
2016-11-11 00:56:42 +01:00
|
|
|
lazy val module = new LazyModuleImp(this) {
|
|
|
|
val io = new Bundle {
|
2017-02-09 22:59:09 +01:00
|
|
|
val master = masterNode.bundleOut
|
|
|
|
val slave = slaveNode.bundleIn
|
2017-03-02 22:37:25 +01:00
|
|
|
val interrupts = intNode.bundleIn
|
2016-11-11 00:56:42 +01:00
|
|
|
val hartid = UInt(INPUT, p(XLen))
|
|
|
|
val resetVector = UInt(INPUT, p(XLen))
|
|
|
|
}
|
2017-01-17 03:24:08 +01:00
|
|
|
// signals that do not change:
|
|
|
|
rocket.module.io.hartid := io.hartid
|
|
|
|
rocket.module.io.resetVector := io.resetVector
|
2015-12-02 05:41:58 +01:00
|
|
|
}
|
2012-03-25 00:56:59 +01:00
|
|
|
}
|
2017-01-28 02:09:43 +01:00
|
|
|
|
2017-03-02 01:47:10 +01:00
|
|
|
class RationalRocketTile(rtp: RocketTileParams, hartid: Int)(implicit p: Parameters) extends LazyModule {
|
|
|
|
val rocket = LazyModule(new RocketTile(rtp, hartid))
|
2017-01-28 02:09:43 +01:00
|
|
|
|
2017-02-09 22:59:09 +01:00
|
|
|
val masterNode = TLRationalOutputNode()
|
|
|
|
val source = LazyModule(new TLRationalCrossingSource)
|
|
|
|
source.node :=* rocket.masterNode
|
|
|
|
masterNode :=* source.node
|
2017-01-28 02:09:43 +01:00
|
|
|
|
2017-02-09 22:59:09 +01:00
|
|
|
val slaveNode = TLRationalInputNode()
|
2017-02-17 15:15:41 +01:00
|
|
|
val sink = LazyModule(new TLRationalCrossingSink(util.SlowToFast))
|
2017-02-09 22:59:09 +01:00
|
|
|
rocket.slaveNode :*= sink.node
|
|
|
|
sink.node :*= slaveNode
|
2017-01-28 02:09:43 +01:00
|
|
|
|
2017-03-02 22:37:25 +01:00
|
|
|
val intNode = IntInputNode()
|
|
|
|
val xing = LazyModule(new IntXing(1))
|
|
|
|
rocket.intNode := xing.intnode
|
|
|
|
xing.intnode := intNode
|
|
|
|
|
2017-01-28 02:09:43 +01:00
|
|
|
lazy val module = new LazyModuleImp(this) {
|
|
|
|
val io = new Bundle {
|
2017-02-09 22:59:09 +01:00
|
|
|
val master = masterNode.bundleOut
|
|
|
|
val slave = slaveNode.bundleIn
|
2017-03-02 22:37:25 +01:00
|
|
|
val interrupts = intNode.bundleIn
|
2017-01-28 02:09:43 +01:00
|
|
|
val hartid = UInt(INPUT, p(XLen))
|
|
|
|
val resetVector = UInt(INPUT, p(XLen))
|
|
|
|
}
|
|
|
|
// signals that do not change:
|
|
|
|
rocket.module.io.hartid := io.hartid
|
|
|
|
rocket.module.io.resetVector := io.resetVector
|
|
|
|
}
|
|
|
|
}
|