Skip to content

Commit 32d4560

Browse files
committed
[rom_ctrl/lint] Waive VAR_INDEX_RANGE warning shown in new tool versions
The corresponding RTL is okay. As the LSBs are fixed to 5'd31, the resulting index is always valid and greater equal 0. Signed-off-by: Pirmin Vogel <vogelpi@lowrisc.org>
1 parent 51a784b commit 32d4560

1 file changed

Lines changed: 3 additions & 0 deletions

File tree

hw/ip/rom_ctrl/lint/rom_ctrl.waiver

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -8,3 +8,6 @@
88
waive -rules {CONST_FF} -location {rom_ctrl_counter.sv} \
99
-regexp {Flip-flop 'req_q' is driven by constant one} \
1010
-comment "This is intentional: the signal should be true from one cycle after reset."
11+
waive -rules {VAR_INDEX_RANGE} -location {rom_ctrl_compare.sv} \
12+
-regexp {'digest_idx -: 32' minimum value -31 is too small for '.*digest_i' range '.*} \
13+
-comment "The 5 LSBs of digest_idx are fixed to 5'd31, i.e., the minimum value is actually 0 and the index is always valid"

0 commit comments

Comments
 (0)