Github_Repos/cvw
1
0
Fork 1
mirror of https://github.com/openhwgroup/cvw synced 2025-02-11 06:05:49 +00:00
Code Issues Packages Projects Releases Wiki Activity

Restoring files

Browse Source
This commit is contained in:
Huda-10xe 2025-01-29 01:08:30 -08:00
parent b7dec993a7
commit 54fd684d94
3 changed files with 83 additions and 96 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

78
config/rv32gc/coverage.svh
View File

@ -13,44 +13,48 @@
`define CLINT_BASE 64'h02000000 `define CLINT_BASE 64'h02000000
// Unprivileged extensions // Unprivileged extensions
// `include "I_coverage.svh" `include "I_coverage.svh"
// `include "M_coverage.svh" `include "M_coverage.svh"
// `include "F_coverage.svh" `include "F_coverage.svh"
// `include "D_coverage.svh" `include "D_coverage.svh"
// `include "Zba_coverage.svh" `include "Zba_coverage.svh"
// `include "Zbb_coverage.svh" `include "Zbb_coverage.svh"
// `include "Zbc_coverage.svh" `include "Zbc_coverage.svh"
// `include "Zbs_coverage.svh" `include "Zbs_coverage.svh"
// `include "ZfaF_coverage.svh" `include "ZfaF_coverage.svh"
// `include "ZfaD_coverage.svh" `include "ZfaD_coverage.svh"
// `include "ZfaZfh_coverage.svh" `include "ZfaZfh_coverage.svh"
// `include "Zfh_coverage.svh" `include "Zfh_coverage.svh"
// `include "ZfhD_coverage.svh" `include "ZfhD_coverage.svh"
// `include "Zicond_coverage.svh" // 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 "Zca_coverage.svh" `include "Zfhmin_coverage.svh"
// `include "Zcb_coverage.svh" // Note: Zmmul is a subset of M, so usually only one or the other would be used.
// `include "ZcbM_coverage.svh" `include "Zmmul_coverage.svh"
// `include "ZcbZbb_coverage.svh" `include "Zicond_coverage.svh"
// `include "Zcf_coverage.svh" `include "Zca_coverage.svh"
// `include "Zcd_coverage.svh" `include "Zcb_coverage.svh"
// `include "Zicsr_coverage.svh" `include "ZcbM_coverage.svh"
// `include "Zbkb_coverage.svh" `include "ZcbZbb_coverage.svh"
// `include "Zbkc_coverage.svh" `include "Zcf_coverage.svh"
// `include "Zbkx_coverage.svh" `include "Zcd_coverage.svh"
// `include "Zknd_coverage.svh" `include "Zicsr_coverage.svh"
// `include "Zkne_coverage.svh" `include "Zbkb_coverage.svh"
// `include "Zknh_coverage.svh" `include "Zbkc_coverage.svh"
// `include "Zaamo_coverage.svh" `include "Zbkx_coverage.svh"
// `include "Zalrsc_coverage.svh" `include "Zknd_coverage.svh"
`include "Zkne_coverage.svh"
`include "Zknh_coverage.svh"
`include "Zaamo_coverage.svh"
`include "Zalrsc_coverage.svh"
// Privileged extensions // Privileged extensions
// `include "ZicsrM_coverage.svh" `include "ZicsrM_coverage.svh"
// `include "ZicsrF_coverage.svh" `include "ZicsrF_coverage.svh"
// `include "ZicsrU_coverage.svh" `include "ZicsrU_coverage.svh"
`include "RV32VM_coverage.svh" `include "RV32VM_coverage.svh"
`include "RV32VM_PMP_coverage.svh" `include "RV32VM_PMP_coverage.svh"
// `include "EndianU_coverage.svh" `include "EndianU_coverage.svh"
// `include "EndianM_coverage.svh" `include "EndianM_coverage.svh"
// `include "EndianS_coverage.svh" `include "EndianS_coverage.svh"
// `include "ExceptionsM_coverage.svh" `include "ExceptionsM_coverage.svh"
// `include "ExceptionsZc_coverage.svh" `include "ExceptionsZc_coverage.svh"

80
config/rv64gc/coverage.svh
View File

