mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-11-03 21:09:12 +00:00
Code Activity

Revert "verific: import enum attributes from verific"

Browse source 
This reverts commit 5028e17f7d.
This commit is contained in:
Eddie Hung 2020-04-24 11:57:55 -07:00
parent d3555c667c
commit b52eccef3a
1 changed files with 0 additions and 24 deletions
Download patch file Download diff file Expand all files Collapse all files

24
frontends/verific/verific.cc
View file

@ -1153,30 +1153,6 @@ void VerificImporter::import_netlist(RTLIL::Design *design, Netlist *nl, std::se
for (auto net : anyseq_nets) for (auto net : anyseq_nets)
module->connect(net_map_at(net), module->Anyseq(new_verific_id(net))); module->connect(net_map_at(net), module->Anyseq(new_verific_id(net)));
char *id_name;
TypeRange *type_range;
FOREACH_MAP_ITEM(nl->GetTypeRangeTable(), mi, &id_name, &type_range)
{
if (!type_range)
continue;
if (!type_range->IsTypeEnum())
continue;
auto wire = module->wire(RTLIL::escape_id(id_name));
if (!wire) {
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;
char *k, *v;
FOREACH_MAP_ITEM(type_range->GetEnumIdMap(), mj, &k, &v) {
IdString key = stringf("\\enum_value_%s", v);
wire->set_string_attribute(key, k);
}
}
pool<Instance*, hash_ptr_ops> sva_asserts; pool<Instance*, hash_ptr_ops> sva_asserts;
pool<Instance*, hash_ptr_ops> sva_assumes; pool<Instance*, hash_ptr_ops> sva_assumes;
pool<Instance*, hash_ptr_ops> sva_covers; pool<Instance*, hash_ptr_ops> sva_covers;