"Fix" false combinational loop through SPIArbiter fix-false-comb-loop
authorJack Koenig <koenig@sifive.com>
Fri, 31 Mar 2017 02:12:15 +0000 (19:12 -0700)
committerJack Koenig <koenig@sifive.com>
Fri, 31 Mar 2017 02:12:15 +0000 (19:12 -0700)
Mux1H converts aggregates to UInt, muxes, then converts back which can
look like a cominational loop.

src/main/scala/devices/spi/SPIArbiter.scala

index 56c484ed593b46e8321deec29c621418065026a7..df87d9586cafd5c155463bd569eb166cdc623695 100644 (file)
@@ -20,7 +20,9 @@ class SPIArbiter(c: SPIParamsBase, n: Int) extends Module {
   io.outer.tx.bits := Mux1H(sel, io.inner.map(_.tx.bits))
   io.outer.cnt := Mux1H(sel, io.inner.map(_.cnt))
   io.outer.fmt := Mux1H(sel, io.inner.map(_.fmt))
-  io.outer.cs := Mux1H(sel, io.inner.map(_.cs))
+  // Workaround for overzealous combinational loop detection
+  io.outer.cs := Mux(sel(1), io.inner(0).cs, io.inner(1).cs)
+  require(n == 2, "SPIArbiter currently only supports 2 clients")
 
   (io.inner zip sel).foreach { case (inner, s) =>
     inner.tx.ready := io.outer.tx.ready && s