Skip to content

Commit

Permalink
Fix Verilator build and lint
Browse files Browse the repository at this point in the history
- WIDTHEXPAND does not exist for Verilator 4.210
- The verilator waiver file does not exist
- Added some extra lint waivers
  • Loading branch information
marnovandermaas committed Feb 21, 2024
1 parent 54f773f commit 25fd0ec
Show file tree
Hide file tree
Showing 2 changed files with 4 additions and 6 deletions.
5 changes: 4 additions & 1 deletion dv/verilator/demo_system_verilator_lint.vlt
Original file line number Diff line number Diff line change
Expand Up @@ -25,4 +25,7 @@ lint_off -rule PINMISSING -file "*pulp_riscv_dbg*"
lint_off -rule UNUSED -file "*ibex_register_file_fpga*"

lint_off -rule UNOPTFLAT -file "*/lowrisc_prim_fifo_0/rtl/prim_fifo_async_simple.sv"
lint_off -rule WIDTHEXPAND -file "*pulp_riscv_dbg/src/dm_mem.sv"
lint_off -rule WIDTH -file "*pulp_riscv_dbg/src/dm_mem.sv"

lint_off -rule UNDRIVEN -file "*ibex_register_file_fpga.sv"
lint_off -rule IMPERFECTSCH -file "*prim_flop_2sync.sv"
5 changes: 0 additions & 5 deletions ibex_demo_system_core.core
Original file line number Diff line number Diff line change
Expand Up @@ -22,12 +22,7 @@ filesets:
- rtl/system/spi_top.sv
file_type: systemVerilogSource

files_lint_verilator:
files:
- lint/verilator_waiver.vlt: {file_type: vlt}

targets:
default:
filesets:
- tool_verilator ? (files_lint_verilator)
- files_rtl_demo_system

0 comments on commit 25fd0ec

Please sign in to comment.