Github_Repos/cvw
1
0
Fork 1
mirror of https://github.com/openhwgroup/cvw synced 2025-02-02 17:55:19 +00:00
Code Issues Packages Projects Releases Wiki Activity

Merge pull request #940 from ross144/main

Browse Source 
Merges Jordan's wally.do updates with the new fcov2 changes.
This commit is contained in:
Jordan Carlin 2024-08-30 12:35:11 -07:00 committed by GitHub
commit 0200b08418
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
2 changed files with 4 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
addins/cvw-arch-verif

@ -1 +1 @@
Subproject commit 9d54f3f8e902bb85db74305993d2fc03796b57bc Subproject commit 189974e497d7b8d2c08bb1d151b1ccdeaf3a64c9

4
sim/questa/wally.do
View File

@ -142,10 +142,12 @@ if {[lcheck lst "--fcov2"]} {
+define+IDV_INCLUDE_TRACE2COV \ +define+IDV_INCLUDE_TRACE2COV \
+define+COVER_BASE_RV32I \ +define+COVER_BASE_RV32I \
+define+COVER_LEVEL_DV_PR_EXT \ +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" set FCvopt "+TRACE2COV_ENABLE=1 +IDV_TRACE2COV=1"
# Uncomment various cover statements below to control which extensions get functional coverage # Uncomment various cover statements below to control which extensions get functional coverage
lappend FCdefineCOVER_EXTS "+define+COVER_RV32I" lappend FCdefineCOVER_EXTS "+define+COVER_RV32I"
lappend FCdefineCOVER_EXTS "+define+COVER_RV32M"
#lappend FCdefineCOVER_EXTS "+define+COVER_RV64M" #lappend FCdefineCOVER_EXTS "+define+COVER_RV64M"
#lappend FCdefineCOVER_EXTS "+define+COVER_RV64A" #lappend FCdefineCOVER_EXTS "+define+COVER_RV64A"
#lappend FCdefineCOVER_EXTS "+define+COVER_RV64F" #lappend FCdefineCOVER_EXTS "+define+COVER_RV64F"