Skip to content

Commit 6a4c290

Browse files
Add waiver for upper bits of internal recovery_receiver counter
Internal-tag: [#95734]
1 parent 1e65d26 commit 6a4c290

1 file changed

Lines changed: 5 additions & 0 deletions

File tree

verification/waivers/exclusion.yaml

Lines changed: 5 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -3671,6 +3671,11 @@ exclusions:
36713671
cond:
36723672
- 7: [1 "01"] # length_underrun_err = (payload_byte_cnt < cmd_len) && length_err_det_en_i;
36733673

3674+
Upper bits of a counter:
3675+
toggle:
3676+
- payload_byte_cnt: [9-15]
3677+
- payload_byte_cnt_next: [9-15]
3678+
36743679

36753680
bus_timers:
36763681
source_path: src/ctrl/bus_timers.sv

0 commit comments

Comments
 (0)