[sv-bc] Config declaration BNF bug?

From: Bresticker, Shalom <shalom.bresticker_at_.....>
Date: Wed Dec 10 2008 - 05:50:12 PST
Hi,

The BNF of config_declaration in 33.4.1 and in A.1.5 is:

config_declaration ::=
        config config_identifier ;
                { local_parameter_declaration }
                design_statement
                { config_rule_statement }
        endconfig [ : config_identifier ]

The BNF of local_parameter_declaration is

local_parameter_declaration ::=
        localparam data_type_or_implicit list_of_param_assignments
        | localparam type list_of_type_assignments

list_of_param_assignments ::= param_assignment { , param_assignment }

param_assignment ::=
        parameter_identifier { unpacked_dimension } [ = constant_param_expression ]

I think that in config_declaration, "local_parameter_declaration" should have a semicolon:

config_declaration ::=
        config config_identifier ;
                { local_parameter_declaration ; }
                design_statement
                { config_rule_statement }
        endconfig [ : config_identifier ]

Shalom

Shalom Bresticker
Intel Jerusalem LAD DA
+972 2 589-6582
+972 54 721-1033


---------------------------------------------------------------------
Intel Israel (74) Limited

This e-mail and any attachments may contain confidential material for
the sole use of the intended recipient(s). Any review or distribution
by others is strictly prohibited. If you are not the intended
recipient, please contact the sender and delete all copies.

-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.
Received on Wed Dec 10 05:52:20 2008

This archive was generated by hypermail 2.1.8 : Wed Dec 10 2008 - 05:53:11 PST