[sv-ac] RE: Issue implementation proofreading

Hi Dmitry,

> 2955 Checker example is wrong
> 3491 Incorrect local variable flow rule in F.5.4

Both these items seems correct to me.

Warm regards,
Tapan
"You must be the change you want to see in the world" : Mahatma Gandhi
From: owner-sv-ac@eda.org [mailto:owner-sv-ac@eda.org] On Behalf Of Korchemny, Dmitry
Sent: Wednesday, August 03, 2011 9:59 PM
To: sv-ac@eda-stds.org
Subject: [sv-ac] Issue implementation proofreading

Hi all,

You are requested to proofread the following issues by 15-Aug-2011. Please, confirm or send a notification that you will be unable to do it.

Laurence
2556 Explicit package scope indication is not allowed for checkers

Ed
2452 No vacuity information about synchronous aborts
2839 Contradictory statement of increment/decrement operators usage.

Tapan
2955 Checker example is wrong
3491 Incorrect local variable flow rule in F.5.4

Jacob
3191 Allow sequence methods with sequence expressions

Dmitry
2551 trivial example error
2552 Confusing comments regarding nexttime operator
3376 triggered should be typeset as code
3377 Fix method names in C.2.3 ended sequence method
3556 Typo in 16.10 Local variables
3565 Typos in 16.15.8 Nonvacuous evaluations
3573 Typesetting issue in 16.13 Declaring properties

Scott
2386 Rename 16.9 to "Local variables"?
2732 Clarify timing diagram in Figure 16-4. Future value change
3020 Recursive property Restriction 4 is not consistent between Clause 16.13.17 and Annex F.7

Anupam
2934 Precedence and associativity of case operator is not shown in the table

Samik
2485 terminology related to immediate and deferred assertions

Erik
1933 16.13.6 reference to triggered method can be improved
2557 Rules for passing automatic variables to sequence subroutines are not clear
2804 Need to clarify rule (b) in 16.15.6 to allow inferred clock when expression appears in procedural assertion

Tom
2722 Errors in Figures 16-14, 16-15, and 16-16

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, and is
believed to be clean.