RE: net discipline declaration

Hi Geoffrey,

I raised this issue a while ago (3 years ago) - what does it mean to have a range before and after a net identifier. This was introduced in 2.0 (I think). At that time the explanation given was - it was done to make the BNF consistent between analog and digital and doesn't mean anything in the analog context and should never have a analog declaration like that in the analog context. It was basically added to suppor the "memories" syntax of the digital world. (Still I don't understand why it was put in the analog BNF - unless I didn't get a complete explanation of the addition.)

Graham reworked on the BNF recently to merge digital and analog - removing the ambiguities and merging some of the syntax (and identifying the semantic restrictions of the same in the analog context). I am not sure whether this problem exists in the new syntax that he did just a while ago. This new revised draft syntax can be accessed from the VerilogAMS webpage.

Ofcourse for the device modelling extension you will be doing your changes on 2.1 but these issues hopefully will get corrected once we integrate the new syntax.

Regards,
Sri

> -----Original Message-----
> From: owner-verilog-ams@eda.org
> [mailto:owner-verilog-ams@eda.org] On Behalf Of Geoffrey.Coram
> Sent: Wednesday, May 12, 2004 3:39 AM
> To: verilog-ams@eda.org
> Subject: 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 20:12:54 2004