[sv-ac] RE: Draft2 review assignments

Thank you, Scott. Just posting Stu's comment for future reference.

"The use of "is" in this context is correct; it is referring to an action specific to a code example, and not a mandatory rule of the language."

Anupam

From: Little Scott-B11206 [mailto:B11206@freescale.com]
Sent: Monday, August 15, 2011 2:25 PM
To: Prabhakar, Anupam; Korchemny, Dmitry; sv-ac@eda-stds.org
Subject: RE: Draft2 review assignments

Hi Anupam:

Regarding your final item, I had a similar question when I reviewed 2732. Stu gives some additional clarification in the notes to 2732.

Thanks,
Scott

From: owner-sv-ac@eda.org [mailto:owner-sv-ac@eda.org] On Behalf Of Prabhakar, Anupam
Sent: Monday, August 15, 2011 4:22 PM
To: Korchemny, Dmitry; sv-ac@eda-stds.org
Subject: [sv-ac] RE: Draft2 review assignments

Review for Sec 16.9

At the bottom of page 341 of D2 (page 377 of the pdf)
In Figure 16-4, the vertical arrows indicate the ticks of the global clock. The assertion a1 is violated at time
80 because $changing_gclk(sig) is true and $falling_gclk(clk) is false. Because the assertion
contains global clocking future- sampled value functions, the error task $error("sig is not stable")
in the action block is executed at time 90. If, as part of the tool-specific message printed by $error, a tool
reports the ending or failing time of this evaluation attempt, the time reported is 80.

Strike out the red - after future.
Also, the proposal had 'the time reported must be 80'. Here must has been removed. I think it should actually be replaced by 'shall'. I think I reported this for draft1 also. Can you clarify what it is the right convention here.

Anupam

From: owner-sv-ac@eda.org [mailto:owner-sv-ac@eda.org] On Behalf Of Korchemny, Dmitry
Sent: Thursday, August 04, 2011 6:39 AM
To: sv-ac@eda-stds.org
Subject: [sv-ac] Draft2 review assignments

Hi all,

You are requested to review the following parts of Draft2 until (including) 15-Aug-2011:

* Chapter 14 - Ben
* Chapter 16: Beginning - 16.8 (inclusive) - Laurence
* Chapter 16: 16.9 - Anupam
* Chapter 16: 16.10 - 16.13.14 (inclusive) - Samik
* Chapter 16: 16.13.15 - 16.15.5 (inclusive) - Dmitry
* Chapter 16: 16.15.6 - End - Tom
* Chapter 17 - Erik
* Chapter 20 - Manisha
* Chapter 22 Annex B - Scott
* Chapter 37 - Tapan
* Chapter 39 - Tapan
* Annex A - Ben
* Annex C - Scott
* Annex F - Ed
* Annex K - vpi_user.h - Ashok
* Annex M - sv_vpi_user.h - Ashok
* Annex P - Scott

Please, let me know ASAP if you are unable to do this.

Thanks,
Dmitry
---------------------------------------------------------------------
Intel Israel (74) Limited

This e-mail and any attachments may contain confidential material for
the sole use of the intended recipient(s). Any review or distribution
by others is strictly prohibited. If you are not the intended
recipient, please contact the sender and delete all copies.

--
This message has been scanned for viruses and
dangerous content by MailScanner<http://www.mailscanner.info/>, and is
believed to be clean.
--
This message has been scanned for viruses and
dangerous content by MailScanner<http://www.mailscanner.info/>, and is
believed to be clean.
-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.