riscv
/
yosys
mirror of https://github.com/YosysHQ/yosys.git
1
0
Fork 0
Code Issues Projects Releases Wiki Activity

Merge pull request #1986 from YosysHQ/eddie/verific_enum 

verific: import enum attributes from verific
This commit is contained in:
Claire Wolf 2020-04-23 11:28:05 +02:00 committed by GitHub
parent 3d149aff73 5028e17f7d
commit ca31027fe1
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 20 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

20
frontends/verific/verific.cc
View File

@ -1153,6 +1153,26 @@ 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));
log_assert(wire);
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;