13.15.12.1 Automatic Names of Nets

Nets are automatically assigned names by the tool according to the following rules: