Skip to content

Commit

Permalink
Verilator width lint stopped for cheri_pkg
Browse files Browse the repository at this point in the history
These are introduced upstream and are relatively harmless.
  • Loading branch information
marnovandermaas committed Jan 23, 2025
1 parent f72d161 commit 6f279d7
Showing 1 changed file with 4 additions and 0 deletions.
4 changes: 4 additions & 0 deletions dv/verilator/sonata_verilator_lint.vlt
Original file line number Diff line number Diff line change
Expand Up @@ -42,6 +42,10 @@ lint_off -rule UNOPTFLAT -file "*ibex_load_store_unit.sv" -match "*Signal unopti
lint_off -rule UNOPTFLAT -file "*ibex_load_store_unit.sv" -match "*Signal unoptimizable: Circular combinational logic: '*.cpu_req_valid'"
lint_off -rule UNOPTFLAT -file "*cheri_tbre_wrapper.sv" -match "*Signal unoptimizable: Circular combinational logic: '*.mstr_arbit_comb'"

// Many width issues have been introduced upstream. These should be fixed there but are relatively harmless.
lint_off -rule WIDTHEXPAND -file "*/rtl/cheri_pkg.sv"
lint_off -rule WIDTHTRUNC -file "*/rtl/cheri_pkg.sv"

// Lint error for PULP debug module.
lint_off -rule UNUSED -file "*pulp_riscv_dbg*" -match "*not used*"
lint_off -rule IMPERFECTSCH -file "*pulp_riscv_dbg*"
Expand Down

0 comments on commit 6f279d7

Please sign in to comment.