Fix handling of non-user-declared Verific netbus

diff --git a/frontends/verific/verific.cc b/frontends/verific/verific.cc
index e56d4531e12d7e183f6256ba1fc8f16b3c672a30..1433afefe7acbc3490299e69039f2d730a096af9 100644 (file)
--- a/frontends/verific/verific.cc
+++ b/frontends/verific/verific.cc
@@ -845,10 +845,11 @@ struct VerificImporter
 
                        if (found_new_net)
                        {
+                               RTLIL::IdString wire_name = module->uniquify(mode_names || netbus->IsUserDeclared() ? RTLIL::escape_id(net->Name()) : NEW_ID);
+
                                if (verbose)
-                                       log("  importing netbus %s.\n", netbus->Name());
+                                       log("  importing netbus %s as %s.\n", netbus->Name(), log_id(wire_name));
 
-                               RTLIL::IdString wire_name = module->uniquify(RTLIL::escape_id(netbus->Name()));
                                RTLIL::Wire *wire = module->addWire(wire_name, netbus->Size());
                                wire->start_offset = min(netbus->LeftIndex(), netbus->RightIndex());
                                import_attributes(wire->attributes, netbus);