# Copyright lowRISC contributors.
# Licensed under the Apache License, Version 2.0, see LICENSE for details.
# SPDX-License-Identifier: Apache-2.0
#
# waiver file for KMAC

waive -rules {HIER_NET_NOT_READ NOT_READ INPUT_NOT_READ} -location {kmac.sv} -regexp {'reg_state_valid' in module .* is not read} \
      -comment "state values are guarded by the FSM, so kmac_staterd does not use the valid signal"

waive -rules {HIER_NET_NOT_READ NOT_READ INPUT_NOT_READ} -location {kmac.sv} \
    -regexp {'tlram_addr' is not read} \
    -comment "MSG_FIFO ignores the exact memory address but use strobe for alignement"

waive -rules {HIER_NET_NOT_READ NOT_READ INPUT_NOT_READ} \
    -location {kmac_msgfifo.sv} -regexp {'packer_wmask.* is not read} \
    -comment "MSG_FIFO uses only the first bit in a byte"

waive -rules {TWO_STATE_TYPE} -location {kmac.sv} \
    -regexp {'tl_window_e' is of two state type} \
    -comment "Window enum is used to select, not synthesized"

waive -rules {TAG_OVERLAP} -location {kmac_app.sv} \
    -regexp {Case tag expression '2'b1.* overlaps with previous tag} \
    -comment "priority casez makes the condition check explicitly"

waive -rules {INTEGER} -location {kmac_entropy.sv} \
    -regexp {'i' of type int used as a non-constant value} \
    -comment "int i is compared with the storage_idx"