Subject: FW: [sv-bc] proposal to bring SV BNF in line with 2001 BNF.
From: Jacobi, Dan (dan.jacobi@intel.com)
Date: Mon Feb 03 2003 - 21:43:22 PST
Sorry my mistake,
on the bottom you can find a fixed proposal
Thanks
Danny
>-----Original Message-----
>From: Shalom Bresticker [mailto:Shalom.Bresticker@motorola.com]
>Sent: Sunday, February 02, 2003 11:22 AM
>To: Jacobi, Dan
>Cc: sv-bc@eda.org
>Subject: Re: [sv-bc] proposal to bring SV BNF in line with 2001 BNF.
>
>
>Dan,
>
>I did not review this summary thoroughly, but I did note the following:
>
>ETF #21 removes 'memory_identifier', not 'library_identifier'.
>
>Shalom
>
>
>--
>Shalom Bresticker Shalom.Bresticker@motorola.com
>Design & Reuse Methodology Tel: +972 9 9522268
>Motorola Semiconductor Israel, Ltd. Fax: +972 9 9522890
>POB 2208, Herzlia 46120, ISRAEL Cell: +972 50 441478
Fixed Proposal
==========
>Hello All,
>
>Attached are all the adjustments needed to the System-Verilog BNF
>in order to align it with all the ETF issues that passed and are
>reflected in the IEEE 1364-2004/D1 BNF. (The IEEE Document I am
>referring to was dated 1/30/03).
*** ETF 12 ***
http://www.boyd.com/1364_btf/report/full_pr/12.html
Under A.1.5
REPLACE:
parameter_override ::= 'defparam' list_of_param_assignments ';'
WITH:
parameter_override ::= 'defparam' list_of_defparam_assignments ';'
Under A.2.3
ADD:
list_of_defparam_assignments ::= defparam_assignment { ','
defparam_assignment }
Under A.2.4
ADD:
defparam_assignment ::= hierarchical_parameter_identifier =
constant_expression
Under A.9.3
ADD:
hierarchical_parameter_identifier ::= hierarchical_identifier
*** ETF 25 ***
http://www.boyd.com/1364_btf/report/full_pr/25.html
Under A.4.1
REPLACE:
named_port_connection ::= { attribute_instance } .port_identifier (
[ expression ] )
WITH:
named_port_connection ::= { attribute_instance } '.' port_identifier
'(' [ expression ] ')'
* adding a space between the dot and the port_identifier syntactic category.
*** ETF 25 ***
http://www.boyd.com/1364_btf/report/full_pr/26.html
Under A.7.4
REPLACE:
list_of_path_delay_expressions ::=
t_path_delay_expression
| trise_path_delay_expression ',' tfall_path_delay_expression
| trise_path_delay_expression ',' tfall_path_delay_expression ','
tz_path_delay_expression
| t01_path_delay_expression ',' t10_path_delay_expression ','
t0z_path_delay_expression ','
tz1_path_delay_expression ',' t1z_path_delay_expression ','
tz0_path_delay_expression
| t01_path_delay_expression ',' t10_path_delay_expression ','
t0z_path_delay_expression ','
tz1_path_delay_expression ',' t1z_path_delay_expression ','
tz0_path_delay_expression
t0x_path_delay_expression ',' tx1_path_delay_expression ','
t1x_path_delay_expression ','
tx0_path_delay_expression ',' txz_path_delay_expression ','
tzx_path_delay_expression
WITH:
list_of_path_delay_expressions ::=
t_path_delay_expression
| trise_path_delay_expression ',' tfall_path_delay_expression
| trise_path_delay_expression ',' tfall_path_delay_expression ','
tz_path_delay_expression
| t01_path_delay_expression ',' t10_path_delay_expression ','
t0z_path_delay_expression ','
tz1_path_delay_expression ',' t1z_path_delay_expression ','
tz0_path_delay_expression
| t01_path_delay_expression ',' t10_path_delay_expression ','
t0z_path_delay_expression ','
tz1_path_delay_expression ',' t1z_path_delay_expression ','
tz0_path_delay_expression ','
t0x_path_delay_expression ',' tx1_path_delay_expression ','
t1x_path_delay_expression ','
tx0_path_delay_expression ',' txz_path_delay_expression ','
tzx_path_delay_expression
* The 12-expression list is missing a comma between
expressions 6 and 7.
*** ETF 30 ***
http://www.boyd.com/1364_btf/report/full_pr/30.html
Under A.7.5.3
REPLACE:
edge_control_specifier ::= edge [ edge_descriptor [ ,
edge_descriptor ] ]
WITH:
edge_control_specifier ::= edge '[' edge_descriptor { ','
edge_descriptor } ']'
*** ETF 21 ***
http://www.boyd.com/1364_btf/report/full_pr/21.html
Under A.9.3
REMOVE:
memory_identifier ::= identifier
*** ETF 32 ***
http://www.boyd.com/1364_btf/report/full_pr/32.html
Under notes section (note 2)
REPLACE:
2) A simple_identifier and arrayed_reference shall start with an
alpha or underscore (_)character, shall have at least one
character,and shall not have any spaces.
WITH:
2) A simple_identifier shall start with an
alpha or underscore (_)character, shall have at least one
character,and shall not have any spaces.
Dan Jacobi
Intel
Phone : (972)-4-8655855
This archive was generated by hypermail 2b28 : Mon Feb 03 2003 - 21:43:59 PST