Fix UVM seed for performance tests

ThalesSiliconSecurity · Jan 31, 2025 · 52cdb7c · 52cdb7c
1 parent a8e43e1
commit 52cdb7c
Show file tree

Hide file tree

Showing 4 changed files with 15 additions and 12 deletions.
diff --git a/verif/regress/benchmark.sh b/verif/regress/benchmark.sh
@@ -55,18 +55,18 @@ GCC_CFLAGS=(
 
 GCC_OPTS="${GCC_COMMON_SRC[*]} ${GCC_CFLAGS[*]}"
 
-python3 cva6.py $CVA6_FLAGS --c_tests $BDIR/dhrystone/dhrystone_main.c --gcc_opts "$BDIR/dhrystone/dhrystone.c $GCC_OPTS -I$BDIR/dhrystone/"
-python3 cva6.py $CVA6_FLAGS --c_tests $BDIR/median/median_main.c       --gcc_opts "$BDIR/median/median.c       $GCC_OPTS -I$BDIR/median/"
-python3 cva6.py $CVA6_FLAGS --c_tests $BDIR/mm/mm.c                    --gcc_opts "$BDIR/mm/mm_main.c          $GCC_OPTS -I$BDIR/mm/"
-python3 cva6.py $CVA6_FLAGS --c_tests $BDIR/mt-matmul/mt-matmul.c      --gcc_opts "$BDIR/mt-matmul/matmul.c    $GCC_OPTS -I$BDIR/mt-matmul/"
-python3 cva6.py $CVA6_FLAGS --c_tests $BDIR/mt-vvadd/mt-vvadd.c        --gcc_opts "$BDIR/mt-vvadd/vvadd.c      $GCC_OPTS -I$BDIR/mt-vvadd/"
-python3 cva6.py $CVA6_FLAGS --c_tests $BDIR/multiply/multiply_main.c   --gcc_opts "$BDIR/multiply/multiply.c   $GCC_OPTS -I$BDIR/multiply/"
-python3 cva6.py $CVA6_FLAGS --c_tests $BDIR/pmp/pmp.c                  --gcc_opts "                            $GCC_OPTS -I$BDIR/pmp/"
-python3 cva6.py $CVA6_FLAGS --c_tests $BDIR/qsort/qsort_main.c         --gcc_opts "                            $GCC_OPTS -I$BDIR/qsort/"
-python3 cva6.py $CVA6_FLAGS --c_tests $BDIR/rsort/rsort.c              --gcc_opts "                            $GCC_OPTS -I$BDIR/rsort/"
-python3 cva6.py $CVA6_FLAGS --c_tests $BDIR/spmv/spmv_main.c           --gcc_opts "                            $GCC_OPTS -I$BDIR/spmv/"
-python3 cva6.py $CVA6_FLAGS --c_tests $BDIR/towers/towers_main.c       --gcc_opts "                            $GCC_OPTS -I$BDIR/towers/"
-python3 cva6.py $CVA6_FLAGS --c_tests $BDIR/vvadd/vvadd_main.c         --gcc_opts "                            $GCC_OPTS -I$BDIR/vvadd/"
+python3 cva6.py $CVA6_FLAGS --c_tests $BDIR/dhrystone/dhrystone_main.c --sv_seed 1 --gcc_opts "$BDIR/dhrystone/dhrystone.c $GCC_OPTS -I$BDIR/dhrystone/"
+python3 cva6.py $CVA6_FLAGS --c_tests $BDIR/median/median_main.c       --sv_seed 1 --gcc_opts "$BDIR/median/median.c       $GCC_OPTS -I$BDIR/median/"
+python3 cva6.py $CVA6_FLAGS --c_tests $BDIR/mm/mm.c                    --sv_seed 1 --gcc_opts "$BDIR/mm/mm_main.c          $GCC_OPTS -I$BDIR/mm/"
+python3 cva6.py $CVA6_FLAGS --c_tests $BDIR/mt-matmul/mt-matmul.c      --sv_seed 1 --gcc_opts "$BDIR/mt-matmul/matmul.c    $GCC_OPTS -I$BDIR/mt-matmul/"
+python3 cva6.py $CVA6_FLAGS --c_tests $BDIR/mt-vvadd/mt-vvadd.c        --sv_seed 1 --gcc_opts "$BDIR/mt-vvadd/vvadd.c      $GCC_OPTS -I$BDIR/mt-vvadd/"
+python3 cva6.py $CVA6_FLAGS --c_tests $BDIR/multiply/multiply_main.c   --sv_seed 1 --gcc_opts "$BDIR/multiply/multiply.c   $GCC_OPTS -I$BDIR/multiply/"
+python3 cva6.py $CVA6_FLAGS --c_tests $BDIR/pmp/pmp.c                  --sv_seed 1 --gcc_opts "                            $GCC_OPTS -I$BDIR/pmp/"
+python3 cva6.py $CVA6_FLAGS --c_tests $BDIR/qsort/qsort_main.c         --sv_seed 1 --gcc_opts "                            $GCC_OPTS -I$BDIR/qsort/"
+python3 cva6.py $CVA6_FLAGS --c_tests $BDIR/rsort/rsort.c              --sv_seed 1 --gcc_opts "                            $GCC_OPTS -I$BDIR/rsort/"
+python3 cva6.py $CVA6_FLAGS --c_tests $BDIR/spmv/spmv_main.c           --sv_seed 1 --gcc_opts "                            $GCC_OPTS -I$BDIR/spmv/"
+python3 cva6.py $CVA6_FLAGS --c_tests $BDIR/towers/towers_main.c       --sv_seed 1 --gcc_opts "                            $GCC_OPTS -I$BDIR/towers/"
+python3 cva6.py $CVA6_FLAGS --c_tests $BDIR/vvadd/vvadd_main.c         --sv_seed 1 --gcc_opts "                            $GCC_OPTS -I$BDIR/vvadd/"
 
 make clean
 make -C verif/sim clean_all

diff --git a/verif/regress/coremark.sh b/verif/regress/coremark.sh
@@ -92,6 +92,7 @@ python3 cva6.py \
         --iss="$DV_SIMULATORS" \
         --iss_yaml=cva6.yaml \
         --c_tests "$src0" \
+        --sv_seed 1 \
         --gcc_opts "${srcA[*]} ${cflags[*]}" \
         --iss_timeout=2000 \
         $DV_OPTS
diff --git a/verif/regress/dhrystone.sh b/verif/regress/dhrystone.sh
@@ -69,5 +69,6 @@ python3 cva6.py \
         --iss="$DV_SIMULATORS" \
         --iss_yaml=cva6.yaml \
         --c_tests "$src0" \
+        --sv_seed 1 \
         --gcc_opts "${srcA[*]} ${cflags[*]}" \
         $DV_OPTS
diff --git a/verif/regress/dhrystone_smoke.sh b/verif/regress/dhrystone_smoke.sh
@@ -62,4 +62,5 @@ python3 cva6.py \
         --iss="$DV_SIMULATORS" \
         --iss_yaml=cva6.yaml \
         --c_tests "$src0" \
+        --sv_seed 1 \
         --gcc_opts "${srcA[*]} ${cflags[*]}"