From 3f47f4d665071dccf9046a9ce824fa642458d5d5 Mon Sep 17 00:00:00 2001 From: David Harris Date: Tue, 21 Mar 2023 06:58:23 -0700 Subject: [PATCH] Removed toggle coverage and generate recursive coverage report --- sim/regression-wally | 1 + sim/wally-batch.do | 3 ++- 2 files changed, 3 insertions(+), 1 deletion(-) diff --git a/sim/regression-wally b/sim/regression-wally index 3a9744b7..11c75c09 100755 --- a/sim/regression-wally +++ b/sim/regression-wally @@ -220,6 +220,7 @@ def main(): os.system('vcover merge -out cov/cov.ucdb cov/rv64gc_arch64i.ucdb cov/rv64gc*.ucdb -logfile cov/log') os.system('vcover report -details cov/cov.ucdb > cov/rv64gc_coverage_details.rpt') os.system('vcover report -below 100 cov/cov.ucdb > cov/rv64gc_coverage.rpt') + os.system('vcover report -recursive cov/cov.ucdb > cov/rv64gc_recursive.rpt') os.system('vcover report -details -threshH 100 -html cov/cov.ucdb') # Count the number of failures if num_fail: diff --git a/sim/wally-batch.do b/sim/wally-batch.do index ae712593..7815e94f 100644 --- a/sim/wally-batch.do +++ b/sim/wally-batch.do @@ -124,7 +124,8 @@ if {$2 eq "buildroot" || $2 eq "buildroot-checkpoint"} { # start and run simulation # remove +acc flag for faster sim during regressions if there is no need to access internal signals if {$coverage} { - vopt wkdir/work_${1}_${2}.testbench -work wkdir/work_${1}_${2} -G TEST=$2 -o testbenchopt +cover=sbectf +# vopt wkdir/work_${1}_${2}.testbench -work wkdir/work_${1}_${2} -G TEST=$2 -o testbenchopt +cover=sbectf + vopt wkdir/work_${1}_${2}.testbench -work wkdir/work_${1}_${2} -G TEST=$2 -o testbenchopt +cover=sbecf vsim -lib wkdir/work_${1}_${2} testbenchopt -fatal 7 -suppress 3829 -coverage } else { vopt wkdir/work_${1}_${2}.testbench -work wkdir/work_${1}_${2} -G TEST=$2 -o testbenchopt