From e801ea4fdb95424483c1fefb4a0920cef7f09578 Mon Sep 17 00:00:00 2001 From: Stan Lee Date: Tue, 28 Apr 2026 15:12:50 -0700 Subject: [PATCH 1/6] delete module frontend --- frontends/verific/verific.cc | 17 +++++++++++++++++ 1 file changed, 17 insertions(+) diff --git a/frontends/verific/verific.cc b/frontends/verific/verific.cc index a58842792..a1d129852 100644 --- a/frontends/verific/verific.cc +++ b/frontends/verific/verific.cc @@ -47,6 +47,7 @@ USING_YOSYS_NAMESPACE #include "Array.h" #include "RuntimeFlags.h" +#include "Set.h" #ifdef VERIFIC_HIER_TREE_SUPPORT #include "hier_tree.h" #endif @@ -3924,6 +3925,22 @@ struct VerificPass : public Pass { goto check_error; } + if (GetSize(args) > argidx && args[argidx] == "-delete_module") { + string lib = "work"; + Set *ignored = veri_file::GetIgnoredModuleSet(); + for (argidx++; argidx < GetSize(args); argidx++) { + if (args[argidx] == "-work" && argidx+1 < GetSize(args)) { + lib = args[++argidx]; + continue; + } + const char *name = args[argidx].c_str(); + if (ignored) + ignored->Remove(name); + veri_file::RemoveModule(name, lib.c_str()); + } + goto check_error; + } + if (GetSize(args) > argidx && args[argidx] == "-set_vhdl_default_library_path") { for (argidx++; argidx < GetSize(args); argidx++) { #ifdef VERIFIC_VHDL_SUPPORT From dd6e440937b79a6d5c10360912886020bf4f1870 Mon Sep 17 00:00:00 2001 From: Stan Lee Date: Tue, 28 Apr 2026 16:16:57 -0700 Subject: [PATCH 2/6] rename and clean --- frontends/verific/verific.cc | 8 +------- 1 file changed, 1 insertion(+), 7 deletions(-) diff --git a/frontends/verific/verific.cc b/frontends/verific/verific.cc index a1d129852..39866d849 100644 --- a/frontends/verific/verific.cc +++ b/frontends/verific/verific.cc @@ -3925,18 +3925,12 @@ struct VerificPass : public Pass { goto check_error; } - if (GetSize(args) > argidx && args[argidx] == "-delete_module") { - string lib = "work"; + if (GetSize(args) > argidx && args[argidx] == "-unignore_module") { Set *ignored = veri_file::GetIgnoredModuleSet(); for (argidx++; argidx < GetSize(args); argidx++) { - if (args[argidx] == "-work" && argidx+1 < GetSize(args)) { - lib = args[++argidx]; - continue; - } const char *name = args[argidx].c_str(); if (ignored) ignored->Remove(name); - veri_file::RemoveModule(name, lib.c_str()); } goto check_error; } From 6f5b52807cf0363aea714765aa4eb8d35470d5ec Mon Sep 17 00:00:00 2001 From: Stan Lee Date: Tue, 28 Apr 2026 16:18:36 -0700 Subject: [PATCH 3/6] whitespace --- frontends/verific/verific.cc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/frontends/verific/verific.cc b/frontends/verific/verific.cc index 39866d849..212761028 100644 --- a/frontends/verific/verific.cc +++ b/frontends/verific/verific.cc @@ -47,7 +47,7 @@ USING_YOSYS_NAMESPACE #include "Array.h" #include "RuntimeFlags.h" -#include "Set.h" +#include "Set.h" #ifdef VERIFIC_HIER_TREE_SUPPORT #include "hier_tree.h" #endif From 48329bd36a2ddbebabe37541183073db3ecd0b08 Mon Sep 17 00:00:00 2001 From: Stan Lee Date: Tue, 28 Apr 2026 16:20:00 -0700 Subject: [PATCH 4/6] change to string for consistency --- frontends/verific/verific.cc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/frontends/verific/verific.cc b/frontends/verific/verific.cc index 212761028..5cf02d545 100644 --- a/frontends/verific/verific.cc +++ b/frontends/verific/verific.cc @@ -3928,7 +3928,7 @@ struct VerificPass : public Pass { if (GetSize(args) > argidx && args[argidx] == "-unignore_module") { Set *ignored = veri_file::GetIgnoredModuleSet(); for (argidx++; argidx < GetSize(args); argidx++) { - const char *name = args[argidx].c_str(); + string *name = args[argidx].c_str(); if (ignored) ignored->Remove(name); } From 18dc5cc2cc43207de684cf77e026d615343748c1 Mon Sep 17 00:00:00 2001 From: Stan Lee Date: Tue, 28 Apr 2026 16:21:23 -0700 Subject: [PATCH 5/6] remove pointer --- frontends/verific/verific.cc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/frontends/verific/verific.cc b/frontends/verific/verific.cc index 5cf02d545..bcb7ee5ae 100644 --- a/frontends/verific/verific.cc +++ b/frontends/verific/verific.cc @@ -3928,7 +3928,7 @@ struct VerificPass : public Pass { if (GetSize(args) > argidx && args[argidx] == "-unignore_module") { Set *ignored = veri_file::GetIgnoredModuleSet(); for (argidx++; argidx < GetSize(args); argidx++) { - string *name = args[argidx].c_str(); + string name = args[argidx].c_str(); if (ignored) ignored->Remove(name); } From 489fb6ea545b59fd05f1016423422e6272c615f3 Mon Sep 17 00:00:00 2001 From: Stan Lee Date: Tue, 28 Apr 2026 16:22:12 -0700 Subject: [PATCH 6/6] compilation err --- frontends/verific/verific.cc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/frontends/verific/verific.cc b/frontends/verific/verific.cc index bcb7ee5ae..212761028 100644 --- a/frontends/verific/verific.cc +++ b/frontends/verific/verific.cc @@ -3928,7 +3928,7 @@ struct VerificPass : public Pass { if (GetSize(args) > argidx && args[argidx] == "-unignore_module") { Set *ignored = veri_file::GetIgnoredModuleSet(); for (argidx++; argidx < GetSize(args); argidx++) { - string name = args[argidx].c_str(); + const char *name = args[argidx].c_str(); if (ignored) ignored->Remove(name); }