diff --git a/sim/regression-wally b/sim/regression-wally index 3a9744b74..11c75c090 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 ae7125934..7815e94fc 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