1364-2001 Section 9.7 Procedural timing controls

From: Shalom Bresticker (Shalom.Bresticker@motorola.com)
Date: Wed Mar 07 2001 - 04:16:11 PST


<x-html>
<!doctype html public "-//w3c//dtd html 4.0 transitional//en">
<html>
I have a couple of minor problems with section 9.7.
<br>I am looking at draft 6.
<br>
<p>1. Section 9.7.2 "Event control" gives the impression that @(r)
triggers only on a change in the LSB of r (where r is a vector), whereas
that is true only for @(posedge r) and @(negedge r). @(r) actually
triggers on any change in r.
<p>The Cadence Verilog-XL manual is clearer on that point, although
the syntactic meaning is different.
<br>There they show that
<br>event_expression ::= expression | posedge SCALAR_EVENT_EXPRESSION
| ...
<br>
<p>2. Another quibble I have is that event_expression ::= @event_identifier
| @(event_expression) | ... in Syntax 9-8 (and elsewhere).
<br>The use of event_identifier here gives the misleading impression that
the "@r" syntax (without parentheses)
<br>is only for named events (i.e., event_identifier is an identifier of
an event), whereas actually any net or variable or named event can be used.
<p>3. Finally, at the top of page 144, a few lines before Syntax 9-10,
the following sentence is incomplete:
<br>"-- Its occurrence can be recognized by using the event control syntax
described in".
<br>(should be "described in 9.7.2").
<p>Shalom
<br>
<pre>--
**************************************************************************
Shalom Bresticker Shalom.Bresticker@motorola.com
Motorola Semiconductor Israel, Ltd. Tel #: +972 9 9522268
P.O.B. 2208, Herzlia 46120, ISRAEL Fax #: +972 9 9522890
**************************************************************************</pre>
 </html>

</x-html>



This archive was generated by hypermail 2.1.4 : Mon Jul 08 2002 - 12:54:39 PDT and
sponsored by Boyd Technology, Inc.