diff --git a/sim/questa/coverage b/sim/questa/coverage deleted file mode 100755 index 038253911..000000000 --- a/sim/questa/coverage +++ /dev/null @@ -1,2 +0,0 @@ -# recompile coverage tests and run coverage including them -pushd $WALLY/tests/coverage; make; popd; ./regression-wally -coverage diff --git a/sim/questa/sim-testfloat b/sim/questa/sim-testfloat deleted file mode 100755 index ee13f17c9..000000000 --- a/sim/questa/sim-testfloat +++ /dev/null @@ -1,14 +0,0 @@ - -# cvtint - test integer conversion unit (fcvtint) -# cvtfp - test floating-point conversion unit (fcvtfp) -# cmp - test comparison unit's LT, LE, EQ opperations (fcmp) -# add - test addition -# fma - test fma -# sub - test subtraction -# div - test division -# sqrt - test square root -# all - test everything - - -wsim fdqh_ieee_rv64gc $1 --tb testbench_fp --gui - diff --git a/sim/questa/sim-testfloat-batch b/sim/questa/sim-testfloat-batch deleted file mode 100755 index 52ad83c0f..000000000 --- a/sim/questa/sim-testfloat-batch +++ /dev/null @@ -1,17 +0,0 @@ -# Run TestFloat simulation - -# cvtint - test integer conversion unit (fcvtint) -# cvtfp - test floating-point conversion unit (fcvtfp) -# cmp - test comparison unit's LT, LE, EQ opperations (fcmp) -# add - test addition -# fma - test fma -# mul - test mult with fma -# sub - test subtraction -# div - test division -# sqrt - test square root -# all - test everything - -#vsim -c -do "do testfloat.do fdqh_ieee_rv64gc $1" -wsim fdqh_ieee_rv64gc $1 --tb testbench_fp -#wsim fdqh_ieee_rv64gc $1 --tb testbench_fp --gui - diff --git a/sim/questa/sim-testfloat-verilator b/sim/questa/sim-testfloat-verilator deleted file mode 100755 index 1bd0386b9..000000000 --- a/sim/questa/sim-testfloat-verilator +++ /dev/null @@ -1,23 +0,0 @@ -#!/bin/bash - -# sim-testfloat-verilator -# David_Harris@hmc.edu 3 April 2024 -# Run Testfloat simulations with Verilator -# SPDX-License-Identifier: Apache-2.0 WITH SHL-2.1 - -# cvtint - test integer conversion unit (fcvtint) -# cvtfp - test floating-point conversion unit (fcvtfp) -# cmp - test comparison unit's LT, LE, EQ opperations (fcmp) -# add - test addition -# fma - test fma -# mul - test mult with fma -# sub - test subtraction -# div - test division -# sqrt - test square root -# all - test everything - -wsim fdqh_ieee_rv64gc add --tb testbench_fp --sim verilator - -# Change TEST_SIZE to only test certain FP width -# values are QP, DP, SP, HP or all for all tests -#vsim -voptargs=+acc work.testbenchfp -GTEST=$2 -GTEST_SIZE="all" diff --git a/sim/questa/sim-wally b/sim/questa/sim-wally deleted file mode 100755 index 3359be0eb..000000000 --- a/sim/questa/sim-wally +++ /dev/null @@ -1,2 +0,0 @@ -wsim rv64gc arch64i --gui - diff --git a/sim/questa/sim-wally-batch b/sim/questa/sim-wally-batch deleted file mode 100755 index 7b3c69339..000000000 --- a/sim/questa/sim-wally-batch +++ /dev/null @@ -1 +0,0 @@ -wsim rv64gc arch64i