From 2d8588f15b614bb5056dd074e06e99d85fd2be00 Mon Sep 17 00:00:00 2001
From: Akash Levy <akash@silimate.com>
Date: Wed, 2 Oct 2024 23:09:36 -0700
Subject: [PATCH] Update Verific

---
 tests/verific/README.md | 2 +-
 verific                 | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

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