Thanks for the feedback, Dmitry. I took care of your suggestions 1 and 2 in revision SV-890-8.pdf. I can't think of a decent example for your suggestion 3. If you can think of one, please send it to me and I can add it. I'll let Cliff handle your feedback on part 2. Regards, Doug > -----Original Message----- > From: owner-sv-ac@server.eda.org > [mailto:owner-sv-ac@server.eda.org] On Behalf Of Korchemny, Dmitry > Sent: Wednesday, March 14, 2007 8:10 AM > To: sv-ac@server.eda-stds.org; sv-ec@server.eda-stds.org > Subject: [sv-ac] [sv-ec] Mantis item 890 > > Hi all, > > I have several minor comments: > > 1. Part I. Page 3: always @(negedge clk); $display(cb.v); // Drop the > first semicolon > > 2. Part I. Page 4. The following paragraph is not clear. Need an > example. > > It is possible for a drive statement to execute at a time that is not > coincident with its clocking event. Such drive statements > shall execute > without blocking, but shall perform their drive action as if they had > executed at the time of the next clocking event. The expression on the > right hand side of the drive statement shall be evaluated immediately, > but the processing of the drive is delayed until the time of the next > clocking event. > > 3. Part I. Page 4. This is clear, but an example would help: > > Although synchronous drives use the same operator syntax as > nonblocking > variable assignments, they are not the same. However, they do share > certain characteristics. Like nonblocking variable assignments, a key > feature of inout clocking variables and synchronous drives is that a > drive does not change the clocking block input. This is > because reading > the input always yields the last sampled value, and not the driven > value. > > 4. Part II. 9.3.2.1 Preponed events region > Sampling in the Preponed region is equivalent to sampling in the > previous Postponed region. > > This is almost true: if both of them exist. > > 5. Sampling in the very first preponed region should be formally > defined. We found it during discussions on the $sampled > function. It may > be done in a different Mantis item. > > Thanks, > Dmitry > > -- > This message has been scanned for viruses and > dangerous content by MailScanner, and is > believed to be clean. > > > -- This message has been scanned for viruses and dangerous content by MailScanner, and is believed to be clean.Received on Wed Mar 14 22:31:52 2007
This archive was generated by hypermail 2.1.8 : Wed Mar 14 2007 - 22:32:45 PDT