Subject: [sv-bc] propsal for SV-BC Issue 23: Footnote for (old) SV-BC73
From: Jacobi, Dan (dan.jacobi@intel.com)
Date: Mon Jul 21 2003 - 01:35:28 PDT
Issue 23
Issue : SV-BC Issue 23: Footnote for (old) SV-BC73
Motivation : clarify that the following statements are illegal
MyStruct = 1;
s1 = {default: 0};
Proposal :
1. Under A.8.4
REPLACE
constant_primary ::=
| 0 | 1 | z | Z | x | X
WITH (adding the upper case number 12)
constant_primary ::=
| 0 | 1 | z | Z | x | X 12 <red bold 0 1 z Z x X , upper case 12>
2. Under A.8.4
REPLACE
primary ::=
| 0 | 1 | z | Z | x | X
WITH (adding the upper case number 12)
primary ::=
| 0 | 1 | z | Z | x | X 12 <red bold 0 1 z Z x X , upper case 12>
3. Under Annex A last section titled Notes
ADD
12) The apostrophe () in constant_primary or primary shall not be preceded or followed by white_space.
* note that the foot note number 12 may be replaced by the editor, to fit the foot note numbering mechanism used by the editor.
Dan Jacobi
Intel Corporation
This archive was generated by hypermail 2b28 : Mon Jul 21 2003 - 01:36:47 PDT