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

add rv32a tests to regression

Browse Source
This commit is contained in:
bbracker 2022-03-02 17:54:55 +00:00
parent 7d7a4fefb3
commit 4fe35aadf2
3 changed files with 39 additions and 38 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
pipelined/regression/regression-wally
View File

@ -70,7 +70,7 @@ for test in tests64gc:
cmd="vsim > {} -c <<!\ndo wally-pipelined-batch.do rv64gc "+test+"\n!",
grepstr="All tests ran without failures")
configs.append(tc)
tests32gc = ["arch32i", "arch32priv", "arch32c", "arch32m", "arch32f", "imperas32i", "imperas32f", "imperas32p", "imperas32m", "imperas32a", "imperas32c", "wally32priv"] #, "imperas32mmu""wally32i",
tests32gc = ["arch32i", "arch32priv", "arch32c", "arch32m", "arch32f", "imperas32i", "imperas32f", "imperas32p", "imperas32m", "wally32a", "imperas32c", "wally32priv"] #, "imperas32mmu""wally32i",
for test in tests32gc:
tc = TestCase(
name=test,

2
pipelined/testbench/testbench.sv
View File

@ -114,7 +114,7 @@ logic [3:0] dummy;
// "imperas32mmu": if (`VIRTMEM_SUPPORTED) tests = imperas32mmu;
"imperas32f": if (`F_SUPPORTED) tests = imperas32f;
"imperas32m": if (`M_SUPPORTED) tests = imperas32m;
"imperas32a": if (`A_SUPPORTED) tests = imperas32a;
"wally32a": if (`A_SUPPORTED) tests = wally32a;
"imperas32c": if (`C_SUPPORTED) tests = imperas32c;
else tests = imperas32iNOc;
"wally32i": tests = wally32i; // *** redo

73
pipelined/testbench/tests.vh
View File

@ -50,10 +50,10 @@ string tvpaths[] = '{
"rv64i_m/privilege/WALLY-LRSC", "2410"
};
string imperas32a[] = '{
`MYIMPERASTEST,
"rv32a/WALLY-AMO", "2110",
"rv32a/WALLY-LRSC", "2110"
string wally32a[] = '{
`WALLYTEST,
"rv32i_m/privilege/WALLY-AMO", "2310",
"rv32i_m/privilege/WALLY-LRSC", "2310"
};
// *** restore CSR tests from Imperas old
@ -1450,29 +1450,30 @@ string imperas32f[] = '{
string wally64priv[] = '{
`WALLYTEST,
"rv64i_m/privilege/WALLY-MMU-SV39", "40A0",
"rv64i_m/privilege/WALLY-MMU-SV48", "40A0",
"rv64i_m/privilege/WALLY-PMP", "40A0",
"rv64i_m/privilege/WALLY-PMA", "40A0",
"rv64i_m/privilege/WALLY-minfo-01", "40A0",
"rv64i_m/privilege/WALLY-CSR-permission-s-01", "50A0",
"rv64i_m/privilege/WALLY-CSR-permission-u-01", "50A0",
"rv64i_m/privilege/WALLY-misa-01", "40A0",
"rv64i_m/privilege/WALLY-scratch-01", "40A0",
"rv64i_m/privilege/WALLY-sscratch-s-01", "40A0",
"rv64i_m/privilege/WALLY-MSTATUS", "2090",
"rv64i_m/privilege/WALLY-MCAUSE", "3090",
"rv64i_m/privilege/WALLY-SCAUSE", "2090",
"rv64i_m/privilege/WALLY-UCAUSE", "2090",
"rv64i_m/privilege/WALLY-MTVEC", "2090",
"rv64i_m/privilege/WALLY-STVEC", "2090",
"rv64i_m/privilege/WALLY-MEDELEG", "4090",
"rv64i_m/privilege/WALLY-MARCHID", "4090",
"rv64i_m/privilege/WALLY-MHARTID", "4090",
"rv64i_m/privilege/WALLY-MIMPID", "4090",
"rv64i_m/privilege/WALLY-MVENDORID", "4090",
"rv64i_m/privilege/WALLY-CSR-PERMISSIONS-M", "5090",
"rv64i_m/privilege/WALLY-CSR-PERMISSIONS-S", "3090"
"rv64i_m/privilege/WALLY-CSR-permission-s-01", "004080",
"rv64i_m/privilege/WALLY-CSR-PERMISSIONS-M", "005070",
"rv64i_m/privilege/WALLY-CSR-PERMISSIONS-S", "003070",
"rv64i_m/privilege/WALLY-CSR-permission-u-01", "005080",
"rv64i_m/privilege/WALLY-MARCHID", "003070",
"rv64i_m/privilege/WALLY-MCAUSE", "003070",
"rv64i_m/privilege/WALLY-MEDELEG", "003070",
"rv64i_m/privilege/WALLY-MHARTID", "003070",
"rv64i_m/privilege/WALLY-MIMPID", "003070",
"rv64i_m/privilege/WALLY-minfo-01", "004080",
"rv64i_m/privilege/WALLY-misa-01", "004080",
"rv64i_m/privilege/WALLY-MMU-SV39", "004080",
"rv64i_m/privilege/WALLY-MMU-SV48", "004080",
"rv64i_m/privilege/WALLY-MSTATUS", "002070",
"rv64i_m/privilege/WALLY-MTVEC", "002070",
"rv64i_m/privilege/WALLY-MVENDORID", "003070",
"rv64i_m/privilege/WALLY-PERIPH", "0020f0",
"rv64i_m/privilege/WALLY-PMA", "004080",
"rv64i_m/privilege/WALLY-PMP", "004080",
"rv64i_m/privilege/WALLY-SCAUSE", "002070",
"rv64i_m/privilege/WALLY-scratch-01", "004080",
"rv64i_m/privilege/WALLY-sscratch-s-01", "004080",
"rv64i_m/privilege/WALLY-STVEC", "002070",
"rv64i_m/privilege/WALLY-UCAUSE", "002070"
};
string wally64periph[] = '{
@ -1532,15 +1533,15 @@ string wally32i[] = '{
string wally32priv[] = '{
`WALLYTEST,
"rv32i_m/privilege/WALLY-MMU-SV32", "4080",
"rv32i_m/privilege/WALLY-PMP", "4080",
"rv32i_m/privilege/WALLY-PMA", "4080",
"rv32i_m/privilege/WALLY-CSR-permission-s-01", "5080",
"rv32i_m/privilege/WALLY-CSR-permission-u-01", "5080",
"rv32i_m/privilege/WALLY-minfo-01", "4080",
"rv32i_m/privilege/WALLY-misa-01", "4080",
"rv32i_m/privilege/WALLY-scratch-01", "4080",
"rv32i_m/privilege/WALLY-sscratch-s-01", "4080"
"rv32i_m/privilege/WALLY-CSR-permission-s-01", "004060",
"rv32i_m/privilege/WALLY-CSR-permission-u-01", "004060",
"rv32i_m/privilege/WALLY-minfo-01", "004060",
"rv32i_m/privilege/WALLY-misa-01", "004060",
"rv32i_m/privilege/WALLY-MMU-SV32", "004060",
"rv32i_m/privilege/WALLY-PMA", "004060",
"rv32i_m/privilege/WALLY-PMP", "004060",
"rv32i_m/privilege/WALLY-scratch-01", "004060",
"rv32i_m/privilege/WALLY-sscratch-s-01", "004060"
};
string wally32periph[] = '{