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

Added support for RV64GC coverage and fixed regression so that --fcov doesn't send --lockstep flag to wsim, which messed up wsim

Browse source
This commit is contained in:
David Harris 2024-09-07 12:05:48 -07:00
parent de26b7b6a7
commit f36eb6f73d
3 changed files with 20 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

5
bin/regression-wally
View file

@ -292,7 +292,10 @@ def addTests(tests, sim):
def addLockstepTestsByDir(dir, config, sim):
sim_logdir = WALLY+ "/sim/" + sim + "/logs/"
cmdPrefix="wsim --lockstep --sim " + sim + " " + coverStr + " " + config
if (coverStr != ""): # use --fcov in place of --lockstep
cmdPrefix="wsim --sim " + sim + " " + coverStr + " " + config
else:
cmdPrefix="wsim --lockstep --sim " + sim + " " + config
if (os.path.isdir(dir)):
for dirpath, dirnames, filenames in os.walk(os.path.abspath(dir)):
for file in filenames:

4
config/rv32gc/coverage_extensions.svh → config/rv32gc/coverage.svh
View file

@ -1,4 +1,4 @@
// coverage_extensions.svh
// coverage.svh
// David_Harris@hmc.edu 7 September 2024
// SPDX-License-Identifier: Apache-2.0 WITH SHL-2.1
@ -7,5 +7,7 @@
`define COVER_RV32I
`define COVER_RV32M
`define COVER_RV32F
`include "coverage/RV32I_coverage.svh"
`include "coverage/RV32M_coverage.svh"
`include "coverage/RV32F_coverage.svh"

13
config/rv64gc/coverage.svh Normal file
View file

@ -0,0 +1,13 @@
// 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_RV64I
`define COVER_RV64M
`define COVER_RV64F
`include "coverage/RV64I_coverage.svh"
`include "coverage/RV64M_coverage.svh"
`include "coverage/RV64F_coverage.svh"