[sv-ac] 2476 and 3145 updated

Hi guys-- I've uploaded new versions of 2476 and 3145 to address the Champion issues. Dmitry-- I'll probably be missing next week's meeting due to FMCAD, so please feel free to make any further edits that come out of Tuesday's mtg.

-----Original Message-----
From: owner-sv-ac@eda.org [mailto:owner-sv-ac@eda.org] On Behalf Of Neil Korpusik
Sent: Saturday, October 22, 2011 7:52 PM
To: 'sv-ac@eda-stds.org'; SV_BC List; SV_EC List; sv-dc@eda.org
Subject: [sv-ac] Results from the most recent Champions email vote

FYI,

Below are the results of the most recent Champion's email vote.
The mantis database has been updated with these results.

The Resolution of "no change required" was unanimously approved by the
Champions in the email vote which ended on October 17, 2011.

    1091 SV-EC Jeda verification enhancements

The proposal was unanimously approved by the
Champions in the email vote which ended on October 17, 2011.

    1523 SV-BC How is ?: defined for non-integral data types?

The proposal was opposed by the Champions in the email vote which ended
October 17, 2011.

    1356 SV-EC Multiple inheritance
    3046 SV-EC Dotted names within inlined constraints
    2987 SV-EC Soft Constraints
    3724 SV-DC Allow generic interconnect for "typeless" connections
    3564 SV-AC Sec 9.2.2.2.1 needs to clarify whether variables read in an
    3145 SV-AC Need to clearly define "maximal property"

The proposal was approved by the Champions with friendly amendments
in the email vote which ended October 17, 2011.

    3001 SV-EC Proper Polymorphic behavior of instantiation
    2476 SV-AC Need clarification about system functions $onehot, etc

Neil

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