diff --git a/verif/regress/dv-generated-tests.sh b/verif/regress/dv-generated-tests.sh index 0207e216ce..ad301023c1 100644 --- a/verif/regress/dv-generated-tests.sh +++ b/verif/regress/dv-generated-tests.sh @@ -18,7 +18,7 @@ source verif/regress/install-riscv-dv.sh source verif/regress/install-spike.sh if ! [ -n "$DV_TARGET" ]; then - DV_TARGET=cv32a60x + DV_TARGET=cv32a6_embedded fi if ! [ -n "$DV_SIMULATORS" ]; then diff --git a/verif/regress/dv-generated-xif-tests.sh b/verif/regress/dv-generated-xif-tests.sh index 78acaf2f32..68c65bed35 100644 --- a/verif/regress/dv-generated-xif-tests.sh +++ b/verif/regress/dv-generated-xif-tests.sh @@ -18,7 +18,7 @@ source verif/regress/install-riscv-dv.sh source verif/regress/install-spike.sh if ! [ -n "$DV_TARGET" ]; then - DV_TARGET=cv32a60x + DV_TARGET=cv32a6_embedded fi if ! [ -n "$DV_SIMULATORS" ]; then diff --git a/verif/regress/smoke-gen_tests.sh b/verif/regress/smoke-gen_tests.sh index 5657f67854..a3fa866fb4 100644 --- a/verif/regress/smoke-gen_tests.sh +++ b/verif/regress/smoke-gen_tests.sh @@ -18,7 +18,7 @@ source verif/regress/install-cva6.sh source verif/regress/install-riscv-dv.sh if ! [ -n "$DV_TARGET" ]; then - DV_TARGET=cv32a60x + DV_TARGET=cv32a6_embedded fi if ! [ -n "$DV_SIMULATORS" ]; then