forked from esl-epfl/obi_spi_slave
-
Notifications
You must be signed in to change notification settings - Fork 0
/
obi_spi_slave.vlt
13 lines (10 loc) · 1.01 KB
/
obi_spi_slave.vlt
1
2
3
4
5
6
7
8
9
10
11
12
// waiver file for obi_spi_slave
`verilator_config
lint_off -rule UNUSED -file "*/ip/obi_spi_slave/obi_spi_slave.sv" -match "Signal is not used: 'ctrl_data_rx_ready'*"
lint_off -rule UNUSED -file "*/ip/obi_spi_slave/obi_spi_slave.sv" -match "Signal is not used: 'ctrl_data_tx_valid'*"
lint_off -rule UNUSED -file "*/ip/obi_spi_slave/spi_slave_dc_fifo.sv" -match "Parameter is not used: 'BUFFER_DEPTH'*"
lint_off -rule UNUSED -file "*/ip/obi_spi_slave/spi_slave_controller.sv" -match "Parameter is not used: 'DUMMY_CYCLES'*"
lint_off -rule UNDRIVEN -file "*/core-v-mini-mcu/core_v_mini_mcu.sv" -match "Signal is not driven: 'spi_slave_resp'*"
lint_off -rule SYNCASYNCNET -file "*/system/x_heep_system.sv" -match "Signal flopped as both synchronous and async*"
lint_off -rule CASEINCOMPLETE -file "*/ip/obi_spi_slave/spi_slave_controller.sv" -match "Case values incompletely covered (example pattern 0x5)*"
lint_off -rule UNUSED -file "*/core-v-mini-mcu/ao_peripheral_subsystem.sv" -match "Signal is not used: 'spi_slave_miso_i'*"