[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:

2328 Review and relax restrictions on data types in assertions
2476 Need clarification about system functions $onehot, etc
2547 local variable read before write
2578 Vacuity definition
2743 Allow subroutine_call_statement in a checker
2809 Checker instantiation in checkers' always procedure
2897 Allow $display in checkers
3015 Examples of $fatal have bad arguments
3069 Relax rules for $global_clock resolution
3033 Allow procedural control statements is checkers
3034 Allow continuous and blocking assignments in checkers
3113 Add port_identifier to constant_primary BNF for sequences, properties and checkers
3206 Deferred assertions are sensitive to glitches
3295 need a way to control only asserts/covers/assume directives
3385 Possible ambiguity when deferred assertion action block calls nested function

The following issues has been sent to SV-BC, SV-CC, and SV-EC for backward compatibility review per the champions request. No feedback received yet:
3069 Relax rules for $global_clock resolution

SV-AC is completed reviewing Draft 2. All issues have been reported to the editor.

SV-AC is currently working on Mantis 2093: Checker construct should permit output arguments. This is the last enhancement SV-AC is planning to implement at this PAR.
SV-AC expects significant amount of work in addressing the champions feedback on the recently implemented major enhancements.

Thanks,
Dmitry

-----Original Message-----
From: Neil Korpusik [mailto:neil.korpusik@oracle.com]
Sent: Saturday, September 03, 2011 05:01
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 next Thursday (September 8th).
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.

This is the last P1800 meeting before the October 1st Technical Committee cutoff date for this PAR. The Working Group should be informed of any major hurdles that remain. The Working Group is already aware that some of the committees will not complete all 25 items on their top-25 lists.

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.