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

Hi Neil,

Here is the SV-AC status:

The following issues have been resolved:

1646 Generate constructs within properties and sequences
2412 Allow clock inference in sequences
3069 Relax rules for $global_clock resolution

The following issues have been sent back from the champions:
2476 Need clarification about system functions $onehot, etc
3385 Possible ambiguity when deferred assertion action block calls nested function

The following issue has been set into Feedback status by SV-AC to address Shalom's comments:
3295 need a way to control only asserts/covers/assume directives

SV-AC is working on addressing the champions' feedback and on checker usability enhancements (Mantis 3033).

Thanks,
Dmitry

-----Original Message-----
From: Neil Korpusik [mailto:neil.korpusik@oracle.com]
Sent: Monday, July 11, 2011 22:40
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 Wednesday

P1800 technical committee chairs,

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

Please send me a copy of your status by Wednesday 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.