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

Hi Neil,

The following issues have been resolved:

1675 Assertion system function syntax is not complete
2209 Add optional event control to deferred assertions in 2005
2271 sequence events require a clocked sequence2387 Layout of 16.11 is inconsistent
2476 Need clarification about system functions $onehot, etc
2804 Need to clarify rule (b) in 16.15.6 to allow inferred clock when expression appears in procedural assertion
3037 Introduce assertion system functions for 4-valued type support
3191 Allow sequence methods with sequence expressions
3377 Fix method names in C.2.3 ended sequence method
3491 Incorrect local variable flow rule in F.5.4

The committee is working on the following enhancements:
3069: Relax rules for $global_clock resolution
3213: Update definition of sampled value
3295: need a way to control only asserts/covers/assume directives
3385: Possible ambiguity when deferred assertion action block calls nested function

The committee is also working on P1800-11-1 Draft review.

Thanks,
Dmitry

-----Original Message-----
From: Neil Korpusik [mailto:neil.korpusik@oracle.com]
Sent: Monday, May 09, 2011 20:42
To: Little Scott-B11206; Korchemny, Dmitry; Maidment, Matthew R; Charlie Dawson; Mehdi Mohtashemi
Cc: Brad Pierce; Thomas Thatcher; Ghassan Khoory; Rich, Dave
Subject: P1800 TC status for the Working Group meeting - needed this week

P1800 technical committee chairs,

The next P1800 working group meeting will be held this Thursday (May 12th).
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.