Subject: Comments on P1364.1/Draft 2.3, Clause 5
From: Shalom Bresticker (Shalom.Bresticker@motorola.com)
Date: Thu Oct 03 2002 - 06:40:44 PDT
5.1: Sentence 1 of para. 4 appears to duplicate sentence 1 of para. 2.
I suggest to combine para. 2 and para. 4 into para. 2, and then move
current para. 3
to after current para. 5, before Example 2.
5.1, para. 2: "It may be necessary to include in the event list ...":
How about wording it as a recommendation:
"However, all the variables read in the always statement should be
included in the
event list in order to avoid mismatches between simulation and
synthesized logic."?
5.2.1.1-2: "always @(pos/negedge <clock_name>)":
<clock_name> implies a clock, which is misleading.
It could be a reset signal, for example.
5.2.2, 5.3: "A/n edge/level-sensitive storage device shall be modeled
for a variable ...".
That word "for" is confusing here. Other places say, "modeled by" or
"modeled using".
"modeled for" sounds like the meaning is different.
This archive was generated by hypermail 2b28 : Thu Oct 03 2002 - 06:54:17 PDT