Merge pull request #3588 from YosysHQ/noblackbox

respect noblackbox attribute in verific
This commit is contained in:
Miodrag Milanović 2022-12-15 09:08:18 +01:00 committed by GitHub
commit 76de4455e6
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 6 additions and 0 deletions

View File

@ -1125,6 +1125,12 @@ void VerificImporter::import_netlist(RTLIL::Design *design, Netlist *nl, std::ma
NetBus *netbus;
Instance *inst;
PortRef *pr;
Att *attr;
FOREACH_ATTRIBUTE(nl, mi, attr) {
if (!strcmp(attr->Key(), "noblackbox"))
module->set_bool_attribute(ID::blackbox, false);
}
FOREACH_PORT_OF_NETLIST(nl, mi, port)
{