[sv-champions] Minutes from July 10th conference call

From: Neil Korpusik <Neil.Korpusik_at_.....>
Date: Tue Jul 15 2008 - 16:55:39 PDT
-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.


 
    Champions  July 10, 2008  Conference call
                Thursday 8-10am PDT

Attendees:
----------
1. - Stu Sutherland
2. - Surrendra Dudani
3. * Brad Pierce
4. * Francoise Martinolle
5. * Shalom Bresticker
6. * John Havlicek
7. * Dave Rich
8. * Neil Korpusik


1. Review IEEE patent policy

   ref:  http://standards.ieee.org/board/pat/pat-slideset.ppt
   Dave, Brad - assume the patent policy was read. 

2. List of Mantis items for review


2.1  2431  SV-AC  Addressing editor issue regarding \equiv operator definition
    - Fixed
    - Unanimously approved by sv-ac by voice vote 2008-06-30: 5y/0n/0a

              Move: Brad - approve the proposal for Mantis item 2431
            Second: John
            Passed unanimously


2.2  2173  SV-AC  Add case construct for properties.
    - Fixed
    - Unanimously approved by the SV-AC 2008-03-20: Voice vote 5y/0n/0a
    - Champions sent it to sv-bc for review
    - SV-BC provided feedback 
    - It was updated with SV-BC feedback and aligned to draft 6
      Re-approved by the sv-ac by voice vote 2008-06-30: 5y/0n/0a
    - June 30, Dmitry sent email to sv-bc notifying them of the change 
    - July 07, sv-bc approves the change but notes an invalid usage of a keyword
      An example uses 'wait' as though it isn't a keyword.
    - Dmitry plans to address this in the sv-ac meeting of July 14 

              Move: Brad - Approve the proposal for Mantis item 2173 with a 
			   friendly amendment to change 'wait' to 'delay' 
			   in the example
            Second: Dave - It needs to also be updated on mantis before going 
			   to the working group
            Passed unanimously

     John - also noticed some minor mistakes in the fonts 
     Neil - the Editor already has to reformat when moving to Framemaker
   

2.3  2326  SV-AC  add VPI diagrams for property case
    - Fixed
    - Unanimously approved by the sv-ac 2008-03-20: Voice vote 5y/0n/0a
    - The SV-CC reviewed this on 04/09/2008 and PASSED it (unanimous).
    - The proposal was deferred by the Champions in the April 24th, 2008
      conference call until 0002173 is completed.
    - aligned with Draft6. Approved by voice vote 2008-06-30: 5y/0n/0a


      John  - how does vpi allow checking if a case_item is the default?
	    - he expected a note about this
      Brad  - in 33.63 it mentions that the default returns null
      John  - this one should be similar to the procedural case. 
     Shalom - page 2, the blue is in the upper part (from draft 6)
      Brad  - the colorized version is from draft 6
     Shalom - the to part appears to be wrong (bool: vpiOpstrong)
      Brad  - it isn't blue - not intended to be changed.
	    - not sure how to fix 

AI/Brad - change the "to" part in the proposal 
AI/Neil - notify the sv-ac of this

              Move: Brad - approve the proposal for Mantis item 2326
			   the amended proposal.
            Second: John
            Passed unanimously


2.4  2327  SV-AC  2173 adds property case, need to add vacuity definition and 
		 multi clocking behavior in it
    - Fixed
    - SV-AC unanimously approved 2008-03-20: Voice vote 5y/0n/0aS
    - The proposal was deferred by the Champions in the April 24th, 2008
      conference call until 0002173 is completed. 
    - aligned to Draft6 was approved by voice vote 2008-06-30: 5y/0n/0a


      Shalom - non-vacuous is missing a '-' in the blue text
      John   - "attempts" - this term is used when there are multiple 
	       evaluations possible
             - evaluation and evaluation attempts are not really different
      Dave   - attempt - creates a thread 
	       evaluation is the evaluation

AI/Neil - add a note to the editor for the hyphenation problem.

      Dave   - attempt vs evaluation should be cleaned up in the next PAR.
      John   - the other items in this same list all say "evaluation attempt"
      Shalom - others items in the list also seem to have the same problem as 
	       this mantis

              Move: Shalom - send the proposal for Mantis item 2327 back to 
			     sv-ac. Look at ad) ab) and ac).
			     All should be checked.
            Second: Dave
            Passed unanimously


