mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-06-22 22:03:40 +00:00
Code Activity

If imported module has parameters it is not a blackbox

Browse source
This commit is contained in:
Akash Levy 2025-01-17 01:14:40 -08:00
parent ef710eda5c
commit da726a4e54
1 changed files with 3 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

3
frontends/verific/verific.cc
View file

@ -228,6 +228,9 @@ RTLIL::SigBit VerificImporter::net_map_at(Net *net)
bool is_blackbox(Netlist *nl) bool is_blackbox(Netlist *nl)
{ {
if (nl->HasParameters())
return false;
if (nl->IsBlackBox() || nl->IsEmptyBox()) if (nl->IsBlackBox() || nl->IsEmptyBox())
return true; return true;