github-mirrors/cvw
1
0
Fork 0
mirror of https://github.com/openhwgroup/cvw.git synced 2025-04-22 12:57:23 -04:00
Code Issues Projects Releases Packages Wiki Activity Actions

Move RV_Assertions

Browse source
This commit is contained in:
Jordan Carlin 2025-02-09 14:39:19 -08:00
parent 5ce27b8a72
commit 9ca2c935f8
No known key found for this signature in database
2 changed files with 3 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

3
testbench/common/trace2riscvISACOV.sv
View file

@ -28,4 +28,7 @@ module trace2riscvISACOV(rvviTrace rvvi);
$display("0x%h: %s", rvvi.insn[0][0], disass);
end
end
// Check assertion coverage
`include "RV_Assertions.sv"
endmodule

2
testbench/testbench.sv
View file

@ -756,8 +756,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.