Xavi/cvw
1
0
Fork 0
forked from Github_Repos/cvw
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Merge pull request #258 from liamchalk00/main

Browse Source 
Add test cases for pmpcfg.S
This commit is contained in:
David Harris 2023-04-19 04:52:59 -07:00 committed by GitHub
commit c36d3cb32b
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
3 changed files with 14 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
testbench/tests.vh
View File

@ -53,7 +53,6 @@ string tvpaths[] = '{
"lsu",
"vm64check",
"pmp",
"pmpcfg",
"pmpcfg1",
"pmpcfg2",

2
tests/coverage/pmpcfg.S
View File

@ -36,4 +36,6 @@ main:
li t0, 0x8800
csrw pmpcfg0, t0
j done

12
tests/coverage/pmpcfg2.S Normal file
View File

@ -0,0 +1,12 @@
// pmpcfg part 3
// Kevin Wan, kewan@hmc.edu, 4/18/2023
// locks each pmpXcfg bit field in order, from X = 15 to X = 0, with the A[1:0] field set to TOR.
// See the next part in pmpcfg1.S
#include "WALLY-init-lib.h"
main:
li t0, 0x80
csrw pmpcfg0, t0
j done