From acd6cfaf67ac5d8f26bb6cbeead2393ad29b4550 Mon Sep 17 00:00:00 2001
From: Clifford Wolf <clifford@clifford.at>
Date: Fri, 28 Jul 2017 11:31:27 +0200
Subject: Fix handling of non-user-declared Verific netbus
---
frontends/verific/verific.cc | 5 +++--
1 file changed, 3 insertions(+), 2 deletions(-)
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);
--
cgit v1.2.3