[sv-bc] The most recent champions email vote results

Below are the Champions results for the most recent email vote, which ended
on September 20, 2011.

When there is feedback from the Champions, the mantis item is placed into
the feedback state. Each Technical Committee should check for mantis items
in the feedback state to ensure that none get left behind. ALl 5 technical
committees currently have mantis items in the feedback state.

The Resolution of being a duplicate was unanimously approved

    2809 SV-AC Checker instantiation in checkers' always procedure
    2897 SV-AC Allow $display in checkers

The Resolution of being a duplicate was approved by the Champions

    3034 SV-AC Allow continuous and blocking assignments in checkers
    2743 SV-AC Allow subroutine_call_statement in a checker

The proposal was unanimously approved

    1251 SV-BC 9.7.6 does not explicitly say what happens if "wait" condition
    2578 SV-AC Vacuity definition
    3233 SV-BC implicit wire declarations should occur in instantiations of
    1504 SV-BC introduce parameterized structures

The proposal was opposed by the Champions

    2506 SV-EC Non-trivial coverage space shapes and joint conditions are

The proposal was approved by the Champions with friendly amendments

    3398 SV-DC User defined nets and resolution functions

The proposal was part of the Champion's email vote which ended on
September 20, 2011. Some of the Champions needed more time to review it.

    3206 SV-AC Deferred assertions are sensitive to glitches
    2476 SV-AC Need clarification about system functions $onehot, etc
    3113 SV-AC Add port_identifier to constant_primary BNF for sequences,
    2328 SV-AC Review and relax restrictions on data types in assertions
    3069 SV-AC Relax rules for $global_clock resolution
    3033 SV-AC Allow procedural control statements is checkers

Neil

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