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

The following two Mantis items also need to be reviewed by the sv-cc.
Francoise sent email to the sv-cc on these back in late December.

    1757
    1898

Neil



John Havlicek wrote:
> 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.