`verilator_config
// Lint waivers (Verilator -Wall) for cv_x1_pro_axi + cv_x1_pro_subsystem (justifications in
// integration/lint/WAIVERS.md). Each waiver is restricted to one file and one message.
// W1: the published core file is named dut.v; the core is delivered unmodified.
lint_off -rule DECLFILENAME -file "*public/forge/source/dut.v" -match "*'cv_x1_pro_subsystem'*"
// W2: AXI4-Lite accesses are full-width; the byte offset [1:0] is ignored by design.
lint_off -rule UNUSEDSIGNAL -file "*integration/rtl/cv_x1_pro_axi.v" -match "*'s_axil_awaddr'[1:0]*"
lint_off -rule UNUSEDSIGNAL -file "*integration/rtl/cv_x1_pro_axi.v" -match "*'s_axil_araddr'[1:0]*"
// W3: AxPROT is accepted and ignored: every access is treated alike.
lint_off -rule UNUSEDSIGNAL -file "*integration/rtl/cv_x1_pro_axi.v" -match "*'s_axil_awprot'*"
lint_off -rule UNUSEDSIGNAL -file "*integration/rtl/cv_x1_pro_axi.v" -match "*'s_axil_arprot'*"