diff --git a/.circleci/defaults.sh b/.circleci/defaults.sh
index ecceaf6b..2d49d92a 100755
--- a/.circleci/defaults.sh
+++ b/.circleci/defaults.sh
@@ -23,7 +23,7 @@ CI_MAKE_NPROC=8
 REMOTE_MAKE_NPROC=4
 
 # verilator version
-VERILATOR_VERSION=v4.212
+VERILATOR_VERSION=v4.034
 
 # remote variables
 REMOTE_PREFIX=$CI_DIR/$CIRCLE_PROJECT_REPONAME-$CIRCLE_BRANCH