Github_Repos/cvw
1
0
Fork 1
mirror of https://github.com/openhwgroup/cvw synced 2025-02-11 06:05:49 +00:00
Code Issues Packages Projects Releases Wiki Activity

wsim runs a Questa sim

Browse Source
This commit is contained in:
David Harris 2024-04-05 19:08:14 -07:00
parent a1d3e5b15e
commit 7b56809323
3 changed files with 21 additions and 14 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

20
sim/questa/wally-batch.do
View File

@ -20,9 +20,10 @@
onbreak {resume} onbreak {resume}
set CONFIG ${1} set CFG ${1}
set TESTSUITE ${2} set TESTSUITE ${2}
set WKDIR wkdir/work_${CONFIG}_${TESTSUITE} set WKDIR wkdir/${CFG}_${TESTSUITE}
set WALLY $::env(WALLY)
# create library # create library
if [file exists ${WKDIR}] { if [file exists ${WKDIR}] {
@ -67,12 +68,16 @@ if {$argc >= 3} {
# "Extra checking for conflicts with always_comb done at vopt time" # "Extra checking for conflicts with always_comb done at vopt time"
# because vsim will run vopt # because vsim will run vopt
vlog -lint -work ${WKDIR} +incdir+../config/$1 +incdir+../config/deriv/$1 +incdir+../config/shared ../src/cvw.sv ../testbench/testbench.sv ../testbench/common/*.sv ../src/*/*.sv ../src/*/*/*.sv -suppress 2583 -suppress 7063,2596,13286 set CONFIG ${WALLY}/config
set SRC ${WALLY}/src
set TB ${WALLY}/testbench
vlog -lint -work ${WKDIR} +incdir+${CONFIG}/$1 +incdir+${CONFIG}/deriv/$1 +incdir+${CONFIG}/shared ${SRC}/cvw.sv ${TB}/testbench.sv ${TB}/common/*.sv ${SRC}/*/*.sv ${SRC}/*/*/*.sv -suppress 2583 -suppress 7063,2596,13286
# start and run simulation # start and run simulation
# remove +acc flag for faster sim during regressions if there is no need to access internal signals # remove +acc flag for faster sim during regressions if there is no need to access internal signals
vopt wkdir/work_${1}_${2}.testbench -work wkdir/work_${1}_${2} -G TEST=$2 ${configOptions} -o testbenchopt ${CoverageVoptArg} vopt wkdir/${CFG}_${TESTSUITE}.testbench -work ${WKDIR} -G TEST=$2 ${configOptions} -o testbenchopt ${CoverageVoptArg}
vsim -lib wkdir/work_${1}_${2} testbenchopt -fatal 7 -suppress 3829 ${CoverageVsimArg} vsim -lib ${WKDIR} testbenchopt -fatal 7 -suppress 3829 ${CoverageVsimArg}
# vsim -lib wkdir/work_${1}_${2} testbenchopt -fatal 7 -suppress 3829 # vsim -lib wkdir/work_${1}_${2} testbenchopt -fatal 7 -suppress 3829
# power add generates the logging necessary for said generation. # power add generates the logging necessary for said generation.
@ -82,9 +87,10 @@ run -all
if {$coverage} { if {$coverage} {
echo "Saving coverage to ${1}_${2}.ucdb" set UCDB cov/${CONFIG}_${TESTSUITE}.ucdb
echo "Saving coverage to ${UCDB}"
do coverage-exclusions-rv64gc.do # beware: this assumes testing the rv64gc configuration do coverage-exclusions-rv64gc.do # beware: this assumes testing the rv64gc configuration
coverage save -instance /testbench/dut/core cov/${1}_${2}.ucdb coverage save -instance /testbench/dut/core ${UCDB}
} }
# These aren't doing anything helpful # These aren't doing anything helpful

3
sim/wsim
View File

@ -11,6 +11,7 @@
# SPDX-License-Identifier: Apache-2.0 WITH SHL-2.1 # SPDX-License-Identifier: Apache-2.0 WITH SHL-2.1
import argparse import argparse
import os
# Read arguments # Read arguments
parser = argparse.ArgumentParser() parser = argparse.ArgumentParser()
@ -23,7 +24,7 @@ print("Config: " + args.config + " tests " + args.testsuite + " sim " + args.sim
if (args.sim == "questa"): if (args.sim == "questa"):
cmd = "do wally-batch.do " + args.config + " " + args.testsuite cmd = "do wally-batch.do " + args.config + " " + args.testsuite
system("vsim -c -do \"" + cmd + "\"") os.system("cd questa; vsim -c -do \"" + cmd + "\"")
elif (args.sim == "verilator"): elif (args.sim == "verilator"):
print("Running Verilator") print("Running Verilator")
elif (args.sim == "vcs"): elif (args.sim == "vcs"):

12
testbench/tests.vh
View File

@ -35,12 +35,12 @@
string tvpaths[] = '{ string tvpaths[] = '{
"$RISCV/imperas-riscv-tests/work/", "$RISCV/imperas-riscv-tests/work/",
"../tests/riscof/work/riscv-arch-test/", "../../tests/riscof/work/riscv-arch-test/",
"../tests/riscof/work/wally-riscv-arch-test/", "../../tests/riscof/work/wally-riscv-arch-test/",
"../benchmarks/coremark/work/", "../../benchmarks/coremark/work/",
"../addins/embench-iot/", "../../addins/embench-iot/",
"../tests/custom/work/", "../../tests/custom/work/",
"../tests/coverage/" "../../tests/coverage/"
}; };
string coverage64gc[] = '{ string coverage64gc[] = '{