diff options
Diffstat (limited to 'VexRiscv/scripts/regression')
| -rw-r--r-- | VexRiscv/scripts/regression/.gitignore | 3 | ||||
| -rw-r--r-- | VexRiscv/scripts/regression/makefile | 7 | ||||
| -rw-r--r-- | VexRiscv/scripts/regression/regression.mk | 48 | ||||
| -rw-r--r-- | VexRiscv/scripts/regression/verilator.mk | 20 |
4 files changed, 78 insertions, 0 deletions
diff --git a/VexRiscv/scripts/regression/.gitignore b/VexRiscv/scripts/regression/.gitignore new file mode 100644 index 0000000..67869c2 --- /dev/null +++ b/VexRiscv/scripts/regression/.gitignore @@ -0,0 +1,3 @@ +verilator* +verilator +!verilator.mk diff --git a/VexRiscv/scripts/regression/makefile b/VexRiscv/scripts/regression/makefile new file mode 100644 index 0000000..11ef24f --- /dev/null +++ b/VexRiscv/scripts/regression/makefile @@ -0,0 +1,7 @@ +.ONESHELL: + +include verilator.mk +include regression.mk + + + diff --git a/VexRiscv/scripts/regression/regression.mk b/VexRiscv/scripts/regression/regression.mk new file mode 100644 index 0000000..89e760d --- /dev/null +++ b/VexRiscv/scripts/regression/regression.mk @@ -0,0 +1,48 @@ +.ONESHELL: + + +regression_random: + cd ../.. + export VEXRISCV_REGRESSION_CONFIG_COUNT=4 + export VEXRISCV_REGRESSION_FREERTOS_COUNT=1 + export VEXRISCV_REGRESSION_ZEPHYR_COUNT=4 + export VEXRISCV_REGRESSION_THREAD_COUNT=1 + sbt "testOnly vexriscv.TestIndividualFeatures" + +regression_random_linux: + cd ../.. + export VEXRISCV_REGRESSION_CONFIG_COUNT=2 + export VEXRISCV_REGRESSION_CONFIG_LINUX_RATE=1.0 + export VEXRISCV_REGRESSION_CONFIG_SECURE_RATE=0.0 + export VEXRISCV_REGRESSION_FREERTOS_COUNT=1 + export VEXRISCV_REGRESSION_ZEPHYR_COUNT=2 + export VEXRISCV_REGRESSION_THREAD_COUNT=1 + sbt "testOnly vexriscv.TestIndividualFeatures" + + +regression_random_machine_os: + cd ../.. + export VEXRISCV_REGRESSION_CONFIG_COUNT=10 + export VEXRISCV_REGRESSION_CONFIG_LINUX_RATE=0.0 + export VEXRISCV_REGRESSION_CONFIG_MACHINE_OS_RATE=1.0 + export VEXRISCV_REGRESSION_CONFIG_SECURE_RATE=0.0 + export VEXRISCV_REGRESSION_FREERTOS_COUNT=1 + export VEXRISCV_REGRESSION_ZEPHYR_COUNT=2 + export VEXRISCV_REGRESSION_THREAD_COUNT=1 + sbt "testOnly vexriscv.TestIndividualFeatures" + +regression_random_baremetal: + cd ../.. + export VEXRISCV_REGRESSION_CONFIG_COUNT=30 + export VEXRISCV_REGRESSION_CONFIG_LINUX_RATE=0.0 + export VEXRISCV_REGRESSION_CONFIG_MACHINE_OS_RATE=0.0 + export VEXRISCV_REGRESSION_CONFIG_SECURE_RATE=0.0 + export VEXRISCV_REGRESSION_FREERTOS_COUNT=1 + export VEXRISCV_REGRESSION_ZEPHYR_COUNT=no + export VEXRISCV_REGRESSION_THREAD_COUNT=1 + sbt "testOnly vexriscv.TestIndividualFeatures" + + +regression_dhrystone: + cd ../.. + sbt "testOnly vexriscv.DhrystoneBench" diff --git a/VexRiscv/scripts/regression/verilator.mk b/VexRiscv/scripts/regression/verilator.mk new file mode 100644 index 0000000..b97b74f --- /dev/null +++ b/VexRiscv/scripts/regression/verilator.mk @@ -0,0 +1,20 @@ + +.ONESHELL: + +verilator/configure: + rm -rf verilator* + wget https://www.veripool.org/ftp/verilator-4.034.tgz + tar xvzf verilator*.t*gz + mv verilator-4.034 verilator + +verilator/Makefile: verilator/configure + cd verilator + ./configure + +verilator/bin/verilator_bin: verilator/Makefile + cd verilator + make -j$(shell nproc) + rm -rf src/obj_dbg + rm -rf src/obj_opt + +verilator_binary: verilator/bin/verilator_bin |