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.Received on Wed Jan 16 13:24:19 2008
This archive was generated by hypermail 2.1.8 : Wed Jan 16 2008 - 13:24:35 PST