[sv-cc] updated VPI efforts

Hi Folks:

Please find below updated effort estimates for VPI work
related to SV-AC proposals.

J.H.

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

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.

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.

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

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

1806 - restrict.  This has some small VPI changes.

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

2100 - synchronous resets : minor changes in property operators

2173 - case statement in properties:  proposal was revised to reduce VPI impact; there
   are still some small VPI changes to add the case property to property_expr.

2182 Elaborate VPI diagrams for checkers (high)

2250 VPI changes related to 1932 (medium)


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 should not directly affect the VPI.

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.