blob: 78d7587b858b4ceab5d33ac4f1cbcc9c1b10e9ae [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 UART lint
waive -rules HIER_NET_NOT_READ -location {uart.sv} -regexp {[nN]et.*a_(address|param|user).*not read from} \
-comment "several TLUL signals are not used by register file"
waive -rules HIER_NET_NOT_READ -location {uart.sv} -regexp {[nN]et 'reg2hw.rdata.q' .* is not read from} \
-comment "don't need this data, only marking hwaccess as 'hrw' in order to get the .re signal"
waive -rules INPUT_NOT_READ -location {uart_core.sv} -regexp {Input port 'reg2hw.rdata.q' is not read from} \
-comment "don't need this data, only marking hwaccess as 'hrw' in order to get the .re signal"
waive -rules HIER_NET_NOT_READ -location {uart.sv} -regexp {[nN]et 'reg2hw.status.*q' .* is not read from} \
-comment "don't need this data, only marking hwaccess as 'hrw' in order to get the .re signal"
waive -rules INPUT_NOT_READ -location {uart_core.sv} -regexp {Input port 'reg2hw.status.*' is not read from} \
-comment "don't need this data, only marking hwaccess as 'hrw' in order to get the .re signal"
waive -rules HIER_NET_NOT_READ -location {uart.sv} -regexp {[nN]et 'reg2hw.status.*re' .* is not read from} \
-comment "registers with multiple fields often have unused re's since they are duplicative"
waive -rules HIER_NET_NOT_READ -location {uart.sv} -regexp {Net 'reg2hw.*.qe.* is not read from} \
-comment "registers with multiple fields often have unused qe's since they are duplicative"
waive -rules NOT_READ -location {uart.sv} -regexp {Signal 'reg2hw.*.qe' is not read from} \
-comment "registers with multiple fields often have unused qe's since they are duplicative"
waive -rules INPUT_NOT_READ -location {uart_core.sv} -regexp {Input port 'reg2hw.*.qe' is not read from} \
-comment "registers with multiple fields often have unused qe's since they are duplicative"
waive -rules CONST_OUTPUT -location {uart.sv} -regexp {Output 'cio_tx_en_o' is driven by constant one} \
-comment "required output, always true"
waive -rules CONST_OUTPUT -location {uart_core.sv} -regexp {Output 'hw2reg.fifo_ctrl.*.(d|de)' is driven by constant} \
-comment "need .d/.de for some fields, not for others"
# async resets
waive -rules RESET_DRIVER -location {uart_core.sv} -regexp {'(tx|rx)_fifo_rst_n' is driven here, and used as an asynchronous reset} \
-comment "Async reset generation is required here"
waive -rules RESET_MUX -location {uart_core.sv} -regexp {Asynchronous reset '(tx|rx)_fifo_rst_n' is driven by a multiplexer} \
-comment "The MUX is needed to control the reset during scanmode (scanmode_i == 1)"
waive -rules UNREACHABLE -location {uart_core.sv} -msg {'break_st_q' is assigned to a non-x value within the default branch of a fully specified case statement} \
-comment "This is fine, lint tool doesn't seem to recognize the if-statements in the case-items."