[prim] Waive unused EnableAlertTriggerSVA for verilator lint
Signed-off-by: Rupert Swarbrick <rswarbrick@lowrisc.org>
diff --git a/hw/ip/prim/lint/prim_double_lfsr.vlt b/hw/ip/prim/lint/prim_double_lfsr.vlt
new file mode 100644
index 0000000..fe7645d
--- /dev/null
+++ b/hw/ip/prim/lint/prim_double_lfsr.vlt
@@ -0,0 +1,10 @@
+// Copyright lowRISC contributors.
+// Licensed under the Apache License, Version 2.0, see LICENSE for details.
+// SPDX-License-Identifier: Apache-2.0
+
+`verilator_config
+
+// The EnableAlertTriggerSVA parameter is only used by modules bound
+// in for DV testing. Waive the warning that we don't read it.
+lint_off -rule UNUSED -file "*/rtl/prim_double_lfsr.sv" -match "*EnableAlertTriggerSVA*"
+
diff --git a/hw/ip/prim/prim_double_lfsr.core b/hw/ip/prim/prim_double_lfsr.core
index e6da155..5edcb08 100644
--- a/hw/ip/prim/prim_double_lfsr.core
+++ b/hw/ip/prim/prim_double_lfsr.core
@@ -19,6 +19,9 @@
depend:
# common waivers
- lowrisc:lint:common
+ files:
+ - lint/prim_double_lfsr.vlt
+ file_type: vlt
files_ascentlint_waiver:
depend:
