mirror of
https://github.com/openhwgroup/cvw.git
synced 2025-04-20 03:47:20 -04:00
Merge pull request #1256 from jordancarlin/fcov_lockstep
Refactor functional coverage
This commit is contained in:
David Harris
GitHub
commit
8f7a323991
9 changed files with 150 additions and 126 deletions
|
|
@ -318,12 +318,14 @@ def addTestsByDir(testDir, config, sim, coverStr, configs, lockstepMode=0, breke
|
|||
sim_logdir = f"{regressionDir}/{sim}/logs/"
|
||||
cmdPrefix = f"wsim --sim {sim} {coverStr} {'--lockstep' if lockstepMode else ''} {config}"
|
||||
# fcov/ccov only runs on WALLY-COV-ALL.elf files; other lockstep runs on all files
|
||||
fileStart = "WALLY-COV-ALL" if "cvw-arch-verif/tests" in testDir and "priv" not in testDir and (coverStr == "--fcov" or coverStr == "--ccov") else ""
|
||||
fileStart = "WALLY-COV-ALL" if "cvw-arch-verif/tests" in testDir and "priv" not in testDir else ""
|
||||
fileEnd = ".elf"
|
||||
if lockstepMode or coverStr == "--fcov":
|
||||
if lockstepMode:
|
||||
gs = "Mismatches : 0"
|
||||
elif brekerMode:
|
||||
gs="# trek: info: summary: Test PASSED"
|
||||
elif coverStr == "--fcov":
|
||||
gs = "Functional coverage test complete."
|
||||
else:
|
||||
gs = "Single Elf file tests are not signatured verified."
|
||||
for dirpath, _, filenames in os.walk(os.path.abspath(testDir)):
|
||||
|
|
|
|||
11
bin/wsim
11
bin/wsim
|
|
@ -27,7 +27,7 @@ def parseArgs():
|
|||
parser.add_argument("--tb", "-t", help="Testbench", choices=["testbench", "testbench_fp"], default="testbench")
|
||||
parser.add_argument("--gui", "-g", help="Simulate with GUI", action="store_true")
|
||||
parser.add_argument("--ccov", "-c", help="Code Coverage", action="store_true")
|
||||
parser.add_argument("--fcov", "-f", help="Functional Coverage with cvw-arch-verif, implies lockstep", action="store_true")
|
||||
parser.add_argument("--fcov", "-f", help="Functional Coverage with cvw-arch-verif", action="store_true")
|
||||
parser.add_argument("--args", "-a", help="Optional arguments passed to simulator via $value$plusargs", default="")
|
||||
parser.add_argument("--params", "-p", help="Optional top-level parameter overrides of the form param=value", default="")
|
||||
parser.add_argument("--define", "-d", help="Optional define macros passed to simulator", default="")
|
||||
|
|
@ -41,8 +41,8 @@ def validateArgs(args):
|
|||
if not args.testsuite and not args.elf:
|
||||
print("Error: Missing test suite or ELF file")
|
||||
sys.exit(1)
|
||||
if any([args.lockstep, args.lockstepverbose, args.fcov]) and not (args.testsuite.endswith(".elf") or args.elf) and args.testsuite != "buildroot":
|
||||
print(f"Invalid Options. Cannot run a testsuite, {args.testsuite} with lockstep or fcov. Must run a single elf or buildroot.")
|
||||
if (args.lockstep or args.lockstepverbose) and not (args.testsuite.endswith(".elf") or args.elf) and args.testsuite != "buildroot":
|
||||
print(f"Invalid Options. Cannot run a testsuite, {args.testsuite} with lockstep. Must run a single elf or buildroot.")
|
||||
sys.exit(1)
|
||||
elif any([args.gui, args.ccov, args.fcov, args.lockstep, args.lockstepverbose]) and args.sim not in ["questa", "vcs"]:
|
||||
print("Option only supported for Questa and VCS")
|
||||
|
|
@ -101,13 +101,11 @@ def prepSim(args, ElfFile):
|
|||
flagsList.append("--ccov")
|
||||
if args.fcov:
|
||||
flagsList.append("--fcov")
|
||||
defineList.extend(["+define+INCLUDE_TRACE2COV", "+define+IDV_INCLUDE_TRACE2COV", "+define+COVER_BASE_RV32I"]) # COVER_BASE_RV32I is just needed to keep riscvISACOV happy, but does not affect tests
|
||||
argsList.extend(["+TRACE2COV_ENABLE=1", "+IDV_TRACE2COV=1"])
|
||||
defineList.append("+define+FCOV")
|
||||
if args.gui:
|
||||
flagsList.append("--gui")
|
||||
if args.lockstep or args.lockstepverbose:
|
||||
flagsList.append("--lockstep")
|
||||
if args.lockstep or args.lockstepverbose or args.fcov:
|
||||
prefix = lockstepSetup(args)
|
||||
defineList.append("+define+USE_IMPERAS_DV")
|
||||
if args.config == "breker": # Requires a license for the breker tool. See tests/breker/README.md for details
|
||||
|
|
@ -154,7 +152,6 @@ def runQuesta(args, flags, prefix):
|
|||
args.params = fr'--params \"{args.params}\"'
|
||||
if args.define:
|
||||
args.define = fr'--define \"{args.define}\"'
|
||||
# fcov implies lockstep
|
||||
cmd = f"do wally.do {args.config} {args.testsuite} {args.tb} {args.args} {args.params} {args.define} {flags}"
|
||||
cmd = f'cd $WALLY/sim/questa; {prefix} vsim {"-c" if not args.gui else ""} -do "{cmd}"'
|
||||
print(f"Running Questa with command: {cmd}")
|
||||
|
|
|
|||
|
|
@ -6,60 +6,60 @@
|
|||
// It defines which extensions are enabled for that config.
|
||||
|
||||
// Define XLEN, used in covergroups
|
||||
`define XLEN32 1
|
||||
`define XLEN32
|
||||
|
||||
// Define relevant addresses
|
||||
`define ACCESS_FAULT_ADDRESS 32'h0000
|
||||
`define CLINT_BASE 64'h02000000
|
||||
|
||||
// Unprivileged extensions
|
||||
`include "I_coverage.svh"
|
||||
`include "M_coverage.svh"
|
||||
`include "F_coverage.svh"
|
||||
`include "D_coverage.svh"
|
||||
`include "Zba_coverage.svh"
|
||||
`include "Zbb_coverage.svh"
|
||||
`include "Zbc_coverage.svh"
|
||||
`include "Zbs_coverage.svh"
|
||||
`include "ZfaF_coverage.svh"
|
||||
`include "ZfaD_coverage.svh"
|
||||
`include "ZfaZfh_coverage.svh"
|
||||
`include "Zfh_coverage.svh"
|
||||
`include "ZfhD_coverage.svh"
|
||||
`define I_COVERAGE
|
||||
`define M_COVERAGE
|
||||
`define F_COVERAGE
|
||||
`define D_COVERAGE
|
||||
`define ZBA_COVERAGE
|
||||
`define ZBB_COVERAGE
|
||||
`define ZBC_COVERAGE
|
||||
`define ZBS_COVERAGE
|
||||
`define ZFA_F_COVERAGE
|
||||
`define ZFA_D_COVERAGE
|
||||
`define ZFA_ZFH_COVERAGE
|
||||
`define ZFA_ZFH_D_COVERAGE
|
||||
`define ZFH_COVERAGE
|
||||
`define ZFH_D_COVERAGE
|
||||
// Note: Zfhmin is a subset of Zfh, so usually only one or the other would be used. When Zfhmin and D are supported, ZfhD should also be enabled
|
||||
`include "Zfhmin_coverage.svh"
|
||||
`define ZFHMIN_COVERAGE
|
||||
`define ZFHMIN_D_COVERAGE
|
||||
// Note: Zmmul is a subset of M, so usually only one or the other would be used.
|
||||
`include "Zmmul_coverage.svh"
|
||||
`include "Zicond_coverage.svh"
|
||||
`include "Zca_coverage.svh"
|
||||
`include "Zcb_coverage.svh"
|
||||
`include "ZcbM_coverage.svh"
|
||||
`include "ZcbZbb_coverage.svh"
|
||||
`include "Zcf_coverage.svh"
|
||||
`include "Zcd_coverage.svh"
|
||||
`include "Zicsr_coverage.svh"
|
||||
`include "Zbkb_coverage.svh"
|
||||
`include "Zbkc_coverage.svh"
|
||||
`include "Zbkx_coverage.svh"
|
||||
`include "Zknd_coverage.svh"
|
||||
`include "Zkne_coverage.svh"
|
||||
`include "Zknh_coverage.svh"
|
||||
`include "Zaamo_coverage.svh"
|
||||
`include "Zalrsc_coverage.svh"
|
||||
`define ZMMUL_COVERAGE
|
||||
`define ZICOND_COVERAGE
|
||||
`define ZCA_COVERAGE
|
||||
`define ZCB_COVERAGE
|
||||
`define ZCB_M_COVERAGE
|
||||
`define ZCB_ZBB_COVERAGE
|
||||
`define ZCF_COVERAGE
|
||||
`define ZCD_COVERAGE
|
||||
`define ZICSR_COVERAGE
|
||||
`define ZBKB_COVERAGE
|
||||
`define ZBKC_COVERAGE
|
||||
`define ZBKX_COVERAGE
|
||||
`define ZKND_COVERAGE
|
||||
`define ZKNE_COVERAGE
|
||||
`define ZKNH_COVERAGE
|
||||
`define ZAAMO_COVERAGE
|
||||
`define ZALRSC_COVERAGE
|
||||
|
||||
// Privileged extensions
|
||||
`include "ZicsrM_coverage.svh"
|
||||
`include "ZicsrF_coverage.svh"
|
||||
`include "ZicsrU_coverage.svh"
|
||||
`include "RV32VM_coverage.svh"
|
||||
`include "RV32VM_PMP_coverage.svh"
|
||||
`include "EndianU_coverage.svh"
|
||||
`include "EndianM_coverage.svh"
|
||||
`include "EndianS_coverage.svh"
|
||||
`include "ExceptionsM_coverage.svh"
|
||||
`include "ExceptionsZc_coverage.svh"
|
||||
`include "ZicntrU_coverage.svh"
|
||||
`include "ZicntrS_coverage.svh"
|
||||
`include "ZicntrM_coverage.svh"
|
||||
`include "ZfaZfhD_coverage.svh"
|
||||
`include "ZfhminD_coverage.svh"
|
||||
`define RV32VM_COVERAGE
|
||||
`define RV32VM_PMP_COVERAGE
|
||||
`define ZICSRM_COVERAGE
|
||||
`define ZICSRF_COVERAGE
|
||||
`define ZICSRU_COVERAGE
|
||||
`define ENDIANU_COVERAGE
|
||||
`define ENDIANS_COVERAGE
|
||||
`define ENDIANM_COVERAGE
|
||||
`define EXCEPTIONSM_COVERAGE
|
||||
`define EXCEPTIONSZC_COVERAGE
|
||||
`define ZICNTRU_COVERAGE
|
||||
`define ZICNTRS_COVERAGE
|
||||
`define ZICNTRM_COVERAGE
|
||||
|
|
|
|||
|
|
@ -6,63 +6,63 @@
|
|||
// It defines which extensions are enabled for that config.
|
||||
|
||||
// Define XLEN, used in covergroups
|
||||
`define XLEN64 1
|
||||
`define XLEN64
|
||||
|
||||
// Define relevant addresses
|
||||
`define ACCESS_FAULT_ADDRESS 64'h00000000
|
||||
`define CLINT_BASE 64'h02000000
|
||||
|
||||
// Unprivileged extensions
|
||||
`include "I_coverage.svh"
|
||||
`include "M_coverage.svh"
|
||||
`include "F_coverage.svh"
|
||||
`include "D_coverage.svh"
|
||||
`include "Zba_coverage.svh"
|
||||
`include "Zbb_coverage.svh"
|
||||
`include "Zbc_coverage.svh"
|
||||
`include "Zbs_coverage.svh"
|
||||
`include "ZfaF_coverage.svh"
|
||||
`include "ZfaD_coverage.svh"
|
||||
`include "ZfaZfh_coverage.svh"
|
||||
`include "ZfhD_coverage.svh"
|
||||
`include "Zfh_coverage.svh"
|
||||
`define I_COVERAGE
|
||||
`define M_COVERAGE
|
||||
`define F_COVERAGE
|
||||
`define D_COVERAGE
|
||||
`define ZBA_COVERAGE
|
||||
`define ZBB_COVERAGE
|
||||
`define ZBC_COVERAGE
|
||||
`define ZBS_COVERAGE
|
||||
`define ZFA_F_COVERAGE
|
||||
`define ZFA_D_COVERAGE
|
||||
`define ZFA_ZFH_COVERAGE
|
||||
`define ZFA_ZFH_D_COVERAGE
|
||||
`define ZFH_COVERAGE
|
||||
`define ZFH_D_COVERAGE
|
||||
// Note: Zfhmin is a subset of Zfh, so usually only one or the other would be used. When Zfhmin and D are supported, ZfhD should also be enabled
|
||||
`include "Zfhmin_coverage.svh"
|
||||
`define ZFHMIN_COVERAGE
|
||||
`define ZFHMIN_D_COVERAGE
|
||||
// Note: Zmmul is a subset of M, so usually only one or the other would be used.
|
||||
`include "Zmmul_coverage.svh"
|
||||
`include "Zicond_coverage.svh"
|
||||
`include "Zca_coverage.svh"
|
||||
`include "Zcb_coverage.svh"
|
||||
`include "ZcbM_coverage.svh"
|
||||
`include "ZcbZbb_coverage.svh"
|
||||
`include "ZcbZba_coverage.svh"
|
||||
`include "Zcd_coverage.svh"
|
||||
`include "Zicsr_coverage.svh"
|
||||
`include "Zbkb_coverage.svh"
|
||||
`include "Zbkc_coverage.svh"
|
||||
`include "Zbkx_coverage.svh"
|
||||
`include "Zknd_coverage.svh"
|
||||
`include "Zkne_coverage.svh"
|
||||
`include "Zknh_coverage.svh"
|
||||
`include "Zaamo_coverage.svh"
|
||||
`include "Zalrsc_coverage.svh"
|
||||
`define ZMMUL_COVERAGE
|
||||
`define ZICOND_COVERAGE
|
||||
`define ZCA_COVERAGE
|
||||
`define ZCB_COVERAGE
|
||||
`define ZCB_M_COVERAGE
|
||||
`define ZCB_ZBB_COVERAGE
|
||||
`define ZCB_ZBA_COVERAGE
|
||||
`define ZCD_COVERAGE
|
||||
`define ZICSR_COVERAGE
|
||||
`define ZBKB_COVERAGE
|
||||
`define ZBKC_COVERAGE
|
||||
`define ZBKX_COVERAGE
|
||||
`define ZKND_COVERAGE
|
||||
`define ZKNE_COVERAGE
|
||||
`define ZKNH_COVERAGE
|
||||
`define ZAAMO_COVERAGE
|
||||
`define ZALRSC_COVERAGE
|
||||
|
||||
// Privileged extensions
|
||||
`include "RV64VM_coverage.svh"
|
||||
`include "ZicsrM_coverage.svh"
|
||||
`include "ZicsrF_coverage.svh"
|
||||
`include "ZicsrU_coverage.svh"
|
||||
`include "EndianU_coverage.svh"
|
||||
`include "EndianM_coverage.svh"
|
||||
`include "EndianS_coverage.svh"
|
||||
`include "ExceptionsM_coverage.svh"
|
||||
`include "ExceptionsZc_coverage.svh"
|
||||
`include "ZicntrU_coverage.svh"
|
||||
`include "ZicntrS_coverage.svh"
|
||||
`include "ZicntrM_coverage.svh"
|
||||
`include "ZfaZfhD_coverage.svh"
|
||||
`include "ZfhminD_coverage.svh"
|
||||
`define RV64VM_COVERAGE
|
||||
`define ZICSRM_COVERAGE
|
||||
`define ZICSRF_COVERAGE
|
||||
`define ZICSRU_COVERAGE
|
||||
`define ENDIANU_COVERAGE
|
||||
`define ENDIANS_COVERAGE
|
||||
`define ENDIANM_COVERAGE
|
||||
`define EXCEPTIONSM_COVERAGE
|
||||
`define EXCEPTIONSZC_COVERAGE
|
||||
`define ZICNTRU_COVERAGE
|
||||
`define ZICNTRS_COVERAGE
|
||||
`define ZICNTRM_COVERAGE
|
||||
|
||||
// `include "RV64VM_PMP_coverage.svh"
|
||||
// `include "RV64CBO_VM_coverage.svh"
|
||||
// `include "RV64CBO_PMP_coverage.svh"
|
||||
// `define RV64VM_PMP_COVERAGE
|
||||
// `define RV64CBO_VM_COVERAGE
|
||||
// `define RV64CBO_PMP_COVERAGE
|
||||
|
|
|
|||
8
setup.sh
8
setup.sh
|
|
@ -33,6 +33,13 @@ echo \$WALLY set to "${WALLY}"
|
|||
# utility functions in Wally repository
|
||||
export PATH=$WALLY/bin:$PATH
|
||||
|
||||
# Setup cvw-arch-verif paths
|
||||
if [ -e "${WALLY}"/addins/cvw-arch-verif/setup.sh ]; then
|
||||
source "${WALLY}"/addins/cvw-arch-verif/setup.sh
|
||||
else
|
||||
echo "setup.sh not found in \$WALLY/addins/cvw-arch-verif directory. Make sure you cloned the submodules."
|
||||
fi
|
||||
|
||||
# Verilator needs a larger core file size to simulate CORE-V Wally
|
||||
ulimit -c 300000
|
||||
|
||||
|
|
@ -41,6 +48,7 @@ if [ -e "${RISCV}"/site-setup.sh ]; then
|
|||
source "${RISCV}"/site-setup.sh
|
||||
else
|
||||
echo "site-setup.sh not found in \$RISCV directory. Rerun wally-toolchain-install.sh to automatically download it."
|
||||
exit 1
|
||||
fi
|
||||
|
||||
echo "setup done"
|
||||
|
|
|
|||
|
|
@ -1,4 +1,3 @@
|
|||
# Add Imperas simulator application instruction tracing
|
||||
--verbose --trace --tracechange --traceshowicount --tracemode -tracemem ASX --monitornetschange # --traceafter 300000000
|
||||
--verbose --trace --tracechange --traceshowicount --tracemode --tracemem XSL --monitornetschange # --traceafter 300000000
|
||||
--override cpu/debugflags=6 --override cpu/verbose=1
|
||||
--override cpu/show_c_prefix=T
|
||||
|
|
|
|||
|
|
@ -112,21 +112,20 @@ if {[lcheck lst "--ccov"]} {
|
|||
# if --fcov found set flag and remove from list
|
||||
if {[lcheck lst "--fcov"]} {
|
||||
set FunctCoverage 1
|
||||
set FCvlog "+incdir+${FCRVVI}/unpriv \
|
||||
+incdir+${FCRVVI}/priv +incdir+${FCRVVI}/rv64_priv +incdir+${FCRVVI}/rv32_priv \
|
||||
+incdir+${FCRVVI}/common +incdir+${FCRVVI} \
|
||||
+incdir+$env(WALLY)/addins/cvw-arch-verif/riscvISACOV/source"
|
||||
set FCvlog "-f ${FCRVVI}/cvw-arch-verif.f"
|
||||
}
|
||||
|
||||
# if --lockstep or --fcov found set flag and remove from list
|
||||
if {[lcheck lst "--lockstep"] || $FunctCoverage == 1} {
|
||||
# if --lockstep found set flag and remove from list
|
||||
if {[lcheck lst "--lockstep"]} {
|
||||
set IMPERAS_HOME $::env(IMPERAS_HOME)
|
||||
set lockstep 1
|
||||
set SVLib " -sv_lib ${IMPERAS_HOME}/lib/Linux64/ImperasLib/imperas.com/verification/riscv/1.0/model "
|
||||
set lockstepvlog "+incdir+${IMPERAS_HOME}/ImpPublic/include/host \
|
||||
+incdir+${IMPERAS_HOME}/ImpProprietary/include/host \
|
||||
${IMPERAS_HOME}/ImpPublic/source/host/rvvi/*.sv \
|
||||
${IMPERAS_HOME}/ImpPublic/source/host/rvvi/rvviApiPkg.sv \
|
||||
${IMPERAS_HOME}/ImpProprietary/source/host/idv/*.sv"
|
||||
set SVLib " -sv_lib ${IMPERAS_HOME}/lib/Linux64/ImperasLib/imperas.com/verification/riscv/1.0/model "
|
||||
# only add standard rvviTrace interface if not using the custom one from cvw-arch-verif
|
||||
if {!$FunctCoverage} {append lockstepvlog " ${IMPERAS_HOME}/ImpPublic/source/host/rvvi/rvviTrace.sv"}
|
||||
}
|
||||
|
||||
# if --breker found set flag and remove from list
|
||||
|
|
@ -184,7 +183,7 @@ if {$DEBUG > 0} {
|
|||
# because vsim will run vopt
|
||||
set INC_DIRS "+incdir+${CONFIG}/${CFG} +incdir+${CONFIG}/deriv/${CFG} +incdir+${CONFIG}/shared"
|
||||
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 -permissive -lint -work ${WKDIR} {*}${INC_DIRS} {*}${FCvlog} {*}${DefineArgs} {*}${lockstepvlog} {*}${brekervlog} {*}${SOURCES} -suppress 2282,2583,7053,7063,2596,13286,2605,2250
|
||||
vlog -permissive -lint -work ${WKDIR} {*}${INC_DIRS} {*}${DefineArgs} {*}${lockstepvlog} {*}${FCvlog} {*}${brekervlog} {*}${SOURCES} -suppress 2282,2583,7053,7063,2596,13286,2605,2250
|
||||
|
||||
# start and run simulation
|
||||
# remove +acc flag for faster sim during regressions if there is no need to access internal signals
|
||||
|
|
|
|||
|
|
@ -742,7 +742,7 @@ module wallyTracer import cvw::*; #(parameter cvw_t P) (rvviTrace rvvi);
|
|||
end
|
||||
|
||||
always_ff @(posedge clk) begin
|
||||
if(valid) begin
|
||||
if(valid) begin
|
||||
if(`STD_LOG) begin
|
||||
$fwrite(file, "%016x, %08x, %s\t\t", rvvi.pc_rdata[0][0], rvvi.insn[0][0], instrWName);
|
||||
for(index2 = 0; index2 < NUM_REGS; index2 += 1) begin
|
||||
|
|
@ -785,7 +785,16 @@ module wallyTracer import cvw::*; #(parameter cvw_t P) (rvviTrace rvvi);
|
|||
end
|
||||
end
|
||||
end
|
||||
if(HaltW) $finish;
|
||||
if(HaltW) begin
|
||||
`ifdef FCOV
|
||||
$display("Functional coverage test complete.");
|
||||
`endif
|
||||
`ifdef QUESTA
|
||||
$stop; // if this is changed to $finish for Questa, wally.do does not go to the next step to run coverage and terminates without allowing GUI debug
|
||||
`else
|
||||
$finish;
|
||||
`endif
|
||||
end
|
||||
end
|
||||
endmodule
|
||||
|
||||
|
|
|
|||
|
|
@ -58,6 +58,11 @@ module testbench;
|
|||
import idvPkg::*;
|
||||
import rvviApiPkg::*;
|
||||
import idvApiPkg::*;
|
||||
`define ENABLE_RVVI_TRACE
|
||||
`endif
|
||||
|
||||
`ifdef FCOV
|
||||
`define ENABLE_RVVI_TRACE
|
||||
`endif
|
||||
|
||||
`ifdef VERILATOR
|
||||
|
|
@ -432,6 +437,8 @@ module testbench;
|
|||
end else if (ElfFile != "none") begin
|
||||
`ifdef USE_TREK_DV
|
||||
$display("Breker test is done.");
|
||||
`elsif FCOV
|
||||
$display("Functional coverage test complete.");
|
||||
`else
|
||||
$display("Single Elf file tests are not signatured verified.");
|
||||
`endif
|
||||
|
|
@ -731,17 +738,22 @@ module testbench;
|
|||
end
|
||||
end
|
||||
|
||||
// RVVI trace for functional coverage and lockstep
|
||||
`ifdef ENABLE_RVVI_TRACE
|
||||
rvviTrace #(.XLEN(P.XLEN), .FLEN(P.FLEN)) rvvi();
|
||||
wallyTracer #(P) wallyTracer(rvvi);
|
||||
`endif
|
||||
|
||||
// Functional coverage
|
||||
`ifdef FCOV
|
||||
cvw_arch_verif cvw_arch_verif(rvvi);
|
||||
`endif
|
||||
|
||||
////////////////////////////////////////////////////////////////////////////////
|
||||
// ImperasDV Co-simulator hooks
|
||||
////////////////////////////////////////////////////////////////////////////////
|
||||
`ifdef USE_IMPERAS_DV
|
||||
|
||||
rvviTrace #(.XLEN(P.XLEN), .FLEN(P.FLEN)) rvvi();
|
||||
wallyTracer #(P) wallyTracer(rvvi);
|
||||
|
||||
trace2log idv_trace2log(rvvi);
|
||||
trace2cov idv_trace2cov(rvvi);
|
||||
|
||||
// enabling of comparison types
|
||||
trace2api #(.CMP_PC (1),
|
||||
.CMP_INS (1),
|
||||
|
|
@ -751,8 +763,6 @@ end
|
|||
.CMP_CSR (1)
|
||||
) idv_trace2api(rvvi);
|
||||
|
||||
`include "RV_Assertions.sv"
|
||||
|
||||
string filename;
|
||||
initial begin
|
||||
// imperasDV requires the elffile be defined at the begining of the simulation.
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue