Modified to clone imperas via git rather than https.

This commit is contained in:
Ross Thompson 2023-01-18 15:49:42 -06:00
parent 786d7839ff
commit 474f934fd1

View File

@ -13,7 +13,7 @@ if [ ! -d external ]; then
fi
pushd external
if [ ! -f ImperasDV-HMC ]; then
git clone https://github.com/Imperas/ImperasDV-HMC
git clone git@github.com:Imperas/ImperasDV-HMC.git
fi
pushd ImperasDV-HMC
git checkout 0c2f365
@ -37,3 +37,19 @@ pushd pipelined/regression
vsim -c -do "do wally-pipelined-imperas-no-idv.do rv64gc"
popd
# notes
# run the pushd external code
#source external/ImperasDV-HMC/Imperas/bin/setup.sh
# setupImperas /home/ross/repos/active-wally/riscv-wally/external/ImperasDV-HMC/Imperas
# env | grep IMPERAS
# export IMPERAS_PERSONALITY=CPUMAN_DV_ASYNC
IMPERAS_TOOLS=$(pwd)/imperas.ic \
OTHERFLAGS="+TRACE2LOG_ENABLE=1 VERBOSE=1" \
TESTDIR=../../tests/riscof_lee/work/riscv-arch-test/rv64i_m/F/src/fadd_b1-01.S \
vsim -c -do "do wally-pipelined-imperas.do rv64gc"
# getting library issue.
# try switching to modelsim 2022.01