// Copyright lowRISC contributors (OpenTitan project).
// Licensed under the Apache License, Version 2.0, see LICENSE for details.
// SPDX-License-Identifier: Apache-2.0

`verilator_config

// These parameters are only used in DV/FPV.
lint_off -rule UNUSED -file "*/rtl/prim_count.sv" -match "*EnableAlertTriggerSVA*"
lint_off -rule UNUSED -file "*/rtl/prim_count.sv" -match "*PossibleActions*"
