From: Clifford Wolf <clifford@clifford.at>
Date: Fri, 28 Jul 2017 09:31:27 +0000 (+0200)
Subject: Fix handling of non-user-declared Verific netbus
X-Git-Tag: yosys-0.8~361
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=acd6cfaf67ac5d8f26bb6cbeead2393ad29b4550;p=yosys.git

Fix handling of non-user-declared Verific netbus
---

diff --git a/frontends/verific/verific.cc b/frontends/verific/verific.cc
index e56d4531e..1433afefe 100644
--- 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);