Update logic for probe_ack_pending_d in the tl_broadcast module to av…

…oid potential deadlock issues Signed-off-by: gmlayer0 <gmlayer0@outlook.com>
lowRISC · May 13, 2024 · d786308 · d786308
1 parent 63ac8b0
commit d786308
Showing 1 changed file with 1 addition and 3 deletions.
diff --git a/ip/tl/rtl/tl_broadcast.sv b/ip/tl/rtl/tl_broadcast.sv
@@ -419,9 +419,7 @@ module tl_broadcast import tl_pkg::*; #(
 
       // Wait for all probes to be acked.
       StateInv: begin
-        if (probe_ack_complete || probe_ack_data_complete) begin
-          probe_ack_pending_d = probe_ack_pending_q - 1;
-        end
+        probe_ack_pending_d = probe_ack_pending_q - probe_ack_complete - probe_ack_data_complete;
 
         if (probe_ack_pending_d == 0) begin
           // We can return to the caller.