diff options
| author | Eddie Hung <eddie@fpgeh.com> | 2020-04-24 11:57:55 -0700 |
|---|---|---|
| committer | Eddie Hung <eddie@fpgeh.com> | 2020-04-24 11:57:55 -0700 |
| commit | b52eccef3a40116c035e91eff5df80134b310db4 (patch) | |
| tree | cc9d7a8bbcd12649ff3a9cb882a0ed4df84b086b | |
| parent | d3555c667c5057f39e0ea31a518d1f4922f2b2a4 (diff) | |
| download | yosys-b52eccef3a40116c035e91eff5df80134b310db4.tar.gz yosys-b52eccef3a40116c035e91eff5df80134b310db4.tar.bz2 yosys-b52eccef3a40116c035e91eff5df80134b310db4.zip | |
Revert "verific: import enum attributes from verific"
This reverts commit 5028e17f7db11f901ce9e423dfe2c6f7e68259cc.
| -rw-r--r-- | frontends/verific/verific.cc | 24 |
1 files changed, 0 insertions, 24 deletions
diff --git a/frontends/verific/verific.cc b/frontends/verific/verific.cc index 89606a5bd..519151310 100644 --- a/frontends/verific/verific.cc +++ b/frontends/verific/verific.cc @@ -1153,30 +1153,6 @@ void VerificImporter::import_netlist(RTLIL::Design *design, Netlist *nl, std::se for (auto net : anyseq_nets) 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_assumes; pool<Instance*, hash_ptr_ops> sva_covers; |