mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-04-06 17:44:09 +00:00
Code Activity

Import all modules from all libraries when when needed

Browse source
This commit is contained in:
Miodrag Milanovic 2024-06-11 08:26:16 +02:00
parent 7c3094633d
commit 0a81c8e161
1 changed files with 22 additions and 14 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

12
frontends/verific/verific.cc
View file

@ -2731,7 +2731,10 @@ std::string verific_import(Design *design, const std::map<std::string,std::strin
netlists = new Array(1); netlists = new Array(1);
MapIter mi ; MapIter mi ;
Verific::Cell *c ; Verific::Cell *c ;
Library *l = Libset::Global()->GetLibrary("work"); MapIter it ;
Library *l ;
FOREACH_LIBRARY_OF_LIBSET(Libset::Global(),it,l) {
if (l == Library::Primitives() || l == Library::Operators()) continue;
FOREACH_CELL_OF_LIBRARY(l,mi,c) { FOREACH_CELL_OF_LIBRARY(l,mi,c) {
MapIter ni ; MapIter ni ;
Netlist *nl; Netlist *nl;
@ -2740,6 +2743,7 @@ std::string verific_import(Design *design, const std::map<std::string,std::strin
netlists->InsertLast(nl); netlists->InsertLast(nl);
} }
} }
}
#endif #endif
} }
else { else {
@ -3994,7 +3998,10 @@ struct VerificPass : public Pass {
#endif #endif
MapIter mi ; MapIter mi ;
Verific::Cell *c ; Verific::Cell *c ;
Library *l = Libset::Global()->GetLibrary(work.c_str()); MapIter it ;
Library *l ;
FOREACH_LIBRARY_OF_LIBSET(Libset::Global(),it,l) {
if (l == Library::Primitives() || l == Library::Operators()) continue;
FOREACH_CELL_OF_LIBRARY(l,mi,c) { FOREACH_CELL_OF_LIBRARY(l,mi,c) {
MapIter ni ; MapIter ni ;
Netlist *nl; Netlist *nl;
@ -4003,6 +4010,7 @@ struct VerificPass : public Pass {
nl_todo.emplace(nl->CellBaseName(), nl); nl_todo.emplace(nl->CellBaseName(), nl);
} }
} }
}
#endif #endif
} }
else else