diff --git a/tests/verific/README.md b/tests/verific/README.md
index 2b33a591c..3badf8aeb 100644
--- a/tests/verific/README.md
+++ b/tests/verific/README.md
@@ -4,4 +4,4 @@
 
 - `bounds`: checks top and bottom bound attributes, which are removed to avoid OpenSTA issues
 - `memory_semantics`: relies on initial values being retained, which we do not want
-- `rom_case`: relies on using Verific's frontend rather than GHDL
+- `rom_case`: relies on using Verific's VHDL frontend rather than GHDL
diff --git a/verific b/verific
index 5f12c8bbd..7934691f3 160000
--- a/verific
+++ b/verific
@@ -1 +1 @@
-Subproject commit 5f12c8bbded4fb26f23a837fc2017d851a24e27e
+Subproject commit 7934691f3b70918adef8c56d6842acbec53907df