diff options
author | Clifford Wolf <clifford@clifford.at> | 2019-11-22 18:10:34 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-11-22 18:10:34 +0100 |
commit | caa3b21f8bc6af4a9e2115c9b599676a4dd11a2d (patch) | |
tree | 9f4ec5ae19c28ff6c54fa01fd464cce130acafe2 /frontends/verific/verific.cc | |
parent | 72d2ef6fd071a8b2b9e1a77ddab3a9d632aa0f3d (diff) | |
parent | db323685a4357ae0a04a8def9de29ef3a8ba16c2 (diff) | |
download | yosys-caa3b21f8bc6af4a9e2115c9b599676a4dd11a2d.tar.gz yosys-caa3b21f8bc6af4a9e2115c9b599676a4dd11a2d.tar.bz2 yosys-caa3b21f8bc6af4a9e2115c9b599676a4dd11a2d.zip |
Merge pull request #1515 from YosysHQ/clifford/svastuff
Add Verific/SVA support for "always" and "nexttime" properties
Diffstat (limited to 'frontends/verific/verific.cc')
-rw-r--r-- | frontends/verific/verific.cc | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/frontends/verific/verific.cc b/frontends/verific/verific.cc index de41e1a5c..843e7b9b4 100644 --- a/frontends/verific/verific.cc +++ b/frontends/verific/verific.cc @@ -789,7 +789,7 @@ void VerificImporter::import_netlist(RTLIL::Design *design, Netlist *nl, std::se std::string netlist_name = nl->GetAtt(" \\top") ? nl->CellBaseName() : nl->Owner()->Name(); std::string module_name = netlist_name; - if (nl->IsOperator()) { + if (nl->IsOperator() || nl->IsPrimitive()) { module_name = "$verific$" + module_name; } else { if (!norename && *nl->Name()) { @@ -1409,7 +1409,7 @@ void VerificImporter::import_netlist(RTLIL::Design *design, Netlist *nl, std::se std::string inst_type = inst->View()->Owner()->Name(); - if (inst->View()->IsOperator()) { + if (inst->View()->IsOperator() || inst->View()->IsPrimitive()) { inst_type = "$verific$" + inst_type; } else { if (*inst->View()->Name()) { |