| // 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*" | |