net discipline declaration

I'm trying to add our extensions to the 2.1 LRM, and I've
found a problem with the net discipline declaration syntax.

LRM 2.1 says, in Annex A.4,

net_discipline_declaration ::=
    discipline_identifier [range] list_of_nets ;
list_of_nets ::=
    net_identifier [ range ]
  | net_identifier [ range ] , list_of_nets

Relative to Syntax 3-6, it's missing the syntax for
supplying a nodeset value. However, my question is
on the [range] -- does it belong in list_of_nets?

The examples in the LRM are
    electrical [MSB:LSB] n1 ; // MSB and LSB are parameters
    voltage [5:0] n2, n3 ;
    magnetic inductor ;
    logic [10:1] connector1 ;

which always put the [range] before the net_identifier.

Does anyone put the range after? What happens if I do both?

    electrical [0:1] n1 [0:3];

-Geoffrey
Received on Tue May 11 11:08:42 2004