Update cv32e40x-dv hash

Signed-off-by: Kristine Dosvik <[email protected]>
openhwgroup · Dec 14, 2023 · d76b8af · d76b8af
1 parent 0cb7c24
commit d76b8af
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/bin/clonetb b/bin/clonetb
@@ -81,7 +81,7 @@ clone() {
 clone_cv32e40x() {
   CV_CORE=cv32e40x
   VERIF_ENV_REPO=https://github.com/openhwgroup/cv32e40x-dv.git
-  VERIF_ENV_REF=be17b8902002f91803abde4bfb8caa91088575e1
+  VERIF_ENV_REF=1ceaede5f4c0da6f1d34f4f4f7d7f3bbcdbe0b4a
   clone
 
   ignore_cloned_directory