mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-11-04 13:29:12 +00:00
Code Activity

verific: do not assert if wire not found; warn instead

Browse source
This commit is contained in:
Eddie Hung 2020-04-23 16:28:11 -07:00
parent b048afc3a6
commit d3555c667c
2 changed files with 7 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

8
frontends/verific/verific.cc
View file

@ -1162,8 +1162,12 @@ void VerificImporter::import_netlist(RTLIL::Design *design, Netlist *nl, std::se
if (!type_range->IsTypeEnum()) if (!type_range->IsTypeEnum())
continue; continue;
auto wire = module->wire(RTLIL::escape_id(id_name)); auto wire = module->wire(RTLIL::escape_id(id_name));
log_assert(wire); if (!wire) {
wire->set_string_attribute(ID(wiretype), type_range->GetTypeName()); if (net->IsUserDeclared())
log_warning("Unable to find imported net '%s'.\n", net->Name());
continue;
}
wire->set_string_attribute(ID::wiretype, type_range->GetTypeName());
MapIter mj; MapIter mj;
char *k, *v; char *k, *v;

1
kernel/constids.inc
View file

@ -199,6 +199,7 @@ X(wand)
X(whitebox) X(whitebox)
X(WIDTH) X(WIDTH)
X(wildcard_port_conns) X(wildcard_port_conns)
X(wiretype)
X(wor) X(wor)
X(WORDS) X(WORDS)
X(WR_ADDR) X(WR_ADDR)