cvw/config/rv32gc/coverage.svh

// coverage.svh
// 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.

`define COVER_RV32I
`define COVER_RV32M
`define COVER_RV32F
`include "coverage/RV32I_coverage.svh"
`include "coverage/RV32M_coverage.svh"
`include "coverage/RV32F_coverage.svh"
Added support for RV64GC coverage and fixed regression so that --fcov doesn't send --lockstep flag to wsim, which messed up wsim 2024-09-07 19:05:48 +00:00			`// coverage.svh`
Starting to define per-config coverage 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.`

Per config coverage initially working with RV32M in rv32gc config 2024-09-07 14:00:52 +00:00			`define COVER_RV32I
			`define COVER_RV32M
Added support for RV64GC coverage and fixed regression so that --fcov doesn't send --lockstep flag to wsim, which messed up wsim 2024-09-07 19:05:48 +00:00			`define COVER_RV32F
Starting to define per-config coverage 2024-09-07 13:26:54 +00:00			`include "coverage/RV32I_coverage.svh"
Per config coverage initially working with RV32M in rv32gc config 2024-09-07 14:00:52 +00:00			`include "coverage/RV32M_coverage.svh"
Added support for RV64GC coverage and fixed regression so that --fcov doesn't send --lockstep flag to wsim, which messed up wsim 2024-09-07 19:05:48 +00:00			`include "coverage/RV32F_coverage.svh"