Xavi/cvw
1
0
Fork 0
forked from Github_Repos/cvw
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Modified to clone imperas via git rather than https.

Browse Source
This commit is contained in:
Ross Thompson 2023-01-18 15:49:42 -06:00
parent 1d868eb31e
commit e900914d3a
1 changed files with 17 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

18
setup.imperas.sh
View File

@ -13,7 +13,7 @@ if [ ! -d external ]; then
fi fi
pushd external pushd external
if [ ! -f ImperasDV-HMC ]; then if [ ! -f ImperasDV-HMC ]; then
git clone https://github.com/Imperas/ImperasDV-HMC git clone git@github.com:Imperas/ImperasDV-HMC.git
fi fi
pushd ImperasDV-HMC pushd ImperasDV-HMC
git checkout 0c2f365 git checkout 0c2f365
@ -37,3 +37,19 @@ pushd pipelined/regression
vsim -c -do "do wally-pipelined-imperas-no-idv.do rv64gc" vsim -c -do "do wally-pipelined-imperas-no-idv.do rv64gc"
popd 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