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

Chas, on issue 2094, I think we did have some discussion
(which in meeting terms qualifies as "debate").  So I
might suggest that I moved "to postpone further debate".

Whatever.

Jim

--------------------------------------------------------- 
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 16, 2008 3:08 PM
]To: sv-cc@eda.org
]Subject: [sv-cc] SV-CC Meeting Minutes for 01/16/2008
]
]Minutes of 01/16/2008 SV-CC Meeting.
]
]ATTENDEES
]000000000000000000000000000000000000
]887777777777777777777777777666666666
]001111100000000000000000000111110000
]112210099888876655443322111221009988
]101002121221012020212121310200212131
]629574062925180639518484173068517306
]xxxxxxxxxxxxx-xxx-xxxxxx-xxxxxxxxxxx Charles Dawson
]--xx-x-xxxxx-xxxxxxxx-xxxxxxx-x-xxxx Ralph Duncan
]xxxxxxxxxx--xxxxxxxxxxxxxxxxxxxxxxxx Jim Vellenga
]x--xx--xx-xxxxxxxxxxxxxxxx-xxx-x-xxx Andrzej Litwiniuk
]-xxx-xxxx---xx--xxxxx-xxxx--xxxxxx-x Michael Rohleder
]xxxxxxxxxxxxxxxxxxxxxx-xxxxxxxxxxxxx Chuck Berking
]xx-xxxxx-xx--xx-xxxxxxxxxxxxxx-xxxxx Bassam Tabbara
]xxxxxxxx-xxxxxxxxxxx-xx-xx-x-xxxxxxx Francoise Martinolle
]x-xxxxxxxx---xxxxxxxxxxx-xxxxxxxxxx- Ghassan Khoory
]xxxxxxxxxx-----xxxxxxx-xxxxx-xxxxxxx Abigail Moorhouse
]xx-xx-x------xxx-x--x--xxxx----xx-xx Amit Kohli
]-xxx-------------x-----xx----------- Steve Dovich
]xxx--------------------------------- John Shields
]-----x-xxxx--xxxx------------------- Pankaj Pal
]xx--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 01/02/2008
]   JimV/Chuck.  ACCEPTED
]
]
]3.  Liaisons
]
]   - No other meetings to report on.
]
]
]4.  New business
]
]   - Talk about face to face
]     Half day Tue and half to whole day on Friday.  Chas still has to
]     confirm with Francoise.
]
]   - ref can be used as formal argument of exported task/function?
]     See http://www.eda-stds.org/sv-bc/hm/7860.html
]     Looks like Doug responded, and Brad is seeing if that 
]answers the customers
]     question.
]
]   - John's "Candidate VPI Object Model for Dynamic Objects" email
]     Jim thought that the proposal seemed reasonable except 
]that there needs to
]     have the ability to know when the SystemVerilog HDL no 
]longer has a reference
]     to the object.
]
]     Jim doesn't think it handles automatic variables for 
]recursive tasks and functions.
]     John left it out on purpose because they are not dynamic 
]objects.  They are
]     dynamically elaborated.  Their lifetime is predictable.  
]Have other differences.
]
]     Bassam likes that the proposal has access to class 
]variable values.
]
]     Jim suggested that we tag a dynamic object to track it's lifetime.
]
]     JimV moved to postpone debate until next time.  Chuck 
]seconds.  ACCEPTED
]
]   - Abi's meeting on SV Dynamic Objects
]     Bassam would like some sort of hypermail(?) of the discussions.
]     JimV asked what was hypermail.  Bassam said it was 
]another reflector.
]     Postponed debate until next time.
]
]   - Item 2016 is a duplicate.
]     Jim moves to declare 2016 as a duplicate of 2094.  Chuck 
]seconds.  PASSED
]
]   - Chas would like to have a discussion on the Read API 
]Items at the next meeting.
]     Bassam thinks he is done with them.  He has made 
]proposals for some, others
]     should be duplicates, ...etc.  JimV asked that Bassam 
]send a list to Chas.
]
]
]5.  Reviewed items with proposals
]
]   - Item 2094 Need to extend VPI to handle class specializations
]     This issue goes back to a discussion we had last April.  
]Gord brought this
]     up that we would need a new object.
]     JimV moves to postpone the debate until next meeting. 
]Chuck seconds.
]
]   - Item 0748 vpiParent of var select can only be array var
]     JimV asked if we had a way to access and index into a string var.
]     JimV/Abi.  PASSED (unanimous)
]
]   - Item 1599 The assertion API and VPI sections need changes 
]as per mantis #805
]     Francoise thinks at a minimum the SV-AC committee should 
]have a cross reference
]     to the VPI sections.  Bassam thinks there should be a 
]cross reference in 36-42
]     JimV and Francoise thinks there should be a cross ref for 
]coverages as well.
]     Francoise moves that we request the SV-AC committee to 
]modify this proposal by
]     adding cross references from the assertion and coverage 
]sections to the VPI
]     diagrams.  Chuck seconds.  ACCEPTED.  Chas to send email to SV-AC.
]
]   - Item 1230 How to represent packed arrays of complex types in VPI
]     Chuck spent some time describing the new proposal.  Abi 
]pointed out a potential
]     backward compatibility issue:  an array of packed structs 
]could be a vpiLogicVar
]     or a vpiBitVar.  The LRM is vague.  Could also be a 
]vpiStructVar or some other
]     vector type.
]     Postponed till next meeting.
]
]
]6.  Reviewed SV-CC items with proposals (Straw poll only)
]
]
]7.  Old Business
]
]   - Francoise and Bassam to continue work on assignment patterns.
]   - Francoise to champion adding support for typed parameters to the
]     typespec diagrams.
]     Francoise added a mantis item for this.
]
]   - Abi/JimV to champion improving the ability to compare objects.
]     This plays into the dynamic objects issue as well.
]
]   - Steve to send out exact text on referring to a prior version.
]     Stu has told us how to do that.  There are now examples 
]in the LRM.
]
]   - 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 will report on progress at next meeting.
]
]   - Bassam to file a Mantis Item and add a proposal to 
]resolve the issues
]     with arguments to property inst.
]     Item 1503 was filed.
]
]   - Chas to send SV-BC request to work on Item 0672.
]     Chas did this on 10/25.
]
]   - Chas to add to agenda a discussion of additional meeting times.
]     Done.
]
]   - Chas to send SV-AC notification of our acceptance of the 
]proposal for Item 1361.
]     Done.
]
]   - 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.
]     Done.
]
]   - JohnS to write draft of request to P1800 for more time.
]     Done.
]
]   - 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.
]     Done.
]
]   - Chas to set up face to face meeting at DVCon.
]     Done.
]
]   - Chas to send message to P1800 committee requesting 
]additional time.
]     Done.
]
]   - 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.
]     JimV has found more issues, so he owes Bassam some more emails.
]
]Motion to adjourn.  JimV/Chuck.  Meeting ended at 1:09pm.
]
]
]8.  Action items
]
]   - Francoise and Bassam to continue work on assignment patterns.
]   - Francoise and Bassam to figure out what should happen 
]when you get the
]     size of a string constant.
]   - 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.
]   - Chas to talk with editor on re-arranging the VPI that is 
]outside of the
]     VPI sections.
]   - Bassam, JimV, and Lisa Piper to work on issues found in Item 1503.
]
]
]9.  Items for consideration at the next meeting (they already 
]have proposals)
]
]   - 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
]   - Item 2094 Need to extend VPI to handle class specializations
]   - Item 1599 The assertion API and VPI sections need changes 
]as per mantis #805
]
]
]10. Next meeting
]
]    The next SV-CC meeting will be on 01/30/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.