Add waiver for Sr in TxPec

robertszczepanski · robertszczepanski · commit 1634b21b7b5b · 2026-05-13T14:15:43.000+02:00
Internal-tag: [#95769]
diff --git a/verification/waivers/exclusion.yaml b/verification/waivers/exclusion.yaml
@@ -3685,6 +3685,8 @@ exclusions:
         branch:
           - 3:  # unique case (state_q)
             - 41  # TxDesc: if (bus_rstart_i) begin
+        cond:
+          - 40: [2 "01"]  # if ((tx_data_ready_i && tx_data_valid_o) || bus_rstart_i) begin
 
       Not needed else:
         branch:
