Skip to content

Commit 41bd7c7

Browse files
Add waivers for read_queue
Internal-tag: [#96358] Signed-off-by: Robert Szczepanski <rszczepanski@antmicro.com>
1 parent a0a6a5d commit 41bd7c7

1 file changed

Lines changed: 15 additions & 1 deletion

File tree

verification/waivers/exclusion.yaml

Lines changed: 15 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -4793,7 +4793,7 @@ exclusions:
47934793
- 1 # if ((1 << (ready_thld_i + 1)) >= ThldWidth'(Depth)) begin
47944794
- 2 # end else begin
47954795

4796-
TX Desc start threshold is tied to constant 0:
4796+
TX Desc start threshold is tied to 0 when `ThldIsPow == 0`:
47974797
cond:
47984798
- 1: [2 "10", 3 "11"] # start_thld_trig_o = |start_thld_i && (fifo_depth >= FifoDepthWidth'(start_thld_i));
47994799

@@ -4814,6 +4814,20 @@ exclusions:
48144814
toggle:
48154815
- start_thld_i: [3-7]
48164816

4817+
We don't use queue in configuration with `LimitReadyThld` and `ThldIsPow==1` simultaneously:
4818+
line:
4819+
- 86 # if ((1 << (ready_thld_i + 1)) >= ThldWidth'(Depth)) begin
4820+
- 88 # ready_thld_o <= ThldWidth'($clog2(Depth) - 1);
4821+
- 90 # ready_thld_o <= ready_thld_i;
4822+
branch:
4823+
- 1: # if (!rst_ni) begin
4824+
- 1 # if ((1 << (ready_thld_i + 1)) >= ThldWidth'(Depth)) begin
4825+
- 2 # end else begin
4826+
4827+
TX Desc start threshold is tied to 0 when `ThldIsPow == 0`:
4828+
cond:
4829+
- 1: [2 "10", 3 "11"] # start_thld_trig_o = |start_thld_i && (empty_entries >= FifoDepthWidth'(start_thld_i));
4830+
48174831

48184832
width_converter_8toN:
48194833
source_path: src/ctrl/width_converter_8toN.sv

0 commit comments

Comments
 (0)