Subject: sv-bc19-35
From: Shalom Bresticker (Shalom.Bresticker@motorola.com)
Date: Sun Dec 29 2002 - 00:02:41 PST
Please note that the comment in sv-bc19-35 is wrong.
There is an ambiguity in the BNF with respect to 'repeat',
but the correct description of the problem and the correct solution
can be found in the enclosed mail and its link.
-- 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"The devil is in the details."
attached mail follows:
Precedence: bulk
In A.6.5, after event_expression add the following new nonterminal and definition --
procedural_timing_control ::= delay_control | event_control
and change the definition of procedural_timing_control_statement from
<pre> procedural_timing_control_statement ::= delay_or_event_control statement_or_null </pre>
to
<pre> procedural_timing_control_statement ::= procedural_timing_control statement_or_null </pre>
Shalom: And in Syntax 9-8 (9.7),
DELETE: delay_or_event_control
ADD at the top the new definitions of procedural_timing_control_statement and procedural_timing_control.
At the same time, I would say that we could delete the definition of event_expression from this syntax box. http://boydtechinc.com/cgi-bin/issueproposal.pl?cmd=view&pr=85
This archive was generated by hypermail 2b28 : Sun Dec 29 2002 - 00:03:20 PST