blob: 12efdf6f10f075f6dd3b8eb5ff722f86a0dd0a3a [file] [log] [blame]
// Copyright lowRISC contributors.
// Licensed under the Apache License, Version 2.0, see LICENSE for details.
// SPDX-License-Identifier: Apache-2.0
`include "sysrst_ctrl_base_vseq.sv"
`include "sysrst_ctrl_smoke_vseq.sv"
`include "sysrst_ctrl_common_vseq.sv"
`include "sysrst_ctrl_in_out_inverted_vseq.sv"
`include "sysrst_ctrl_combo_detect_ec_rst_vseq.sv"
`include "sysrst_ctrl_combo_detect_ec_rst_with_pre_cond_vseq.sv"
`include "sysrst_ctrl_pin_access_vseq.sv"
`include "sysrst_ctrl_pin_override_vseq.sv"
`include "sysrst_ctrl_flash_wr_prot_vseq.sv"
`include "sysrst_ctrl_ec_pwr_on_rst_vseq.sv"
`include "sysrst_ctrl_auto_blk_key_output_vseq.sv"
`include "sysrst_ctrl_ultra_low_pwr_vseq.sv"
`include "sysrst_ctrl_combo_detect_vseq.sv"
`include "sysrst_ctrl_edge_detect_vseq.sv"
`include "sysrst_ctrl_stress_all_vseq.sv"