Skip to content

Commit 3234f63

Browse files
Update recovery_receiver waivers to match RTL change
1 parent 45f40ca commit 3234f63

1 file changed

Lines changed: 4 additions & 4 deletions

File tree

verification/waivers/exclusion.yaml

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -3663,7 +3663,7 @@ exclusions:
36633663
branch:
36643664
- 17: [7] # unique case (state_q)
36653665
line:
3666-
- 1143 # unique case (state_q)
3666+
- 1149 # unique case (state_q)
36673667

36683668
Read only interface:
36693669
cond:
@@ -3681,17 +3681,17 @@ exclusions:
36813681

36823682
This would require controller to send Sr while target is in PP mode which is illegal:
36833683
line:
3684-
- 810 # TxDesc: state_d = Done; // Controller aborted read via Sr
3684+
- 816 # TxDesc: state_d = Done; // Controller aborted read via Sr
36853685
branch:
36863686
- 3: # unique case (state_q)
3687-
- 41 # TxDesc: if (bus_rstart_i) begin
3687+
- 42 # TxDesc: if (bus_rstart_i) begin
36883688
cond:
36893689
- 40: [2 "01"] # if ((tx_data_ready_i && tx_data_valid_o) || bus_rstart_i) begin
36903690

36913691
Not needed else:
36923692
branch:
36933693
- 3: # unique case (state_q)
3694-
- 52 # TxData: if (tx_data_valid_o) begin
3694+
- 53 # TxData: if (tx_data_valid_o) begin
36953695

36963696
Upper bits of a counter:
36973697
toggle:

0 commit comments

Comments
 (0)