diff --git a/sim/questa/wally.do b/sim/questa/wally.do
index ba1000754..e72a5022a 100644
--- a/sim/questa/wally.do
+++ b/sim/questa/wally.do
@@ -197,7 +197,7 @@ if { ${GUI} } {
 run -all
 # power off -r /dut/core/*
 
-if {$coverage} {
+if {$coverage || $FunctCoverage} {
     set UCDB cov/${CFG}_${TESTSUITE}.ucdb
     echo "Saving coverage to ${UCDB}"
     do coverage-exclusions-rv64gc.do  # beware: this assumes testing the rv64gc configuration