// Copyright lowRISC contributors (OpenTitan project).
// Licensed under the Apache License, Version 2.0, see LICENSE for details.
// SPDX-License-Identifier: Apache-2.0

`include "${name}_base_vseq.sv"
`include "${name}_smoke_vseq.sv"
`include "${name}_common_vseq.sv"
