blob: 457e1585b9643132874530c445c61a6ff9ab4b5e [file] [log] [blame]
# Copyright lowRISC contributors.
# Licensed under the Apache License, Version 2.0, see LICENSE for details.
# SPDX-License-Identifier: Apache-2.0
#
# waiver file for alert handler
waive -rules ENUM_RANGE -location {alert_handler_esc_timer.sv} -regexp {state_q} \
-comment "State is used to index timeout cycle counts"
waive -rules NOT_READ -location {alert_handler_ping_timer.sv} -regexp {perm_state} \
-comment "Upper bits of permuted array are not read"
waive -rules HIER_NET_NOT_READ -location {alert_handler_ping_timer.sv} -regexp {perm_state} \
-comment "Upper bits of permuted array are not read"
waive -rules HIER_NET_NOT_READ -location {alert_handler.sv} -regexp {[Nn]et 'tl_[io]\.[ad]_(address|param|user)} \
-comment "Register interface doesn't use upper address and param, user filed"
waive -rules INSIDE_OP_CONTEXT -location {prim_esc_sender.sv} -regexp {inside} \
-comment "Inside operator is used within SVA"
waive -rules CASE_INC -location {alert_handler_esc_timer.sv} -regexp {'b010} \
-comment "Not all case tags are required."
waive -rules CASE_INC -location {alert_handler_ping_timer.sv} -regexp {'b11} \
-comment "Not all case tags are required."
waive -rules CASE_INC -location {prim_esc_sender.sv} -regexp {'b111} \
-comment "Not all case tags are required."
waive -rules ONE_BIT_VEC -location {prim_lfsr.sv} -regexp {InDw - 1:0} \
-comment "Data input may be one bit wide."
waive -rules VAR_INDEX -location {alert_handler_esc_timer.sv} -regexp {phase_cyc_i\[phase_idx\]} \
-comment "This indexing expression is correct."
waive -rules VAR_INDEX -location {alert_handler_ping_timer.sv} -regexp {enable_mask\[id_to_ping\]} \
-comment "This indexing expression is correct."
waive -rules CLOCK_USE -location {alert_handler_lpg_ctrl.sv} -msg {'clk_i' is connected to 'prim_lc_sync' port 'clk_i', and used as} \
-comment "This clock connection is only used for assertions internal to the prim module."
waive -rules RESET_USE -location {alert_handler_lpg_ctrl.sv} -msg {'rst_ni' is connected to 'prim_lc_sync' port 'rst_ni', and used as} \
-comment "This reset connection is only used for assertions internal to the prim module."