Update logic for probe_ack_pending_d in the tl_broadcast module to av…

…oid potential deadlock issues Signed-off-by: gmlayer0 <[email protected]>
lowRISC · May 13, 2024 · 2696eb9 · 2696eb9
1 parent 9678bee
commit 2696eb9
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.