diff --git a/tests/gen-tests-makefile.sh b/tests/gen-tests-makefile.sh
index a0fb23ac3..66c86c440 100755
--- a/tests/gen-tests-makefile.sh
+++ b/tests/gen-tests-makefile.sh
@@ -92,7 +92,7 @@ generate_tests() {
 	if [[ $do_sv = true ]]; then
 		for x in *.sv; do
 			if [ ! -f "${x%.sv}.ys"  ]; then
-				generate_ys_test "$x" "-p \"prep -top top; async2sync; sat -enable_undef -verify -prove-asserts\" $yosys_args"
+				generate_ys_test "$x" "-p \"prep -top top; async2sync; select top; sat -enable_undef -verify -prove-asserts\" $yosys_args"
 			fi;
 		done
 	fi;
diff --git a/verific b/verific
index d62b81535..0284e8560 160000
--- a/verific
+++ b/verific
@@ -1 +1 @@
-Subproject commit d62b8153567305cbcb3d2e6b141b9cce422a4662
+Subproject commit 0284e8560e23dcf914213cb08e44041fbbbfd286