From 5b1f89a0dfe9f22c88fc351fa6fd99e3f3f55edb Mon Sep 17 00:00:00 2001
From: Dhaval Chaudhari <dhavalchaudhari39@gmail.com>
Date: Fri, 2 Jan 2026 18:17:31 +0530
Subject: [PATCH] verific: add support for ignoring specified modules via
 command line argument

---
 frontends/verific/verific.cc | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/frontends/verific/verific.cc b/frontends/verific/verific.cc
index 5790e92f0..e5eda3727 100644
--- a/frontends/verific/verific.cc
+++ b/frontends/verific/verific.cc
@@ -3688,6 +3688,13 @@ struct VerificPass : public Pass {
 				veri_file::AddLOption(args[++argidx].c_str());
 				continue;
 			}
+			if (args[argidx] == "-ignore_module") {
+				for (argidx++; argidx < GetSize(args); argidx++) {
+					string name = args[argidx];
+					veri_file::AddToIgnoredParsedModuleNames(name.c_str());
+				}
+				goto check_error;
+			}
 #endif
 			break;
 		}