From 5b1f89a0dfe9f22c88fc351fa6fd99e3f3f55edb Mon Sep 17 00:00:00 2001 From: Dhaval Chaudhari Date: Fri, 2 Jan 2026 18:17:31 +0530 Subject: [PATCH 1/2] 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; } From 829a2f174a2fa0691da67907c2777411239a6b1f Mon Sep 17 00:00:00 2001 From: Dhaval Chaudhari Date: Sun, 4 Jan 2026 01:51:15 +0530 Subject: [PATCH 2/2] fix --- frontends/verific/verific.cc | 14 +++++++------- 1 file changed, 7 insertions(+), 7 deletions(-) diff --git a/frontends/verific/verific.cc b/frontends/verific/verific.cc index e5eda3727..db253d128 100644 --- a/frontends/verific/verific.cc +++ b/frontends/verific/verific.cc @@ -3688,18 +3688,18 @@ 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; } #ifdef VERIFIC_SYSTEMVERILOG_SUPPORT + if (GetSize(args) > argidx && args[argidx] == "-ignore_module") { + for (argidx++; argidx < GetSize(args); argidx++) { + string name = args[argidx]; + veri_file::AddToIgnoredParsedModuleNames(name.c_str()); + } + goto check_error; + } if (GetSize(args) > argidx && (args[argidx] == "-f" || args[argidx] == "-F")) { unsigned verilog_mode = veri_file::UNDEFINED;