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

// This file is used with -cm_fsmresetfilter to exclude FSM transitions that can only happen on
// reset.
// Format: signal=<reset_signal_name> case=TRUE/FALSE (indicates reset is high/low active)

signal=rst_n      case=FALSE
signal=rst_ni     case=FALSE
signal=rst_aon_ni case=FALSE
