tilelink2 Parameters: poison ports with unsafe atomics

We need to detect if an AtomicAutomata's output ever gets mixed
with some other source of operations.
This commit is contained in:
Wesley W. Terpstra committed 2016-09-22 15:18:53 -07:00
1 parent d1151e2f0f
commit f5d604d8f8
2 files changed
+10 -7

No files matched your search

@@ -289,7 +289,10 @@ case class TLClientParameters(
val name = nodePath.lastOption.map(_.lazyModule.name).getOrElse("disconnected")
}
case class TLClientPortParameters(clients: Seq[TLClientParameters]) {
case class TLClientPortParameters(
clients: Seq[TLClientParameters],
unsafeAtomics: Boolean = false) // Atomics are executed as get+put
{
require (!clients.isEmpty)
// Require disjoint ranges for Ids