Skip to content

Commit

Permalink
split dts related logic out from BareSubsystem to prepare for CIRCT-OM
Browse files Browse the repository at this point in the history
  • Loading branch information
sequencer committed Feb 25, 2024
1 parent 0306b3a commit 27c9307
Show file tree
Hide file tree
Showing 3 changed files with 26 additions and 15 deletions.
4 changes: 2 additions & 2 deletions src/main/scala/groundtest/GroundTestSubsystem.scala
Original file line number Diff line number Diff line change
Expand Up @@ -42,6 +42,6 @@ class GroundTestSubsystem(implicit p: Parameters)

class GroundTestSubsystemModuleImp[+L <: GroundTestSubsystem](_outer: L) extends BaseSubsystemModuleImp(_outer) {
val success = IO(Output(Bool()))
val status = dontTouch(DebugCombiner(outer.tileStatusNodes.map(_.bundle).toSeq))
success := outer.tileCeaseSinkNode.in.head._1.asUInt.andR
val status = dontTouch(DebugCombiner(_outer.tileStatusNodes.map(_.bundle).toSeq))
success := _outer.tileCeaseSinkNode.in.head._1.asUInt.andR
}
33 changes: 21 additions & 12 deletions src/main/scala/subsystem/BaseSubsystem.scala
Original file line number Diff line number Diff line change
Expand Up @@ -19,22 +19,29 @@ case object InTile extends HierarchicalLocation("InTile")
case object InSubsystem extends HierarchicalLocation("InSubsystem")
case object InSystem extends HierarchicalLocation("InSystem")

/** BareSubsystem is the root class for creating a subsystem */
abstract class BareSubsystem(implicit p: Parameters) extends LazyModule with BindingScope {
// HasDts is generating metadatas from Scala, which is not the target for new diplomacy and Property.
// It will be deprecated and removed after we migrate all metadata handling logic to OM Dialect.
trait HasDts extends LazyModule with BindingScope {
lazy val dts = DTS(bindingTree)
lazy val dtb = DTB(dts)
lazy val json = JSON(bindingTree)
}

abstract class BareSubsystemModuleImp[+L <: BareSubsystem](_outer: L) extends LazyRawModuleImp(_outer) {
val outer = _outer
ElaborationArtefacts.add("graphml", outer.graphML)
ElaborationArtefacts.add("dts", outer.dts)
ElaborationArtefacts.add("json", outer.json)
trait HasDtsImp[+L <: HasDts] extends LazyRawModuleImp {
val dtsLM: L
// GraphML should live outside form this trait, but we keep it here until we find an appropriate way to handle metadata
ElaborationArtefacts.add("graphml", wrapper.graphML)
// PlusArg should be purged out from rocket-chip in a near feature.
ElaborationArtefacts.add("plusArgs", PlusArgArtefacts.serialize_cHeader())
println(outer.dts)
ElaborationArtefacts.add("dts", dtsLM.dts)
ElaborationArtefacts.add("json", dtsLM.json)
println(dtsLM.dts)
}

/** BareSubsystem is the root class for creating a subsystem */
abstract class BareSubsystem(implicit p: Parameters) extends LazyModule
abstract class BareSubsystemModuleImp[+L <: BareSubsystem](_outer: L) extends LazyRawModuleImp(_outer)

trait SubsystemResetScheme
case object ResetSynchronous extends SubsystemResetScheme
case object ResetAsynchronous extends SubsystemResetScheme
Expand Down Expand Up @@ -82,6 +89,7 @@ trait HasConfigurableTLNetworkTopology { this: HasTileLinkLocations =>
abstract class BaseSubsystem(val location: HierarchicalLocation = InSubsystem)
(implicit p: Parameters)
extends BareSubsystem
with HasDts
with Attachable
with HasConfigurablePRCILocations
with HasConfigurableTLNetworkTopology
Expand Down Expand Up @@ -124,24 +132,25 @@ abstract class BaseSubsystem(val location: HierarchicalLocation = InSubsystem)
}


abstract class BaseSubsystemModuleImp[+L <: BaseSubsystem](_outer: L) extends BareSubsystemModuleImp(_outer) {
abstract class BaseSubsystemModuleImp[+L <: BaseSubsystem](_outer: L) extends BareSubsystemModuleImp(_outer) with HasDtsImp[L] {
val dtsLM: L = _outer
private val mapping: Seq[AddressMapEntry] = Annotated.addressMapping(this, {
outer.collectResourceAddresses.groupBy(_._2).toList.flatMap { case (key, seq) =>
dtsLM.collectResourceAddresses.groupBy(_._2).toList.flatMap { case (key, seq) =>
AddressRange.fromSets(key.address).map { r => AddressMapEntry(r, key.permissions, seq.map(_._1)) }
}.sortBy(_.range)
})

Annotated.addressMapping(this, mapping)

println("Generated Address Map")
mapping.foreach(entry => println(entry.toString((outer.tlBusWrapperLocationMap(p(TLManagerViewpointLocated(outer.location))).busView.bundle.addressBits-1)/4 + 1)))
mapping.foreach(entry => println(entry.toString((dtsLM.tlBusWrapperLocationMap(p(TLManagerViewpointLocated(dtsLM.location))).busView.bundle.addressBits-1)/4 + 1)))
println("")

ElaborationArtefacts.add("memmap.json", s"""{"mapping":[${mapping.map(_.toJSON).mkString(",")}]}""")

// Confirm that all of memory was described by DTS
private val dtsRanges = AddressRange.unify(mapping.map(_.range))
private val allRanges = AddressRange.unify(outer.topManagers.flatMap { m => AddressRange.fromSets(m.address) })
private val allRanges = AddressRange.unify(dtsLM.topManagers.flatMap { m => AddressRange.fromSets(m.address) })

if (dtsRanges != allRanges) {
println("Address map described by DTS differs from physical implementation:")
Expand Down
4 changes: 3 additions & 1 deletion src/main/scala/subsystem/RocketSubsystem.scala
Original file line number Diff line number Diff line change
Expand Up @@ -49,5 +49,7 @@ class RocketSubsystem(implicit p: Parameters) extends BaseSubsystem
}

class RocketSubsystemModuleImp[+L <: RocketSubsystem](_outer: L) extends BaseSubsystemModuleImp(_outer)
with HasHierarchicalElementsRootContextModuleImp
with HasHierarchicalElementsRootContextModuleImp {
override val outer = _outer
}

0 comments on commit 27c9307

Please sign in to comment.