diff --git a/verific b/verific
index 08809e9c4..5f12c8bbd 160000
--- a/verific
+++ b/verific
@@ -1 +1 @@
-Subproject commit 08809e9c4356772ead5d5ab1594bdcf84df03fe3
+Subproject commit 5f12c8bbded4fb26f23a837fc2017d851a24e27e
diff --git a/yosys-slang b/yosys-slang
index c935c3ff7..fdd9d0624 160000
--- a/yosys-slang
+++ b/yosys-slang
@@ -1 +1 @@
-Subproject commit c935c3ff7f1e8eab37d569db31f659885cdce1af
+Subproject commit fdd9d06244ec7dc40370b7de210720385ead3e5f