[sv-ac] RE: Draft2 review assignments

Another option might be 'would be'.

Shalom

From: owner-sv-ac@eda.org [mailto:owner-sv-ac@eda.org] On Behalf Of Korchemny, Dmitry
Sent: Tuesday, August 16, 2011 11:59 AM
To: Prabhakar, Anupam; sv-ac@eda-stds.org
Subject: [sv-ac] RE: Draft2 review assignments

Hi Anupam,

I believe that the red hyphen is correct as it indicates a removed extra white space. Stu insists that 'is' a correct word here since it is referring to an action specific to a code example, and not a mandatory rule of the language. Scott also raised this question.

Thanks,
Dmitry

From: Prabhakar, Anupam [mailto:anupam_prabhakar@mentor.com]
Sent: Tuesday, August 16, 2011 00:22
To: Korchemny, Dmitry; sv-ac@eda-stds.org
Subject: 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.
---------------------------------------------------------------------
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.
---------------------------------------------------------------------
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, and is
believed to be clean.