13.15.12.1.1 In order of priority

  1. If user named then name = user name
  2. If net is connected to top-level port then name = port name; if connected to multiple ports then pick first port
  3. If the net has no driver, then name = net_[i]
  4. If the net has a driver, name = instanceName_driverpinName