1
0

Merge branch 'formal_tests' of github.com:ucb-bar/rocket-chip into formal_tests

This commit is contained in:
Jacob Chang 2016-12-01 18:37:13 -08:00
commit aa39b3d09d

View File

@ -7,9 +7,9 @@ import diplomacy._
import scala.math.max import scala.math.max
case class TLManagerParameters( case class TLManagerParameters(
address: Seq[AddressSet], val address: Seq[AddressSet],
regionType: RegionType.T = RegionType.GET_EFFECTS, regionType: RegionType.T = RegionType.GET_EFFECTS,
executable: Boolean = false, // processor can execute from this memory val executable: Boolean = false, // processor can execute from this memory
nodePath: Seq[BaseNode] = Seq(), nodePath: Seq[BaseNode] = Seq(),
// Supports both Acquire+Release+Finish of these sizes // Supports both Acquire+Release+Finish of these sizes
supportsAcquire: TransferSizes = TransferSizes.none, supportsAcquire: TransferSizes = TransferSizes.none,