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 #380 from davidharrishmc/dev

Browse Source 
Improved CSRU coverage with priv.S
This commit is contained in:
Ross Thompson 2023-08-20 19:42:58 -05:00 committed by GitHub
commit 3aa96ef76e
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
2 changed files with 4 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
testbench/tests.vh
View File

@ -44,10 +44,10 @@ string tvpaths[] = '{
string coverage64gc[] = '{ string coverage64gc[] = '{
`COVERAGE, `COVERAGE,
"priv",
"ieu", "ieu",
"ebu", "ebu",
"csrwrites", "csrwrites",
"priv",
"ifu", "ifu",
"fpu", "fpu",
"lsu", "lsu",

3
tests/coverage/priv.S
View File

@ -92,6 +92,9 @@ sretdone:
# writes to FCSR # writes to FCSR
li t0, 1 li t0, 1
slli t0, t0, 13
csrs mstatus, t0
li t0, 1
csrw fcsr, t0 csrw fcsr, t0
# switch to supervisor mode # switch to supervisor mode