[sv-cc] information on SV-AC items and efforts

Hi SV-CC:

Below is information that I received from SV-AC members about
AC items that will require VPI changes.

It is also possible that some others will come up, but this is
our best representation at the moment.

J.H.

Items requiring VPI changes:
----------------------------

1667 will require VPI changes to be developed, but these are expected to be low effort.

2005 has some minor VPI changes, adding the isDeferred attribute.

1648 - default disable iff has a little VPI in it.

2250 VPI changes related to 1932 (medium)

2182 Elaborate VPI diagrams for checkers (high)

1973 - case statement in properties : changes in property spec syntax

2100 - synchronous resets : minor changes in property operators

1599 - VPI changes for 0805.  This has already been reviewed by SV-CC and 
   re-approved by SV-AC.  SV-CC should look at it once more after we resolve it.

1503 - This is already being worked on by SV-CC.  It was moved back to SV-AC, but Bassam 
   has said that SV-CC is still working on it.

Items not expected to require VPI changes:
------------------------------------------

1668 is not expected to require VPI changes

1698 (sampled value functions).  There are no VPI impacts with this.

1995 and 2110 should not directly affect the VPI.


-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.