Minutes of 10/24/2007 SV-CC Meeting. ATTENDEES 0000000000000000000000000000000 7777777777777777777777666666666 1100000000000000000000111110000 0099888876655443322111221009988 2121221012020212121310200212131 4062925180639518484173068517306 xxxxxxxx-xxx-xxxxxx-xxxxxxxxxxx Charles Dawson x-xxxxx-xxxxxxxx-xxxxxxx-x-xxxx Ralph Duncan xxxxx--xxxxxxxxxxxxxxxxxxxxxxxx Jim Vellenga --xx-xxxxxxxxxxxxxxxx-xxx-x-xxx Andrzej Litwiniuk xxxx---xx--xxxxx-xxxx--xxxxxx-x Michael Rohleder xxxxxxxxxxxxxxxxx-xxxxxxxxxxxxx Chuck Berking xxx-xx--xx-xxxxxxxxxxxxxx-xxxxx Bassam Tabbara xxx-xxxxxxxxxxx-xx-xx-x-xxxxxxx Francoise Martinolle xxxxx---xxxxxxxxxxx-xxxxxxxxxx- Ghassan Khoory xxxxx-----xxxxxxx-xxxxx-xxxxxxx Abigail Moorhouse x-xxxx--xxxx------------------- Pankaj Pal -xxxxx--xxxx------------------- Anil Arora --x-x----xx-------------------- Arjinder Vasir -x------xxx-x--x--xxxx----xx-xx Amit Kohli ---------------x--------------- Stu Sutherland -------------x----------------- Gord Vreugdenhil ------------x-----xx----------- Steve Dovich ----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 10/10/2007 The clarification for the 09/12/2007 minutes in the 10/10/2007 minutes was not clear. It should say this: In the 09/12/2007 minutes replace: - Item 1932 Changed the sample variable type from reg to logic. Fixed the section number. JimV moves that we take a straw poll on this. Chuck seconds. PASSED (unanimous) With: - Item 1751 Changed the sample variable type from reg to logic. Fixed the section number. JimV moves that we take a straw poll on this. Chuck seconds. PASSED (unanimous) - Chuck/Vellenga. ACCEPTED (unanimous) as amended 3. Liaisons - No other meetings to report on. 4. New business - Create a roadmap/plan for tackling remaining tasks Here is the remaining milestones of interest: November 15, 2007 Feature freeze in the SV* committees November 30, 2007 Champions meeting to approve final features December 15, 2007 Feature freeze in the P1800 February 15, 2008 Last editing corrections filed in svdb February 30, 2008 Champions meeting March 15, 2008 P1800 approval due - Class specialization JimV has already put a proposal together. Item 2094. - Typed parameters Francoise will write a proposal. Before Jan 15th. Will work on it in Dec. - Handle lifetime Abi will write a proposal. Is close to ready to write it up. Will send it to Jim and Chuck first. - Callbacks on dynamic objects Jim submitted a mantis item 2015 on this. Data Read API probably has similar issues with this, and has some info that could be re-used. Michael and Bassam volunteered to help. Is there a callback on automatic variables? We explicitly disallowed in 1364-2001. - Values with delays on dynamic objects There isn't item for this. Chas will file. Abi thinks we should just not allow it. We should specify this explicitly. - Expressions with side effects Jim has already put an item in for this: 2143. This may be controversial enough that we cannot solve it in the timeframe remaining. Other issues such as getting size of an object which would require the evaluation of the expression should not be allowed. Francoise commented that the SV-BC discussed this, and were considering using the same "undefinedness" when two args are mutually dependent as is in C. Michael thinks it is always defined. See C99 6.5.2.2 note 10. - Data Read API Bassam thinks that we should have a proposal or set of proposals in time. Ghassan thinks we should revisit next this next week. - Packed arrays Item 1230. Chuck is close to having a proposal. Will be available by next meeting. - Access to arrays to improve performance (replacing tf_nodeinfo()) Item 1688. Chuck will have proposal out by 12/5. - Naming issues for members of stucts and arrays. Item 1593. Chuck will have a proposal out by 12/19. Should not be controversial. - VPI causing new objects to come into existence We should say NO. Abi will take this one. Needs a mantis item. We will finalize our plans at the next meeting. Jim is concerned that we might not have time give our current meeting schedule. Try to meet weekly? SV-XC meets on opposite Weds. Will discuss in two weeks. Chas to put on agenda. - Is Item 1751 resolved already? Yes, this is resolved already. Chas was confused. - Lisa Piper's questions on assertion iterations (Item 1503) What is the policy on putting VPI arguments? Does that need to show up on the class definition. In general, we put it on the definition. Issue with the Multiclock sequence expression diagram. There is no arguments class. Bassam will file a Mantis Item on these. - JimV would like us to urge SV-BC to expedite a resolution on Mantis item #672, clarifying what "%m" should display when referenced from within a non-static class method. JimV moves that we ask the SV-BC to expedite the resolution of Mantis item 0672. Chuck seconds. ACCEPTED. Chas will draft email to SV-BC. - JimV would like to discuss Item 2143 JimV inclination is to allow get values to cause side effects, but nothing else should. In fact, other kinds of things should cause errors. Four possible solutions: 1. Have side effects occur in hyperspace, doesn't actually modify simulation. 2. Have something which causes side effect create an error. 3. Allow side effects to occur. 4. The behavior is undefined. We should do this as a minimum. 5. Reviewed items with proposals - Item 1361 need a way to control execution of action blocks Why were there separate iterations made? This is needed for clarity. Chas asked that we postpone discussion until next time. JimV moves that we tell the SV-AC that have no further objections to 1361. Abi seconds. ACCEPTED (unanimous). Chas to send email to SV-AC that we have no objections. 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. - Abi to champion adding support for parameterized classes. JimV has added a proposal to this. Can be removed. - Abi/JimV to champion improving the ability to compare objects. Still outstanding. There is a proposal, but no recent activity. - Steve to send out exact text on referring to a prior version. - Chas to take a look for questions from Editor in these sections and either answer them himself or parcel them out to other committee members as appropriate. Done. - JimV to test that the fix for Item 1865 will not cause compilation warnings. Done. - Francoise and Bassam to figure out what should happen when you get the size of a string constant. Francoise still working on this. - Bassam to get reasoning behind changes in Item 1361. Done. - Chas, JimV, Chuck, and Ralph to update their already passed proposals to reference Draft 3A. Done. - Michael to comment on the user impact to the change in proposal for Item 1865. Done. - JimV to update proposal for Item 1952. Done. - Chas to update proposal for Item 1837. Done. - JimV to update proposal for Item 1696. Done. - Chas to add Mantis Item for deprecating database read API. Done. - Chas to ask John Havlicek questions about the SV-AC issues. Done. - Bassam and Ghassan to prioritize list of issues with Read API. Working on this. - Bassam to update proposal for Item 1599. Done. Chas to add back to agenda. - Chas to send email to SV-EC on Item 1648. Done. Motion to adjourn. Ralph/Abi. Meeting adjourned at 1:00pm. 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. 9. Items for consideration at the next meeting (they already have proposals) - Item 2009 HDL example shown in detail 3 section 36.14 (Reference objects) has errors. - Item 1741 1800-2005 Section 27.50 Issues with foreach diagram - Item 2054 Draft 3A, Section 40 - Deprecate Data Read API - Item 1952 "Null Argument" to mean "omitted Argument" may be confusing - 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 10. Next meeting The next SV-CC meeting will be on 11/07/2007. The next P1800 meeting will be on 11/15/2007. -- This message has been scanned for viruses and dangerous content by MailScanner, and is believed to be clean.Received on Thu Oct 25 08:33:36 2007
This archive was generated by hypermail 2.1.8 : Thu Oct 25 2007 - 08:33:56 PDT