write_verilog escaped bus port name "input [7:0] \in[0] ;"

network/ParseBus.cc

@@ -43,6 +43,7 @@ void
 parseBusName(const char *name,
 	     const char brkt_left,
 	     const char brkt_right,
+	     // Return values.
 	     char *&bus_name,
 	     int &index)
 {
@@ -55,6 +56,7 @@ void
 parseBusName(const char *name,
 	     const char *brkts_left,
 	     const char *brkts_right,
+	     // Return values.
 	     char *&bus_name,
 	     int &index)
 {
@@ -81,6 +83,7 @@ void
 parseBusRange(const char *name,
 	      const char brkt_left,
 	      const char brkt_right,
+	      // Return values.
 	      char *&bus_name,
 	      int &from,
 	      int &to)
@@ -94,6 +97,7 @@ void
 parseBusRange(const char *name,
 	      const char *brkts_left,
 	      const char *brkts_right,
+	      // Return values.
 	      char *&bus_name,
 	      int &from,
 	      int &to)

network/ParseBus.hh

@@ -27,7 +27,7 @@ isBusName(const char *name,
 
 // Parse name as a bus.
 // signal
-//  bus_name = 0
+//  bus_name = nullptr
 // bus[bit]
 //  bus_name = "bus"
 //  index = bit
@@ -36,6 +36,7 @@ void
 parseBusName(const char *name,
 	     const char brkt_left,
 	     const char brkt_right,
+	     // Return values.
 	     char *&bus_name,
 	     int &index);
 // Allow multiple different left/right bus brackets.
@@ -43,6 +44,7 @@ void
 parseBusName(const char *name,
 	     const char *brkts_left,
 	     const char *brkts_right,
+	     // Return values.
 	     char *&bus_name,
 	     int &index);
 
@@ -53,6 +55,7 @@ void
 parseBusRange(const char *name,
 	      const char brkt_left,
 	      const char brkt_right,
+	      // Return values.
 	      char *&bus_name,
 	      int &from,
 	      int &to);
@@ -62,6 +65,7 @@ void
 parseBusRange(const char *name,
 	      const char *brkts_left,
 	      const char *brkts_right,
+	      // Return values.
 	      char *&bus_name,
 	      int &from,
 	      int &to);

network/VerilogNamespace.cc

@@ -17,6 +17,7 @@
 #include <ctype.h>
 #include "Machine.hh"
 #include "StringUtil.hh"
+#include "ParseBus.hh"
 #include "VerilogNamespace.hh"
 
 namespace sta {
@@ -25,21 +26,29 @@ const char *
 instanceVerilogName(const char *sta_name,
 		    const char escape)
 {
-  return staToVerilog(sta_name, true, escape);
+  return staToVerilog(sta_name, escape);
 }
 
 const char *
 netVerilogName(const char *sta_name,
 	       const char escape)
 {
-  return staToVerilog(sta_name, false, escape);
+  char *bus_name;
+  int index;
+  parseBusName(sta_name, '[', ']', bus_name, index);
+  if (bus_name)
+    return stringPrintTmp("%s[%d]",
+			  staToVerilog(bus_name, escape),
+			  index);
+  else
+    return staToVerilog(sta_name, escape);
 }
 
 const char *
 portVerilogName(const char *sta_name,
 		const char escape)
 {
-  return staToVerilog(sta_name, false, escape);
+  return staToVerilog(sta_name, escape);
 }
 
 // Append ch to str at insert.  Resize str if necessary.
@@ -63,7 +72,6 @@ vstringAppend(char *&str,
 
 const char *
 staToVerilog(const char *sta_name,
-	     bool escape_brkts,
 	     const char escape)
 {
   const char bus_brkt_left = '[';
@@ -93,7 +101,7 @@ staToVerilog(const char *sta_name,
     else {
       bool is_brkt = (ch == bus_brkt_left || ch == bus_brkt_right);
       if ((!(isalnum(ch) || ch == '_') && !is_brkt)
-	  || (is_brkt && escape_brkts))
+	  || is_brkt)
 	escaped = true;
       vstringAppend(verilog_name, verilog_name_end, v, ch);
     }

network/VerilogNamespace.hh

@@ -21,7 +21,6 @@ namespace sta {
 
 const char *
 staToVerilog(const char *sta_name,
-	     bool escape_brkts,
 	     const char escape);
 const char *
 verilogToSta(const char *verilog_name);

verilog/Verilog.i

@@ -53,7 +53,10 @@ void
 write_verilog_cmd(const char *filename,
 		  bool sort)
 {
-  Network *network = cmdNetwork();
+  // This does NOT want the SDC (cmd) network because it wants
+  // to see the sta internal names.
+  Sta *sta = Sta::sta();
+  Network *network = sta->network();
   writeVerilog(filename, sort, network);
 }
 

verilog/VerilogReader.cc

@@ -1721,8 +1721,9 @@ VerilogReader::linkNetwork(const char *top_cell_name,
 			   bool make_black_boxes,
 			   Report *report)
 {
+  if (library_) {
     Cell *top_cell = network_->findCell(library_, top_cell_name);
-  VerilogModule *module = verilog_reader->module(top_cell);
+    VerilogModule *module = this->module(top_cell);
     if (module) {
       // Seed the recursion for expansion with the top level instance.
       Instance *top_instance = network_->makeInstance(top_cell, "", nullptr);
@@ -1758,6 +1759,11 @@ VerilogReader::linkNetwork(const char *top_cell_name,
       report->error("%s is not a verilog module.\n", top_cell_name);
       return nullptr;
     }
+  }
+  else {
+    report->error("%s is not a verilog module.\n", top_cell_name);
+    return nullptr;
+  }
 }
 
 void
@@ -1848,7 +1854,7 @@ VerilogReader::makeModuleInstNetwork(VerilogModuleInst *mod_inst,
 			    parent_module, parent_bindings, is_leaf);
     }
     if (!is_leaf) {
-      VerilogModule *module = verilog_reader->module(cell);
+      VerilogModule *module = this->module(cell);
       makeModuleInstBody(module, inst, &bindings, make_black_boxes);
     }
   }

verilog/VerilogWriter.cc

@@ -66,6 +66,7 @@ writeVerilog(const char *filename,
 	     bool sort,
 	     Network *network)
 {
+  if (network->topInstance()) {
     FILE *stream = fopen(filename, "w");
     if (stream) {
       VerilogWriter writer(filename, sort, stream, network);
@@ -74,6 +75,7 @@ writeVerilog(const char *filename,
     }
     else
       throw FileNotWritable(filename);
+  }
 }
 
 VerilogWriter::VerilogWriter(const char *filename,
@@ -117,8 +119,8 @@ VerilogWriter::writePorts(Cell *cell)
     Port *port = port_iter->next();
     if (!first)
       fprintf(stream_, ",\n    ");
-    fprintf(stream_, "%s",
+    fprintf(stream_, "%s", portVerilogName(network_->name(port),
-	    network_->name(port));
+					   network_->pathEscape()));
     first = false;
   }
   delete port_iter;
@@ -132,23 +134,23 @@ VerilogWriter::writePortDcls(Cell *cell)
   while (port_iter->hasNext()) {
     Port *port = port_iter->next();
     PortDirection *dir = network_->direction(port);
-    if (dir) {
+    const char *port_name = portVerilogName(network_->name(port),
-      fprintf(stream_, " %s",
+					    network_->pathEscape());
-		verilogPortDir(dir));
+    const char *vtype = verilogPortDir(dir);
+    if (vtype) {
+      fprintf(stream_, " %s", vtype);
       if (network_->isBus(port))
 	fprintf(stream_, " [%d:%d]",
 		network_->fromIndex(port),
 		network_->toIndex(port));
-      fprintf(stream_, " %s;\n",
+      fprintf(stream_, " %s;\n", port_name);
-		network_->name(port));
       if (dir->isTristate()) {
 	fprintf(stream_, " tri");
 	if (network_->isBus(port))
 	  fprintf(stream_, " [%d:%d]",
 		  network_->fromIndex(port),
 		  network_->toIndex(port));
-	fprintf(stream_, " %s;\n",
+	fprintf(stream_, " %s;\n", port_name);
-		network_->name(port));
       }
     }
   }
@@ -226,7 +228,8 @@ VerilogWriter::writeInstPin(Instance *inst,
       const char *net_vname = netVerilogName(net_name, network_->pathEscape());
       if (!first_port)
 	fprintf(stream_, ",\n    ");
-      const char *port_name = network_->name(port);
+      const char *port_name = portVerilogName(network_->name(port),
+					      network_->pathEscape());
       fprintf(stream_, ".%s(%s)",
 	      port_name,
 	      net_vname);