P1800 Champions,

 

We are conducting an email vote for mantis items that are in the resolved

state. There are 27 mantis items ready for the Champions. I have put

16 of them into this email vote. Four of these mantis items are duplicates,

all of the others have proposals.

 

Mark your votes as being either Approve or Oppose. If you Oppose, please

specify a reason.  You have until September 20, midnight (PST) to cast your

votes.

 

Neil

 

  1. 2506 SV-EC Non-trivial coverage space shapes and joint conditions are difficult to specify with covergroups
    There is a proposal (20 pages)
    The proposal was opposed by the Champions in the email vote ending on June 11, 2011. The feedback was addressed.
    The proposal (version 9) was unanimously approved by the sv-ec in the conference call of August 29th, 2011. This version addresses the Champion's feedback.

    Approve __ Oppose _x_>

I sent some issues on version 9 in http://www.eda-twiki.org/sv-ec/hm/8148.html.

Most of these have been corrected in version 11. However, that version has not yet been approved by SV-EC.

There are still a couple of open issues, discussed in http://www.eda-twiki.org/sv-ec/hm/8157.html.

I have not yet reviewed the rest of the proposal. I hope to get to it by the SV-EC  meeting on the 26th.

 

  1. 3398 SV-DC User defined nets and resolution functions
    There is a proposal (8 pages)
    The proposal was opposed by the Champions in the email vote which ended July 1, 2011.
    Approved v22 by voice vote in the SV-DC meeting on 2011-09-07. This version addresses the Champions feedback. 10y:0n:1a

    Approve _x_ Oppose __>

Approval conditional on changing the title of the syntax box in 6.6.7 to "Syntax for net type declarations" and changing its number to Syntax 6-1.

Friendly amendments:

In 6.6, change "built-in or user-defined" to "built-in and user-defined".

In 6.7.2, change the comma after "Table 6-7 defines … if no initializer is provided," to a semicolon.

I also think the words "for valid data types of a net" are probably unneeded.

Change the added title "6.22.6 Matching nettypes" to blue.

 

  1. 1251 SV-BC 9.7.6 does not explicitly say what happens if "wait" condition is 'x' or 'z'
    There is a proposal (1 page).
    A relatively small set of changes.
    On August 29, 2011 the SV-BC unanimously approved the attached proposal.

    Approve _x_ Oppose __>

 

  1. 3034 SV-AC Allow continuous and blocking assignments in checkers
    Duplicate of 3033
    Approved by voice vote 2011-09-06: 10y/0n/0a.

    Approve _x_ Oppose __>

Approval conditional on changing the Summary field in Mantis 3033 to reflect its more general nature than the current description.

 

  1. 2809 SV-AC Checker instantiation in checkers' always procedure
    Duplicate of 3033
    Approved by voice vote 2011-09-06: 10y/0n/0a.

    Approve _x_ Oppose __>

 

  1. 2897 SV-AC Allow $display in checkers
    Duplicate of 3033, 2743
    Approved by voice vote 2011-09-06: 10y/0n/0a.

    Approve _x_ Oppose __>

 

  1. 2743 SV-AC Allow subroutine_call_statement in a checker
    Duplicate of 3033, 2897
    Approved by voice vote 2011-09-06: 10y/0n/0a.

    Approve _x_ Oppose __>

Friendly amendment: Remove "duplicate of 2897". You should not have a circulation duplication and then close both on the basis of it.

 

  1. 3206 SV-AC Deferred assertions are sensitive to glitches
    There is a proposal (6 pages)
    Amended proposal approved by voice vote 2011-09-06: 10y/0n/0a.

    Approve __ Oppose __>

Abstain, not enough time.

 

  1. 3033 SV-AC Allow procedural control statements is checkers
    There is a proposal (19 pages)
    Passed in email ballot 2011-09-05: 8y/0n/0a.

    Approve __ Oppose __>

Abstain, not enough time.

 

  1. 2476 SV-AC Need clarification about system functions $onehot, etc
    There is a proposal (7 pages)
    This is the third time this proposal has reached the Champions.
    Amended proposal passed by voice vote 2011-08-30: 10y/0n/0a.

    Approve __ Oppose __>

Abstain, not enough time.

 

  1. 3113 SV-AC Add port_identifier to constant_primary BNF for sequences, properties and checkers
    There is a proposal (7 pages)
    This is the 4th time this proposal has reached the Champions.
    Passed by voice vote 2011-08-30: 10y/0n/0a.

    Approve __ Oppose __>

Abstain, not enough time.

 

  1. 2578 SV-AC Vacuity definition
    There is a proposal (2 pages). A relatively small set of changes.
    Passed by the voice vote 2011-08-30: 10y/0n/0a.

    Approve _x_ Oppose __>

 

  1. 2328 SV-AC Review and relax restrictions on data types in assertions
    There is a proposal (9 pages)
    Passed by email ballot 2011-08-22: 9y/0n/0a.

    Approve __ Oppose __>

Abstain, not enough time.

 

  1. 3069 SV-AC Relax rules for $global_clock resolution
    There is a proposal (6 pages)
    This is the second time this proposal has gone to the champions.
    The amended proposal passed by voice vote 2011-08-23: 7y/0n/0a.

    Approve __ Oppose __>

Abstain, not enough time.

 

  1. 3233 SV-BC implicit wire declarations should occur in instantiations of programs/interfaces also
    There is a proposal (1 page)
    This is the second time the proposal has reached the Champions.
    On August 15, 2011 the SV-BC unanimously approved the attached proposal.

    Approve _x_ Oppose __>

 

  1. 1504 SV-BC introduce parameterized structures
    There is a proposal (1 page)
    On August 15, 2011 the SV-BC unanimously approved the attached proposal.

    Approve _x_ Oppose __>