diff --git a/tests/verific/memory_semantics.ys b/tests/verific/memory_semantics.ys
index adcd3a4ca..7287f847f 100644
--- a/tests/verific/memory_semantics.ys
+++ b/tests/verific/memory_semantics.ys
@@ -89,6 +89,6 @@ EOF
 hierarchy -top top
 proc
 opt_clean
-memory -nomap
+memory -nomap -nordff
 select -assert-count 1 t:$mem_v2
 sim -assert -clock clk -n 20