| // Copyright lowRISC contributors. |
| // Licensed under the Apache License, Version 2.0, see LICENSE for details. |
| // SPDX-License-Identifier: Apache-2.0 |
| |
| `include "pwrmgr_base_vseq.sv" |
| `include "pwrmgr_aborted_low_power_vseq.sv" |
| `include "pwrmgr_lowpower_wakeup_race_vseq.sv" |
| `include "pwrmgr_reset_vseq.sv" |
| `include "pwrmgr_smoke_vseq.sv" |
| `include "pwrmgr_stress_all_vseq.sv" |
| `include "pwrmgr_wakeup_reset_vseq.sv" |
| `include "pwrmgr_wakeup_vseq.sv" |
| `include "pwrmgr_common_vseq.sv" |
| `include "pwrmgr_repeat_wakeup_reset_vseq.sv" |
| `include "pwrmgr_sw_reset_vseq.sv" |
| `include "pwrmgr_esc_clk_rst_malfunc_vseq.sv" |
| `include "pwrmgr_sec_cm_ctrl_config_regwen_vseq.sv" |
| `include "pwrmgr_global_esc_vseq.sv" |
| `include "pwrmgr_glitch_vseq.sv" |
| `include "pwrmgr_disable_rom_integrity_check_vseq.sv" |
| `include "pwrmgr_reset_invalid_vseq.sv" |
| `include "pwrmgr_lowpower_invalid_vseq.sv" |