@ -13,46 +13,50 @@
`define CLINT_BASE 64'h02000000 `define CLINT_BASE 64'h02000000
// Unprivileged extensions // Unprivileged extensions
// `include "I_coverage.svh" `include "I_coverage.svh"
// `include "M_coverage.svh" `include "M_coverage.svh"
// `include "F_coverage.svh" `include "F_coverage.svh"
// `include "D_coverage.svh" `include "D_coverage.svh"
// `include "Zba_coverage.svh" `include "Zba_coverage.svh"
// `include "Zbb_coverage.svh" `include "Zbb_coverage.svh"
// `include "Zbc_coverage.svh" `include "Zbc_coverage.svh"
// `include "Zbs_coverage.svh" `include "Zbs_coverage.svh"
// `include "ZfaF_coverage.svh" `include "ZfaF_coverage.svh"
// `include "ZfaD_coverage.svh" `include "ZfaD_coverage.svh"
// `include "ZfaZfh_coverage.svh" `include "ZfaZfh_coverage.svh"
// `include "ZfhD_coverage.svh" `include "ZfhD_coverage.svh"
// `include "Zfh_coverage.svh" `include "Zfh_coverage.svh"
// `include "Zicond_coverage.svh" // 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 "Zca_coverage.svh" `include "Zfhmin_coverage.svh"
// `include "Zcb_coverage.svh" // Note: Zmmul is a subset of M, so usually only one or the other would be used.
// `include "ZcbM_coverage.svh" `include "Zmmul_coverage.svh"
// `include "ZcbZbb_coverage.svh" `include "Zicond_coverage.svh"
// `include "ZcbZba_coverage.svh" `include "Zca_coverage.svh"
// `include "Zcd_coverage.svh" `include "Zcb_coverage.svh"
// `include "Zicsr_coverage.svh" `include "ZcbM_coverage.svh"
// `include "Zbkb_coverage.svh" `include "ZcbZbb_coverage.svh"
// `include "Zbkc_coverage.svh" `include "ZcbZba_coverage.svh"
// `include "Zbkx_coverage.svh" `include "Zcd_coverage.svh"
// `include "Zknd_coverage.svh" `include "Zicsr_coverage.svh"
// `include "Zkne_coverage.svh" `include "Zbkb_coverage.svh"
// `include "Zknh_coverage.svh" `include "Zbkc_coverage.svh"
// `include "Zaamo_coverage.svh" `include "Zbkx_coverage.svh"
// `include "Zalrsc_coverage.svh" `include "Zknd_coverage.svh"
`include "Zkne_coverage.svh"
`include "Zknh_coverage.svh"
`include "Zaamo_coverage.svh"
`include "Zalrsc_coverage.svh"
// Privileged extensions // Privileged extensions
`include "RV64VM_coverage.svh" `include "RV64VM_coverage.svh"
// `include "ZicsrM_coverage.svh" `include "ZicsrM_coverage.svh"
// `include "ZicsrF_coverage.svh" `include "ZicsrF_coverage.svh"
// `include "ZicsrU_coverage.svh" `include "ZicsrU_coverage.svh"
// `include "EndianU_coverage.svh" `include "EndianU_coverage.svh"
// `include "EndianM_coverage.svh" `include "EndianM_coverage.svh"
// `include "EndianS_coverage.svh" `include "EndianS_coverage.svh"
// `include "ExceptionsM_coverage.svh" `include "ExceptionsM_coverage.svh"
// `include "ExceptionsZc_coverage.svh" `include "ExceptionsZc_coverage.svh"
`include "RV64VM_PMP_coverage.svh" // `include "RV64VM_PMP_coverage.svh"
// `include "RV64CBO_VM_coverage.svh" // `include "RV64CBO_VM_coverage.svh"
// `include "RV64CBO_PMP_coverage.svh" // `include "RV64CBO_PMP_coverage.svh"

21
sim/questa/wave.do
View File

@ -1,27 +1,6 @@
onerror {resume} onerror {resume}
quietly virtual signal -install /testbench/dut/core/ifu/bpred/bpred { /testbench/dut/core/ifu/bpred/bpred/PostSpillInstrRawF[11:7]} rd quietly virtual signal -install /testbench/dut/core/ifu/bpred/bpred { /testbench/dut/core/ifu/bpred/bpred/PostSpillInstrRawF[11:7]} rd
quietly WaveActivateNextPane {} 0 quietly WaveActivateNextPane {} 0
add wave -position insertpoint sim:/testbench/wallyTracer/PCF
add wave -position insertpoint sim:/testbench/wallyTracer/PCD
add wave -position insertpoint sim:/testbench/wallyTracer/PCE
add wave -position insertpoint sim:/testbench/wallyTracer/PCM
add wave -position insertpoint sim:/testbench/wallyTracer/PCW
add wave -position insertpoint sim:/testbench/wallyTracer/GatedStallW
add wave -position insertpoint sim:/testbench/dut/core/lsu/hptw/hptw/SelHPTW
add wave -position insertpoint sim:/testbench/wallyTracer/StallM
add wave -position insertpoint sim:/testbench/wallyTracer/StallW
add wave -position insertpoint sim:/testbench/wallyTracer/FlushW
add wave -position insertpoint sim:/testbench/wallyTracer/PTE_iF
add wave -position insertpoint sim:/testbench/wallyTracer/PTE_iD
add wave -position insertpoint sim:/testbench/wallyTracer/PTE_iE
add wave -position insertpoint sim:/testbench/wallyTracer/PTE_iM
add wave -position insertpoint sim:/testbench/wallyTracer/PTE_iW
add wave -position insertpoint sim:/testbench/wallyTracer/PageType_iM
add wave -position insertpoint sim:/testbench/wallyTracer/PageType_iW
add wave -position insertpoint sim:/testbench/wallyTracer/ExecuteAccessM
add wave -position insertpoint sim:/testbench/wallyTracer/ExecuteAccessW
add wave -position insertpoint sim:/testbench/rvvi/valid
add wave -position insertpoint sim:/testbench/rvvi/csr[0][0][834]
add wave -noupdate /testbench/clk add wave -noupdate /testbench/clk
add wave -noupdate /testbench/reset add wave -noupdate /testbench/reset
add wave -noupdate /testbench/memfilename add wave -noupdate /testbench/memfilename