# Copyright lowRISC contributors.
# Licensed under the Apache License, Version 2.0, see LICENSE for details.
# SPDX-License-Identifier: Apache-2.0
#
# This is a list of files to be passed to Verible formatter
# by calling verible-format.sh

hw/ip/adc_ctrl/dv/tests/adc_ctrl_test_pkg.sv
hw/ip/adc_ctrl/dv/env/adc_ctrl_env_pkg.sv
hw/ip/gpio/dv/tests/gpio_test_pkg.sv
hw/dv/sv/alert_esc_agent/alert_esc_base_monitor.sv
hw/dv/sv/alert_esc_agent/alert_esc_probe_if.sv
hw/dv/sv/dv_utils/dv_test_status_pkg.sv
hw/ip/tlul/generic_dv/tests/xbar_test_pkg.sv
hw/ip/usbdev/rtl/usbdev_pkg.sv
hw/ip/adc_ctrl/dv/env/adc_ctrl_env_cfg.sv
hw/ip/adc_ctrl/dv/env/adc_ctrl_env_cov.sv
hw/ip/adc_ctrl/dv/env/adc_ctrl_virtual_sequencer.sv
hw/ip/adc_ctrl/dv/env/seq_lib/adc_ctrl_vseq_list.sv
hw/ip/adc_ctrl/dv/env/seq_lib/adc_ctrl_smoke_vseq.sv
hw/ip/adc_ctrl/dv/env/seq_lib/adc_ctrl_base_vseq.sv
hw/ip/adc_ctrl/rtl/adc_ctrl.sv
hw/ip/adc_ctrl/dv/tb.sv
hw/ip/adc_ctrl/dv/tests/adc_ctrl_base_test.sv
hw/ip/prim_xilinx/rtl/prim_xilinx_buf.sv
hw/ip/prim_xilinx/rtl/prim_xilinx_clock_gating.sv
hw/ip/prim_xilinx/rtl/prim_xilinx_flop.sv
hw/ip/prim_xilinx/rtl/prim_xilinx_clock_buf.sv
hw/ip/prim_xilinx/rtl/prim_xilinx_clock_mux2.sv
hw/ip/pwm/dv/env/pwm_env_cov.sv
hw/ip/pwm/dv/env/pwm_virtual_sequencer.sv
hw/ip/pwm/dv/env/seq_lib/pwm_base_vseq.sv
hw/ip/pwm/dv/tests/pwm_base_test.sv
hw/ip/pwm/dv/tests/pwm_test_pkg.sv
hw/ip/pwm/dv/env/pwm_env_pkg.sv
hw/ip/pwm/dv/env/seq_lib/pwm_smoke_vseq.sv
hw/ip/pwm/dv/env/seq_lib/pwm_vseq_list.sv
hw/ip/rstmgr/rtl/rstmgr_crash_info.sv
hw/ip/gpio/dv/env/gpio_env.sv
hw/ip/gpio/dv/env/gpio_env_cfg.sv
hw/ip/gpio/dv/env/seq_lib/gpio_intr_rand_pgm_vseq.sv
hw/ip/gpio/dv/tb/tb.sv
hw/ip/gpio/dv/tests/gpio_base_test.sv
hw/ip/gpio/dv/env/seq_lib/gpio_vseq_list.sv
hw/ip/pinmux/rtl/pinmux_jtag_buf.sv