From c74fec7fa63ccde217a3b05469c4dad437a2af69 Mon Sep 17 00:00:00 2001 From: David Harris Date: Thu, 2 Jun 2022 15:05:29 -0700 Subject: [PATCH] renamed sim-fp to sim-testfloat --- pipelined/regression/sim-fp64 | 1 - pipelined/regression/sim-fp64-batch | 3 -- .../regression/{sim-fp => sim-testfloat} | 2 +- .../{sim-fp-batch => sim-testfloat-batch} | 2 +- pipelined/regression/{fp.do => testfloat.do} | 0 pipelined/regression/wally-fp64-batch.do | 50 ----------------- pipelined/regression/wally-fp64.do | 54 ------------------- 7 files changed, 2 insertions(+), 110 deletions(-) delete mode 100755 pipelined/regression/sim-fp64 delete mode 100755 pipelined/regression/sim-fp64-batch rename pipelined/regression/{sim-fp => sim-testfloat} (88%) rename pipelined/regression/{sim-fp-batch => sim-testfloat-batch} (87%) rename pipelined/regression/{fp.do => testfloat.do} (100%) delete mode 100644 pipelined/regression/wally-fp64-batch.do delete mode 100644 pipelined/regression/wally-fp64.do diff --git a/pipelined/regression/sim-fp64 b/pipelined/regression/sim-fp64 deleted file mode 100755 index b6b8ba5c..00000000 --- a/pipelined/regression/sim-fp64 +++ /dev/null @@ -1 +0,0 @@ -vsim -do wally-fp64.do diff --git a/pipelined/regression/sim-fp64-batch b/pipelined/regression/sim-fp64-batch deleted file mode 100755 index 226d0586..00000000 --- a/pipelined/regression/sim-fp64-batch +++ /dev/null @@ -1,3 +0,0 @@ -vsim -c < -# Example: do wally-pipelined-batch.do rv32ic imperas-32i - -# Use this wally-pipelined-batch.do file to run this example. -# Either bring up ModelSim and type the following at the "ModelSim>" prompt: -# do wally-pipelined-batch.do -# or, to run from a shell, type the following at the shell prompt: -# vsim -do wally-pipelined-batch.do -c -# (omit the "-c" to see the GUI while running from the shell) - -onbreak {resume} - -# create library -if [file exists work_${1}_${2}] { - vdel -lib work_${1}_${2} -all -} -vlib work_${1}_${2} - -# compile source files -# suppress spurious warnngs about -# "Extra checking for conflicts with always_comb done at vopt time" -# because vsim will run vopt - -# default to config/rv64ic, but allow this to be overridden at the command line. For example: -# do wally-pipelined-batch.do ../config/rv32ic rv32ic -vlog -work work_${1}_${2} +incdir+../config/$1 +incdir+../config/shared ../testbench/testbench-f64.sv ../testbench/common/*.sv ../src/*/*.sv -suppress 2583 - -# start and run simulation -# remove +acc flag for faster sim during regressions if there is no need to access internal signals -vopt work_${1}_${2}.testbench -work work_${1}_${2} -G TEST=$2 -o testbenchopt -vsim -lib work_${1}_${2} testbenchopt -# Adding coverage increases runtime from 2:00 to 4:29. Can't run it all the time -#vopt work_$2.testbench -work work_$2 -o workopt_$2 +cover=sbectf -#vsim -coverage -lib work_$2 workopt_$2 - -run -all -#coverage report -file wally-pipelined-coverage.txt -# These aren't doing anything helpful -#coverage report -memory -#profile report -calltree -file wally-pipelined-calltree.rpt -cutoff 2 -quit diff --git a/pipelined/regression/wally-fp64.do b/pipelined/regression/wally-fp64.do deleted file mode 100644 index 96c6d61f..00000000 --- a/pipelined/regression/wally-fp64.do +++ /dev/null @@ -1,54 +0,0 @@ -# wally-pipelined.do -# -# Modification by Oklahoma State University & Harvey Mudd College -# Use with Testbench -# James Stine, 2008; David Harris 2021 -# Go Cowboys!!!!!! -# -# Takes 1:10 to run RV64IC tests using gui - -# run with vsim -do "do wally-pipelined.do rv64ic riscvarchtest-64m" - -# Use this wally-pipelined.do file to run this example. -# Either bring up ModelSim and type the following at the "ModelSim>" prompt: -# do wally-pipelined.do -# or, to run from a shell, type the following at the shell prompt: -# vsim -do wally-pipelined.do -c -# (omit the "-c" to see the GUI while running from the shell) - -onbreak {resume} - -# create library -if [file exists work] { - vdel -all -} -vlib work - -# compile source files -# suppress spurious warnngs about -# "Extra checking for conflicts with always_comb done at vopt time" -# because vsim will run vopt - -# default to config/rv64ic, but allow this to be overridden at the command line. For example: -# do wally-pipelined.do ../config/rv32ic -#switch $argc { -# 0 {vlog +incdir+../config/rv64ic +incdir+../config/shared ../testbench/testbench.sv ../testbench/common/*.sv ../src/*/*.sv -suppress 2583} -# 1 {vlog +incdir+$1 +incdir+../config/shared ../testbench/testbench.sv ../testbench/common/*.sv ../src/*/*.sv -suppress 2583} -#} -# start and run simulation -# remove +acc flag for faster sim during regressions if there is no need to access internal signals -vlog +incdir+../config/rv64gc +incdir+../config/shared ../testbench/testbench-f64.sv ../testbench/common/*.sv ../src/*/*.sv -suppress 2583 -vopt +acc work.testbench -G TEST=imperas64d -o workopt -vsim workopt - -view wave --- display input and output signals as hexidecimal values -do ./wave-dos/generic.do - --- Run the Simulation -#run 3600 -run -all -#quit -#noview ../testbench/testbench-imperas.sv -noview ../testbench/testbench.sv -view wave