2024-09-07 19:05:48 +00:00
|
|
|
// coverage.svh
|
2024-09-07 13:14:50 +00:00
|
|
|
// David_Harris@hmc.edu 7 September 2024
|
|
|
|
|
// SPDX-License-Identifier: Apache-2.0 WITH SHL-2.1
|
|
|
|
|
|
|
|
|
|
// This file is needed in the config subdirectory for each config supporting coverage.
|
|
|
|
|
// It defines which extensions are enabled for that config.
|
|
|
|
|
|
2024-09-18 10:55:36 +00:00
|
|
|
`include "RV64I_coverage.svh"
|
|
|
|
|
`include "RV64M_coverage.svh"
|
2024-09-23 05:00:27 +00:00
|
|
|
`include "RV64F_coverage.svh"
|
2024-10-07 10:44:35 +00:00
|
|
|
// `include "RV64VM_coverage.svh"
|
|
|
|
|
// `include "RV64VM_PMP_coverage.svh"
|
|
|
|
|
// `include "RV64CBO_VM_coverage.svh"
|
|
|
|
|
// `include "RV64CBO_PMP_coverage.svh"
|
|
|
|
|
// `include "RV64Zicbom_coverage.svh"
|
2024-09-18 10:55:36 +00:00
|
|
|
`include "RV64Zicond_coverage.svh"
|
2024-09-23 05:00:27 +00:00
|
|
|
`include "RV64Zca_coverage.svh"
|
