[sv-ac] RE: P1800 TC status for the Working Group meeting - needed by Tuesday

Hi Neil,

The following issues have been resolved:
2271 sequence events require a clocked sequence
2556 Explicit package scope indication is not allowed for checkers
3213 Update definition of sampled value
3295 need a way to control only asserts/covers/assume directives
3491 Incorrect local variable flow rule in F.5.4

The following issues have been reviewed by the champions and sent back to SV-AC with comments to be addressed:
2412 Allow clock inference in sequences
2476 Need clarification about system functions $onehot, etc
3113 Add port_identifier to constant_primary BNF for sequences, properties and checkers
3135 Verbal explanation of nexttime and always is misleading for multiple clocks.
3385 Possible ambiguity when deferred assertion action block calls nested function

The committee is now working on checker usability enhancements:
3033 Allow procedural control statements is checkers
3034 Allow continuous and blocking assignments in checkers
3035 More flexible definition of checker argument sampling

Thanks,
Dmitry

-----Original Message-----
From: Neil Korpusik [mailto:neil.korpusik@oracle.com]
Sent: Friday, June 10, 2011 21:18
To: Little Scott-B11206; Korchemny, Dmitry; Maidment, Matthew R; Charlie Dawson; Mehdi Mohtashemi
Cc: Brad Pierce; Thomas Thatcher; Ghassan Khoory; Rich, Dave; Karen Pieper
Subject: P1800 TC status for the Working Group meeting - needed by Tuesday

P1800 technical committee chairs,

The next P1800 working group meeting will be held next Thursday (June 16th).
Please provide me with a one page summary of your committee status.

Please send me a copy of your status by Tuesday afternoon. This will allow me to roll it up into a single document that can be referenced in the minutes.

Neil Korpusik
P1800 Technical Chair
---------------------------------------------------------------------
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.