diff options
| author | Miodrag Milanović <mmicko@gmail.com> | 2022-12-15 09:08:18 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-12-15 09:08:18 +0100 |
| commit | 76de4455e6cdf2fba32e15cb7ae02e54cd54d93b (patch) | |
| tree | 86d910034c7c9654da70823a500e98560d76e4e2 | |
| parent | 5d893c4b03b3027e5460872d67be444bd288c5c6 (diff) | |
| parent | b867dee241516ce24fa3b3e8f71b7f41734ff14f (diff) | |
| download | yosys-76de4455e6cdf2fba32e15cb7ae02e54cd54d93b.tar.gz yosys-76de4455e6cdf2fba32e15cb7ae02e54cd54d93b.tar.bz2 yosys-76de4455e6cdf2fba32e15cb7ae02e54cd54d93b.zip | |
Merge pull request #3588 from YosysHQ/noblackbox
respect noblackbox attribute in verific
| -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) { |