diff options
author | Miodrag Milanovic <mmicko@gmail.com> | 2022-12-15 08:17:53 +0100 |
---|---|---|
committer | Miodrag Milanovic <mmicko@gmail.com> | 2022-12-15 08:17:53 +0100 |
commit | b867dee241516ce24fa3b3e8f71b7f41734ff14f (patch) | |
tree | 86d910034c7c9654da70823a500e98560d76e4e2 /frontends | |
parent | 5d893c4b03b3027e5460872d67be444bd288c5c6 (diff) | |
download | yosys-b867dee241516ce24fa3b3e8f71b7f41734ff14f.tar.gz yosys-b867dee241516ce24fa3b3e8f71b7f41734ff14f.tar.bz2 yosys-b867dee241516ce24fa3b3e8f71b7f41734ff14f.zip |
respect noblackbox attribute in verific
Diffstat (limited to 'frontends')
-rw-r--r-- | frontends/verific/verific.cc | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/frontends/verific/verific.cc b/frontends/verific/verific.cc index 40f96e82c..a93d79c80 100644 --- a/frontends/verific/verific.cc +++ b/frontends/verific/verific.cc @@ -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) { |