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-11-14 16:14:22 +00:00
|
|
|
// Define XLEN, used in covergroups
|
|
|
|
|
`define XLEN32 1
|
|
|
|
|
|
2024-11-24 11:43:57 +00:00
|
|
|
// Define relevant addresses
|
|
|
|
|
`define ACCESS_FAULT_ADDRESS 32'h0000
|
2024-11-25 01:04:12 +00:00
|
|
|
`define CLINT_BASE 64'h02000000
|
2024-11-24 11:43:57 +00:00
|
|
|
|
2024-10-26 09:11:40 +00:00
|
|
|
// Unprivileged extensions
|
2024-12-12 02:37:01 +00:00
|
|
|
`include "I_coverage.svh"
|
|
|
|
|
`include "M_coverage.svh"
|
|
|
|
|
`include "F_coverage.svh"
|
|
|
|
|
`include "D_coverage.svh"
|
|
|
|
|
`include "Zba_coverage.svh"
|
|
|
|
|
`include "Zbb_coverage.svh"
|
|
|
|
|
`include "Zbc_coverage.svh"
|
|
|
|
|
`include "Zbs_coverage.svh"
|
|
|
|
|
`include "ZfaF_coverage.svh"
|
|
|
|
|
`include "ZfaD_coverage.svh"
|
|
|
|
|
`include "ZfaZfh_coverage.svh"
|
|
|
|
|
`include "Zfh_coverage.svh"
|
|
|
|
|
`include "ZfhD_coverage.svh"
|
2024-12-23 14:21:22 +00:00
|
|
|
// Note: Zfhmin is a subset of Zfh, so usually only one or the other would be used. When Zfhmin and D are supported, ZfhD should also be enabled
|
|
|
|
|
`include "Zfhmin_coverage.svh"
|
2024-12-30 18:50:19 +00:00
|
|
|
// Note: Zmmul is a subset of M, so usually only one or the other would be used.
|
|
|
|
|
`include "Zmmul_coverage.svh"
|
2024-12-12 02:37:01 +00:00
|
|
|
`include "Zicond_coverage.svh"
|
|
|
|
|
`include "Zca_coverage.svh"
|
|
|
|
|
`include "Zcb_coverage.svh"
|
|
|
|
|
`include "ZcbM_coverage.svh"
|
|
|
|
|
`include "ZcbZbb_coverage.svh"
|
|
|
|
|
`include "Zcf_coverage.svh"
|
|
|
|
|
`include "Zcd_coverage.svh"
|
|
|
|
|
`include "Zicsr_coverage.svh"
|
|
|
|
|
`include "Zbkb_coverage.svh"
|
|
|
|
|
`include "Zbkc_coverage.svh"
|
|
|
|
|
`include "Zbkx_coverage.svh"
|
|
|
|
|
`include "Zknd_coverage.svh"
|
|
|
|
|
`include "Zkne_coverage.svh"
|
|
|
|
|
`include "Zknh_coverage.svh"
|
|
|
|
|
`include "Zaamo_coverage.svh"
|
|
|
|
|
`include "Zalrsc_coverage.svh"
|
2024-10-26 09:11:40 +00:00
|
|
|
|
|
|
|
|
// Privileged extensions
|
|
|
|
|
`include "ZicsrM_coverage.svh"
|
2024-11-13 03:09:50 +00:00
|
|
|
`include "ZicsrF_coverage.svh"
|
2024-11-16 22:13:54 +00:00
|
|
|
`include "ZicsrU_coverage.svh"
|
2024-11-01 13:07:49 +00:00
|
|
|
`include "RV32VM_coverage.svh"
|
|
|
|
|
`include "RV32VM_PMP_coverage.svh"
|
2024-11-21 07:51:29 +00:00
|
|
|
`include "EndianU_coverage.svh"
|
|
|
|
|
`include "EndianM_coverage.svh"
|
2024-11-24 11:43:57 +00:00
|
|
|
`include "EndianS_coverage.svh"
|
2024-11-27 06:10:18 +00:00
|
|
|
`include "ExceptionsM_coverage.svh"
|
2024-11-29 22:49:48 +00:00
|
|
|
`include "ExceptionsZc_coverage.svh"
|
