| # Copyright lowRISC contributors. | |
| # Licensed under the Apache License, Version 2.0, see LICENSE for details. | |
| # SPDX-License-Identifier: Apache-2.0 | |
| # | |
| # waiver file for rstmgr | |
| # dedicated reset drivers / muxes | |
| set_reset_drivers prim_clock_mux2 prim_flop_2sync prim_flop | |
| set_clock_drivers prim_clock_buf | |
| waive -rules TERMINAL_STATE -location {rstmgr_cnsty_chk.sv} -regexp {Terminal state 'Error' is detected} \ | |
| -comment "Intentional terminal state" |