[sv-champions] Reminder - Agenda for the July 31st Champions conference call

The meeting is tomorrow.

Neil



Neil Korpusik wrote:
> SystemVerilog Champions,
> 
> As we discussed at our meeting yesterday, we will be
> holding our next conference call on July 31st. The
> list of Mantis items for review is attached. There are
> 12 mantis items, 3 of which are duplicates.
> 
> Some of these proposals are fairly large.
> 
> Neil
> 
> 
> 
> 

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


 
               Toll Free Dial In Number: (866)839-8145
Int'l Access/Caller Paid Dial In Number: (215)446-3660
                            ACCESS CODE: 9301228


List of Mantis items for the next Champions meeting.
July 31, 2008. 8-10am PDT.



1.  2396  SV-SC  Add edge identifier edge for events
    - fixed
    - Passed by voice vote in SV-SC meeting, 2008-07-22.  11y/0n/1a
      Abstains: Lisa - just not sure, seems like there are other ways to do it. 


2.  2414  SV-SC  VPI for let
    - fixed
    - Passed voice vote in SV-SC meeting, 2008-07-22.  11y/0n/1a
      Mike Burns abstained due to lack of VPI expertise.


3.  2088  SV-SC  Allow Checker construct (0001900) to include covergroups
    - fixed
    - Passed by voice vote at SV-SC meeting 2008-07-22, conditional on Tom 
      reviewing p.3 example with two identical bins after return from vacation: 
      did he intend this legal but odd case to illustrate something subtle, or 
      should we replace it with a more typical case of disjoint bins?
	 8y/0n/4a

      Abstains:
    - Gordon based on email vote, likely to be substantive user-based issues 
      resulting in implementation divergence. Risk factors are too high. 
      Addresses current user needs, but will have future changes.
    - Steven based on same issues as Gord and hasn't reviewed the proposal.
    - Mirek: No expertise in cover groups.
    - Manisha: Agrees with Gordon


4.  2398  SV-SC  More consistent semantics for concurrent assertions in 
		 procedural code
    - fixed
    - Passed by voice vote at SV-SC meeting 2008-07-22, conditional on minor 
      edit implemented in version posted by Erik Seligman on 2008-07-23.

      12y/0n/0a


5.  2434  SV-SC  Changes to seq/prop defaults and typing of actuals
    - fixed
    - Passed in voice vote at SV-SC meeting, 2008-07-22.

      9y/1n/0a

      Mark Hartoog votes no - not needed, creates backwards compatibility 
      issues. Clarification - not 100% sure about the note at the end, but the 
      whole basic idea of casting these expressions to their self-determined 
      type has the potential to create very subtle backwards compatibility 
      issues per the face-to-face.

6.  1900  SV-SC  Add new 'checker' construct to SVA
    - fixed
    - 2008-01-15: Passed by e-mail vote, 7y/0n/3a. 
      There was a friendly amendment.
    - The proposal failed in the Champions email vote which ended on 
      Feb 4th, 2008.  Failed with 2 no-votes
    - was moved to the sv-sc 
    - the Champions feedback and a lot of sv-sc issues were addressed
    - Passed voice vote at SV-SC meeting, 2008-07-22, conditional on some 
      specific minor edits (implemented in version posted by Erik Seligman 
      on 2008-07-23).  9y/0n/3a

      Neil and Francoise abstained due to not enough time to review.
      Steven Sharp abstained because he believes it is under-researched and 
      too many changes have been made too quickly, though he has not actually 
      spotted any specific problems.

    Note: there are two proposal to review (part1 and part2), which have the 
          most recent timestamps.   part1 7/18, part2 7/23


7.  2110  SV-SC  Allow checkers in procedural for loops
    - duplicate
    - was moved to the sv-sc
    - SV-SC voted to close in email vote ending 2008-07-21. 
      Feature is now incorporated into 1900.  7y/0n/0ea/6ia
      (ea = explicit abstain, ia = implied abstain by not sending email)


8.  2411  SV-SC  Allow using triggered method in sequences
    - duplicate
    - SV-SC voted to close as duplicate in email vote ending 2008-07-21. 
      This is exactly the same proposal as 2415, accidentally entered twice.
      7y/0n/0ea/6ia
      (ea = explicit abstain, ia = implied abstain by not sending email)


9.  2089  SV-SC  Allow checker construct (0001900) to include final blocks with
                 immediate assertions
    - duplicate 
    - SV-SC voted to close as duplicate, in email vote ending 2008-07-21, 
      since feature is now included in 1900.  7y/0n/0ea/6ia

      (ea = explicit abstain, ia = implied abstain by not sending email) 


10. 1809  SV-BC  forward references into $unit package
    - fixed
    - On March 25, 2008 the SV-BC unanimously approved the attached proposal.
    - The proposal was unanimously approved by the Champions in the
      April 24th, 2008 conference call.
    - The proposal was unanimously approved by the Working Group
      in the conference call of May 01, 2008. 
    - Editor Note: I spent considerable time trying to add this proposal into 
      Draft 6, and finally had to back everything back out. There were too many 
      problems with the proposal to implement in its current form. The proposal 
      needs to be rewritten to:
       1) Use proper IEEE wording (no first person "we" or third person "you").
       2) Use paragraph styles consistent with the rest of the LRM
       3) Corrent grammar, spelling, and punctuation errors.
    - On July 21, 2008, the SV-BC approved the updated proposal (1809-v9.htm) 
      to address this issue.
      The vote was not unanimous. Shalom Bresticker abstained because he did 
      not have enough time to review the proposal.


11. 2428  SV-EC  There is a typo in the example of section 18.6 (page 468) 
		 i[1] is incorrect, it should be i[0]
    - fixed 
    - Approved on July 21 2008, editorial changes,


12. 2448  SV-BC  BNF for packed arrays of enums
    - fixed
    - On July 21, 2008 the SV-BC unanimously approved the attached proposal 
      to resolve this issue.