2.5  742  SV-CC  Need VPI info on parameters that are types
    - Fixed
    - On 06/04/2008 the SV-CC PASSED this proposal (unanimous).


      FM     - dashed bubbles - that means a new class being added
      Shalom - see page 7 - parameters contains two items
             - what about compilation scope?
      FM     - the parameters with the 's' should allow this 
      Shalom - how do you get there?
      FM     - there are other diagrams that show the vpi parameter relationship
      Shalom - 36.9 has more to it than shown in the proposal that addresses it
             - on page 7, why is only module shown here?
	       why not program and interface as well?
             - the same section, page 8, has interface and program added to it
	       why not same thing for module at the top of page 7?

AI/Neil - parameter is now 36.25 (not 36.24)
	- dependency on 2094 (which was approved in this meeting)
	  Note: "36.26 Class typespec" is added by 2094 and then updated in 742


              Move: FM - send the proposal for Mantis item 742 to svcc to 
			 address Shalaom's concern with the first diagram at
			 the top of page 7 (as compared to the diagram on 
			 page 8).
            Second: Brad 
            Passed unanimously


2.6 1076  SV-BC  Misuse of term reg in 17.2.4.4 (1364)
    - No change required
    - On June 23, 2008 the SV-BC unanimously approved resolving this issue 
      with no further action as it was addressed during the merge of the 1364 
      and 1800 LRMs. 

              Move: Brad - approve the resolution of "no change required" for 
			   Mantis item 1076
            Second: Shalom
            Passed unanimously


2.7 2127  SV-BC  Clarify event scheduling of sequential UDPs
    - Duplicate
    - On June 23, 2008 the SV-BC unanimously approved resolution of this issue 
      with no further action as it is a duplicate of 0001062.

              Move: Brad - approve the resolution of duplicate for 
			   Mantis item 2127
            Second: Shalom
            Passed unanimously


2.8 2360  SV-BC  Missing Initialization Vector spec for Encryption breaks 
             portability for all CBC algorithms
    - Fixed
    - On June 9, 2008 the SV-BC unanimously approved the proposal with
      the friendly amendments noted here on the SV-BC reflector:

	 http://www.eda-twiki.org/sv-bc/hm/8738.html [^]

      This feedback is also captured in Shalom's bug note (0007007) 
       dated June 7, 2008.

      Brad - has uploaded a new version that contains the friendly amendment
	   - is it now also draft 6

              Move: Brad - approve the proposal for Mantis item 2360
            Second: Shalom
            Passed unanimously


2.9 2054  SV-CC  Draft 3a, Section 40 - Deprecate Data Read API
    - Fixed
    - The SV-CC PASSED this on 03/26/2008
      3 opposed: Michael, Francoise, Ghassan
      1 abstain: Bassam
      6 in favor: Abi, John, Chuck, Jim, Steve, Anil
    - The proposal was approved by the Champions in the April 10th, 2008
      conference call with friendly amendments.
      There was one abstain. (Brad - doesn't know enough about it)
    - The proposal was updated.
    - On 05/21/2008 the SV-CC approved the latest proposal for this issue. 
      (unanimous)
 
      FM   -  was concerned about removing the data read API.


              Move: FM - approve the proposal for Mantis item 2054
            Second: John
           Abstain: Shalom - Removes an essential capability to transfer 
			     simulation data between tools. There isn't a 
			     replacement for it. 
		    Brad -   Agrees with Shalom. Thinks it was a political
			     decision. 
			     Technically it should be there. 
            Passed (3 in favor and 2 abstains)

      Note: In the meeting I mentioned that I would check the Operating 
	    Guidelines to determine if it should be considered passed. 
	    According to the latest guidelines it does pass.


2.10 2094  SV-CC  Need to extend VPI to handle class specializations
    - Fixed
    - The SV-CC PASSED this on 03/26/2008 (unanimous)
    - The proposal was unanimously approved by the Champions in the
      April 10th, 2008 conference call with friendly amendments.
    - On 05/21/2008 the SV-CC approved the latest proposal for this issue. 
      (unanimous)

      FM   - this proposal adds class typespec (see Mantis 742)
      Brad - noted that this one adds the section that was flagged as missing 
	     from the other other mantis item (Mantis 742)
    Shalom - numbering is off (see page 5) cross references


AI/Neil - note to editor about adding this proposal before adding 742.
AI/Neil - note to editor about cross reference (36.24 on page 5 isn't correct)


              Move: FM - approve the proposal for Mantis item 2094
            Second: Brad
            Passed unanimously


3. Next meeting 

   July   24  
   August  7
Received on Tue Jul 15 16:56:24 2008

This archive was generated by hypermail 2.1.8 : Tue Jul 15 2008 - 16:56:27 PDT