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

Merge pull request #1266 from 10x-Engineers/rvvi_setup

Browse Source 
RISC-V Assertions
This commit is contained in:
David Harris 2025-02-07 06:21:07 -08:00 committed by GitHub
commit 9e3d4d76b9
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
1 changed files with 2 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
testbench/testbench.sv
View File

@ -751,6 +751,8 @@ end
.CMP_CSR (1) .CMP_CSR (1)
) idv_trace2api(rvvi); ) idv_trace2api(rvvi);
`include "RV_Assertions.sv"
string filename; string filename;
initial begin initial begin
// imperasDV requires the elffile be defined at the begining of the simulation. // imperasDV requires the elffile be defined at the begining of the simulation.