Merge pull request #4 from CTSRD-CHERI/aj443-fix-deburster-warning

Fix an action shadowing warning in the deburster
CTSRD-CHERI · Nov 30, 2020 · a112597 · a112597
2 parents aced14d + 4625755
commit a112597
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/AXI/AXI4_Utils.bsv b/AXI/AXI4_Utils.bsv
@@ -336,13 +336,13 @@ module mkSerialiser #(AXI4_Master#(a, b, c, d, e, f, g, h) m)
 
   (* mutually_exclusive = "takeR, takeB" *)
 
-  rule takeB;
+  rule takeB (state[1] == WAITING);
     let bFlit <- get(slv.b);
     m.b.put(bFlit);
     state[1] <= IDLE;
   endrule
 
-  rule takeR;
+  rule takeR (state[1] == WAITING);
     let rFlit <- get(slv.r);
     m.r.put(rFlit);
     if (rFlit.rlast) state[1] <= IDLE;