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

added working tests to test list, updated regression for new configs

Browse Source
This commit is contained in:
Kip Macsai-Goren 2022-04-25 19:18:15 +00:00
parent 8ad920fcb3
commit 0f4ca62157
2 changed files with 11 additions and 10 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
pipelined/regression/regression-wally
View File

@ -80,20 +80,20 @@ for test in tests32gc:
configs.append(tc)
tests64ia = ["wally64priv"]
for test in tests64ia:
tests64i = ["wally64priv"]
for test in tests64i:
tc = TestCase(
name=test,
variant="rv64ia",
variant="rv64i",
cmd="vsim > {} -c <<!\ndo wally-pipelined-batch.do rv64ia "+test+"\n!",
grepstr="All tests ran without failures")
configs.append(tc)
tests32ia = ["wally32priv"]
for test in tests32ia:
tests32i = ["wally32priv"]
for test in tests32i:
tc = TestCase(
name=test,
variant="rv32ia",
variant="rv32i",
cmd="vsim > {} -c <<!\ndo wally-pipelined-batch.do rv32ia "+test+"\n!",
grepstr="All tests ran without failures")
configs.append(tc)

9
pipelined/testbench/tests.vh
View File

@ -47,7 +47,8 @@ string tvpaths[] = '{
string wally64a[] = '{
`WALLYTEST,
"rv64i_m/privilege/WALLY-AMO", "2210",
"rv64i_m/privilege/WALLY-LRSC", "2410"
"rv64i_m/privilege/WALLY-LRSC", "2410",
"rv64i_m/privilege/WALLY-status-fp-enabled-01", "50a0"
};
string wally32a[] = '{
@ -1479,10 +1480,10 @@ string imperas32f[] = '{
"rv64i_m/privilege/WALLY-stvec-01", "0050a0",
"rv64i_m/privilege/WALLY-PIE-stack-01", "0050a0",
"rv64i_m/privilege/WALLY-PIE-stack-s-01", "0050a0",
"rv64i_m/privilege/WALLY-trap-sret-01", "0050a0"
"rv64i_m/privilege/WALLY-trap-sret-01", "0050a0",
// "rv64i_m/privilege/WALLY-status-tw-01", "0050a0",
// "rv64i_m/privilege/WALLY-WFI-01", "0050a0",
// "rv64i_m/privilege/WALLY-status-fp-01", "0050a0"
"rv64i_m/privilege/WALLY-WFI-01", "0050a0",
"rv64i_m/privilege/WALLY-status-fp-disabled-01", "50a0"
// "rv64i_m/privilege/WALLY-STVEC", "002090",
// "rv64i_m/privilege/WALLY-UCAUSE", "002090",