| // Copyright lowRISC contributors. | |
| // 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 |