diff --git a/bin/regression-wally b/bin/regression-wally index ccbc249f9..0f8084dd9 100755 --- a/bin/regression-wally +++ b/bin/regression-wally @@ -411,8 +411,8 @@ if (args.ccov): # only run RV64GC tests on Questa in code coverage mode if (args.fp): addTests(tests64gc_fp, coveragesim) elif (args.fcov): # only run RV64GC tests on Questa in lockstep in functional coverage mode -# addLockstepTestsByDir(WALLY+"/tests/functcov/rv64/I", "rv64gc", coveragesim) addLockstepTestsByDir(WALLY+"/addins/cvw-arch-verif/tests/rv32/I", "rv32gc", coveragesim) +# addLockstepTestsByDir(WALLY+"/addins/cvw-arch-verif/tests/rv64/I", "rv64gc", coveragesim) elif (args.fcovrvvi): # only run RV64GC tests on Questa in rvvi coverage mode addTests(tests64gc_nofp, coveragesim) if (args.fp): diff --git a/examples/link/link.ld b/examples/link/link.ld index 174b0e6d8..d5539f7ef 100644 --- a/examples/link/link.ld +++ b/examples/link/link.ld @@ -7,7 +7,7 @@ SECTIONS .text : { *(.text.init) *(.text) } . = ALIGN(0x1000); .tohost : { *(.tohost) } - . = ALIGN(0x1000); + . = ALIGN(0x4000); .data : { *(.data) } .data.string : { *(.data.string)} . = ALIGN(0x1000); diff --git a/sim/questa/wally.do b/sim/questa/wally.do index 6f8c81b1b..1691b2b47 100644 --- a/sim/questa/wally.do +++ b/sim/questa/wally.do @@ -138,6 +138,7 @@ if {[lcheck lst "--fcovimp"]} { # if --fcov found set flag and remove from list if {[lcheck lst "--fcov"]} { set FunctCoverage 1 + # COVER_BASE_RV32I is just needed to keep riscvISACOV happy, but no longer affects tests set FCvlog "+define+INCLUDE_TRACE2COV \ +define+IDV_INCLUDE_TRACE2COV \ +define+COVER_BASE_RV32I \ @@ -192,7 +193,7 @@ if {$DEBUG > 0} { # suppress spurious warnngs about # "Extra checking for conflicts with always_comb done at vopt time" # because vsim will run vopt -set INC_DIRS "+incdir+${CONFIG}/${CFG} +incdir+${CONFIG}/deriv/${CFG} +incdir+${CONFIG}/shared +incdir+${FCRVVI} +incdir+${FCRVVI}/rv32 +incdir+${FCRVVI}/common +incdir+${FCRVVI}" +set INC_DIRS "+incdir+${CONFIG}/${CFG} +incdir+${CONFIG}/deriv/${CFG} +incdir+${CONFIG}/shared +incdir+${FCRVVI} +incdir+${FCRVVI}/rv32 +incdir+${FCRVVI}/rv64 +incdir+${FCRVVI}/common +incdir+${FCRVVI}" set SOURCES "${SRC}/cvw.sv ${TB}/${TESTBENCH}.sv ${TB}/common/*.sv ${SRC}/*/*.sv ${SRC}/*/*/*.sv ${WALLY}/addins/verilog-ethernet/*/*.sv ${WALLY}/addins/verilog-ethernet/*/*/*/*.sv" vlog -lint +nowarnRDGN -work ${WKDIR} {*}${INC_DIRS} {*}${FCvlog} {*}${FCdefineCOVER_EXTS} {*}${lockstepvlog} ${FCdefineRVVI_COVERAGE} {*}${SOURCES} -suppress 2244 -suppress 2282 -suppress 2583 -suppress 7063,2596,13286