Re: net discipline declaration and net discipline initial values

Hello Fabrice,

Thank you for pointing this out. Yes there was quite a bit of confusion with
the net_declaration as we tried to keep the ams nets separate from the original
digital nets.

So yes, you should be able to do:
mechanical top.foo.w = 250.0;

If we wish to continue to keep the ams net (which adds the hierarchical
extension) seperate from digital, we would need to add a
list_of_ams_net_decl_assignments and all the associated sub-rules.

Or just add an extension into net_decl_assignment
   hierarchical_net_identifier { unpacked_dimenension } [ = expression ]
   hierarchical_net_identifier { unpacked_dimenension } [ = constant_array_init ]
and do away with ams_net_identifier altogether.

Graham, if you happen to read this - this also needs to be addressed in the
SV-AMS merged grammar.

I have logged this as Mantis: 3570

Regards
Dave

On 05/19/2011 03:12 AM, fabrice baray wrote:
> Hello,
>
> I was reading the §3.6.3 of the LRM 2.3.1 on the Net discipline declaration. In
> the example
> of §3.6.3.2 it is written that we can initialize value with hierarchical
> identifier like this :
>
> mechanical top.foo.w = 250.0;
>
> But when I read the grammar rules I do not see this is possible :
>
> /net_declaration ::= // from A.2.1.3
> ...
> | discipline_identifier [ range ] list_of_net_identifiers ;
> | discipline_identifier [ range ] list_of_net_decl_assignments ;
> ...
> range ::= [ msb_constant_expression : lsb_constant_expression ] // from A.2.5
> list_of_net_decl_assignments ::= net_decl_assignment { , net_decl_assignment }
> // from A.2.3
> list_of_net_identifiers ::= ams_net_identifier { , ams_net_identifier }
> net_decl_assignment ::= // from A.2.4
> net_identifier = expression
> | net_identifier { dimension } = constant_optional_arrayinit
> ams_net_identifier ::=
> net_identifier { dimension }
> | hierarchical_net_identifier
> /
> The /net_decl_assignment/ production uses a /net_identifier/ and not an
> /ams_net_identifier/ and
> this is the /ams_net_identifier/ which contains the /hierarchical_net_identifier/.
>
> Do I make a mistake ?
>
> Regards,
> Fabrice
>
>
> --
> This message has been scanned for viruses and
> dangerous content by *MailScanner* <http://www.mailscanner.info/>, and is
> believed to be clean.

-- 
==============================================
-- David Miller
-- Design Technology (Austin)
-- Freescale Semiconductor
-- Ph : 512 996-7377 Fax: x7755
==============================================
-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.