From 65e338e76240f40623735d17369dc282d518a5c2 Mon Sep 17 00:00:00 2001 From: Rose Thompson Date: Fri, 30 Aug 2024 12:31:26 -0700 Subject: [PATCH] Merges Jordan's wally.do updates with the new fcov2 changes. Updates cvw-arch-verif commit. --- addins/cvw-arch-verif | 2 +- sim/questa/wally.do | 4 +++- 2 files changed, 4 insertions(+), 2 deletions(-) diff --git a/addins/cvw-arch-verif b/addins/cvw-arch-verif index 9d54f3f8e..189974e49 160000 --- a/addins/cvw-arch-verif +++ b/addins/cvw-arch-verif @@ -1 +1 @@ -Subproject commit 9d54f3f8e902bb85db74305993d2fc03796b57bc +Subproject commit 189974e497d7b8d2c08bb1d151b1ccdeaf3a64c9 diff --git a/sim/questa/wally.do b/sim/questa/wally.do index 503fc710b..f1c432882 100644 --- a/sim/questa/wally.do +++ b/sim/questa/wally.do @@ -142,10 +142,12 @@ if {[lcheck lst "--fcov2"]} { +define+IDV_INCLUDE_TRACE2COV \ +define+COVER_BASE_RV32I \ +define+COVER_LEVEL_DV_PR_EXT \ - +incdir+$env(WALLY)/addins/riscvISACOV/source" + +incdir+$env(WALLY)/addins/riscvISACOV/source \ + +incdir+$env(WALLY)/addins/cvw-arch-verif/fcov/RV32" set FCvopt "+TRACE2COV_ENABLE=1 +IDV_TRACE2COV=1" # Uncomment various cover statements below to control which extensions get functional coverage lappend FCdefineCOVER_EXTS "+define+COVER_RV32I" + lappend FCdefineCOVER_EXTS "+define+COVER_RV32M" #lappend FCdefineCOVER_EXTS "+define+COVER_RV64M" #lappend FCdefineCOVER_EXTS "+define+COVER_RV64A" #lappend FCdefineCOVER_EXTS "+define+COVER_RV64F"