RE: [sv-cc] SV-CC Meeting Minutes for 01/02/2008

Charles, a suggested edit:  In the discussion of 1503,
expand "Francoise doesn't like the argument object"
to "Francoise doesn't like calling the argument object
"identifier", which is a new type."  That might be
clearer.

Regards,
Jim Vellenga

--------------------------------------------------------- 
James H. Vellenga                            978-262-6381 
Software Architect                     (FAX) 978-262-6636 
Cadence Design Systems, Inc.         vellenga@cadence.com 
270 Billerica Rd
Chelmsford, MA 01824-4179
"We all work with partial information." 
----------------------------------------------------------  

]-----Original Message-----
]From: owner-sv-cc@eda.org [mailto:owner-sv-cc@eda.org] On 
]Behalf Of Charlie Dawson
]Sent: Wednesday, January 02, 2008 5:51 PM
]To: sv-cc@eda.org
]Subject: [sv-cc] SV-CC Meeting Minutes for 01/02/2008
]
]Minutes of 01/02/2008 SV-CC Meeting.
]
]ATTENDEES
]00000000000000000000000000000000000
]87777777777777777777777777666666666
]01111100000000000000000000111110000
]12210099888876655443322111221009988
]01002121221012020212121310200212131
]29574062925180639518484173068517306
]xxxxxxxxxxxx-xxx-xxxxxx-xxxxxxxxxxx Charles Dawson
]-xx-x-xxxxx-xxxxxxxx-xxxxxxx-x-xxxx Ralph Duncan
]xxxxxxxxx--xxxxxxxxxxxxxxxxxxxxxxxx Jim Vellenga
]--xx--xx-xxxxxxxxxxxxxxxx-xxx-x-xxx Andrzej Litwiniuk
]xxx-xxxx---xx--xxxxx-xxxx--xxxxxx-x Michael Rohleder
]xxxxxxxxxxxxxxxxxxxxx-xxxxxxxxxxxxx Chuck Berking
]x-xxxxx-xx--xx-xxxxxxxxxxxxxx-xxxxx Bassam Tabbara
]xxxxxxx-xxxxxxxxxxx-xx-xx-x-xxxxxxx Francoise Martinolle
]-xxxxxxxx---xxxxxxxxxxx-xxxxxxxxxx- Ghassan Khoory
]xxxxxxxxx-----xxxxxxx-xxxxx-xxxxxxx Abigail Moorhouse
]x-xx-x------xxx-x--x--xxxx----xx-xx Amit Kohli
]xxx-------------x-----xx----------- Steve Dovich
]xx--------------------------------- John Shields
]----x-xxxx--xxxx------------------- Pankaj Pal
]x--x-xxxxx--xxxx------------------- Anil Arora
]------x-x----xx-------------------- Arjinder Vasir
]-------------------x--------------- Stu Sutherland
]-----------------x----------------- Gord Vreugdenhil
]--------x-------------------------- Neil Korpusik
]-----x----------------------------- John Havlicek
]
]
]1.  Reviewed Patent information
]
]   - Chas reviewed the patent information which can be
]     found at http://standards.ieee.org/board/pat/pat-slideset.ppt
]
]
]2.  Reviewed minutes for 12/19/2007
]   Michael/Chuck.  ACCEPTED
]
]
]3.  Liaisons
]
]   - Francoise reported on the Champions meeting.
]     Items 1757 and 1898 need review by SV-CC.  There was 
]general concern
]     that the VPI has been spread out and a user may not be 
]able to find
]     things.  Maybe we need some references or to consolidate them into
]     one section?  Jim asked if they were covered by 1503?  
]Bassam did not
]     think so.  Chas asked Francoise if this was a directive from the
]     Champions, or was it just her opinion.  She thought it 
]was a directive.
]     Bassam said that new things were added where their 
]predecessors already
]     lived.  Agrees that things should be consolidated.  Abi 
]asked if it
]     was possible that the editor could reorganize this?  
]Francoise thought
]     that the minimum action should be to add a reference in 
]the VPI section
]     to the assertion section where the new callbacks are defined.  Abi
]     thought it would be hard to handle this through a single 
]mantis item.
]     Steve suggested that it would be more efficient to have the editor
]     re-arrange them in a sensible manner, rather than incur 
]the inefficiencies
]     of making a proposal.  Chas to ask the editor if this is possible.
]   - No other meetings to report on.
]
]
]4.  New business
]
]   - Discussing the message to P1800 requesting more time
]     Discussed the timeframe.  Can we have a face to face at DVCon?
]     Should we have someone from Novas come?  We can probably 
]get someone
]     to attend.  Chuck moves that we send the note with PLI 
]changed to VPI.
]     Abi seconds.  ACCEPTED.  Chas to send.
]
]   - Item 1503
]     Last meeting we postponed discussion until Bassam was here.
]     Francoise doesn't like the argument object.  Should be the same
]     as a variable.  Bassam agrees.  Was done this way historically.
]     Chas pointed out that we already have backwards compatibility
]     issues.  Jim and Bassam explored the semantics some.  There seems
]     to be some question on whether or not we need a new object or if
]     one of the existing ones will do.  Francoise asked if an 
]identifier
]     could have a default value.  This functionality seems to 
]be removed
]     from in the proposal.  Bassam doesn't think that should 
]have happened.
]     May have to extend the variables to include sequence and property
]     types.  Bassam thinks they are most similar to port 
]lists.  He thinks
]     we should try to model it after io decls.  Francoise is 
]not sure that
]     io decls would be appropriate.  Still considers variables 
]as a possible
]     model.  isCoverSequence should be vpiIsCoverSequence.  
]Bassam to work
]     with Lisa Piper on proposal.
]
]   - Continued discussion on handle lifetime
]     Michael asked a couple of questions about the proposal Abi made.
]     Can some of the issues be hidden from the user?  Michael 
]also was unsure
]     what value the locking mechanism hand.  Chas to work on 
]face to face
]     schedule.  Abi to set up calls.
]
]Steve/Bassam.  Meeting ended at 1:25pm.
]
]
]5.  Reviewed items with proposals
]
]
]6.  Reviewed SV-CC items with proposals (Straw poll only)
]
]
]7.  Old Business
]
]
]8.  Action items
]
]   - Francoise and Bassam to continue work on assignment patterns.
]   - Francoise to champion adding support for typed parameters to the
]     typespec diagrams.
]   - Abi/JimV to champion improving the ability to compare objects.
]   - Steve to send out exact text on referring to a prior version.
]   - Francoise and Bassam to figure out what should happen 
]when you get the
]     size of a string constant.
]   - Bassam and Ghassan to prioritize list of issues with Read API.
]   - Bassam to file a Mantis Item and add a proposal to 
]resolve the issues
]     with arguments to property inst.
]   - Chas to send SV-BS request to work on Item 0672.
]   - Chas to add to agenda a discussion of additional meeting times.
]   - Chas to send SV-AC notification of our acceptance of the 
]proposal for Item 1361.
]   - Chas to send the P1800 committee a request that the other 
]committees be
]     clear when a member of the committee is speaking for the 
]committee.
]   - JohnS to write draft of request to P1800 for more time.
]   - Chas to update Item 1570.
]   - Chas to ask the editor about Item 0417.
]   - Steve to write a proposal for dealing with the 
]inconsistencies with the
]     protection properties.
]   - Abi to set up conference calls to talk about handle lifetime.
]   - Chas to set up face to face meeting at DVCon.
]   - Chas to send message to P1800 committee requesting 
]additional time.
]   - Chas to talk with editor on re-arranging the VPI that is 
]outside of the
]     VPI sections.
]   - Bassam and Lisa Piper to work on issues found in Item 1503.
]
]
]9.  Items for consideration at the next meeting (they already 
]have proposals)
]
]   - Item 2094 Need to extend VPI to handle class specializations
]   - Item 0748 vpiParent of var select can only be array var
]   - Item 1599 The assertion API and VPI sections need changes 
]as per mantis #805
]   - Item 1230 How to represent packed arrays of complex types in VPI
]   - Item 2218 Clarify meaning of vpi_compare_objects()
]   - Item 2216 Details missing from VPI Generates object diagram
]   - Item 2143 How should VPI handle index expressions with 
]side effects?
]   - Item 2054 Draft 3A, Section 40 - Deprecate Data Read API
]
]
]10. Next meeting
]
]    The next SV-CC meeting will be on 01/16/2008.
]    The next P1800 meeting will be on 01/31/2008.
]
]-- 
]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.