github-mirrors/cvw
1
0
Fork 0
mirror of https://github.com/openhwgroup/cvw.git synced 2025-04-22 21:08:08 -04:00
Code Issues Projects Releases Packages Wiki Activity Actions

Starting to define per-config coverage

Browse source
This commit is contained in:
David Harris 2024-09-07 06:14:50 -07:00
parent ae225b7a7a
commit ecb444697c
2 changed files with 10 additions and 6 deletions
Download patch file Download diff file Expand all files Collapse all files

10
config/rv32gc/coverage_extensions.svh Normal file
View file

@ -0,0 +1,10 @@
// coverage_extensions.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_BASE_RV32I
`include "coverage/RV32I_coverage.svh"

6
sim/questa/wally.do
View file

@ -150,12 +150,6 @@ if {[lcheck lst "--fcov"]} {
# Uncomment various cover statements below to control which extensions get functional coverage
lappend FCdefineCOVER_EXTS "+define+COVER_RV32I"
lappend FCdefineCOVER_EXTS "+define+COVER_RV32M"
#lappend FCdefineCOVER_EXTS "+define+COVER_RV64M"
#lappend FCdefineCOVER_EXTS "+define+COVER_RV64A"
#lappend FCdefineCOVER_EXTS "+define+COVER_RV64F"
#lappend FCdefineCOVER_EXTS "+define+COVER_RV64D"
#lappend FCdefineCOVER_EXTS "+define+COVER_RV64ZICSR"
#lappend FCdefineCOVER_EXTS "+define+COVER_RV64C"
}
# if --lockstep or --fcov found set flag and remove from list