luke
/
yosys
mirror of https://github.com/YosysHQ/yosys.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Merge pull request #158 from Silimate/frontend-verific 

[CUS-515] - Add '-unignore_module' flag
This commit is contained in:
Akash Levy 2026-04-28 17:45:00 -07:00 committed by GitHub
parent b56104ada2 489fb6ea54
commit 162233a225
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
1 changed files with 11 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

11
frontends/verific/verific.cc
View File

@ -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,16 @@ struct VerificPass : public Pass {
goto check_error;
}
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();
if (ignored)
ignored->Remove(name);
}
goto check_error;
}
if (GetSize(args) > argidx && args[argidx] == "-set_vhdl_default_library_path") {
for (argidx++; argidx < GetSize(args); argidx++) {
#ifdef VERIFIC_VHDL_SUPPORT