mirror of
https://github.com/olofk/serv.git
synced 2025-04-19 19:37:06 -04:00
9e73e11d86
Some checks failed
Run compliance test suite / RISC-V Compliance Test (push) Has been cancelled
Formal verification / Run RISCV-formal verification suite (push) Has been cancelled
Run linter / Linter (push) Has been cancelled
Build GDS using OpenLANE and sky130 PDK / build-openlane-sky130 (push) Has been cancelled
12 lines
442 B
Text
12 lines
442 B
Text
`verilator_config
|
|
// Bits [1:0] in i_wb_rdt are not used at all
|
|
lint_off -rule UNUSED -file "*/serv_top.v" -lines 179
|
|
|
|
//Some bits in the instruction word are not used in serv_decode but it's easier
|
|
//to just send in the whole word than picking out bits
|
|
lint_off -rule UNUSED -file "*/serv_decode.v" -lines 8
|
|
|
|
//Some variables are only used when we connect an Extension with serv_decode
|
|
lint_off -rule UNUSED -file "*/serv_top.v" -lines 70
|
|
|
|
|