Minutes of 04/02/2008 SV-CC Meeting. ATTENDEES 0000000000000000000000000000000000000000000 8888888887777777777777777777777777666666666 0000000001111100000000000000000000111110000 4333221112210099888876655443322111221009988 0211213101002121221012020212121310200212131 2692730629574062925180639518484173068517306 xxxxxxxxxxxxxxxxxxxx-xxx-xxxxxx-xxxxxxxxxxx Charles Dawson xxxx-xxxxxxxxxxxx--xxxxxxxxxxxxxxxxxxxxxxxx Jim Vellenga xx-xxxx-xxx-xxxx---xx--xxxxx-xxxx--xxxxxx-x Michael Rohleder xxxxxxxxxxxxxxxxxxxxxxxxxxxxx-xxxxxxxxxxxxx Chuck Berking xxxxxxxxx-xxxxx-xx--xx-xxxxxxxxxxxxxx-xxxxx Bassam Tabbara xxxxxxxxxxxxxxx-xxxxxxxxxxx-xx-xx-x-xxxxxxx Francoise Martinolle xx-xxxxx-xxxxxxxx---xxxxxxxxxxx-xxxxxxxxxx- Ghassan Khoory xxxxxxxxxxxxxxxxx-----xxxxxxx-xxxxx-xxxxxxx Abigail Moorhouse xx-xxxx-xxx-------------x-----xx----------- Steve Dovich xxxxxxxxxx--------------------------------- John Shields -xx-x-xxx--x-xxxxx--xxxx------------------- Anil Arora =========================================== ----x-xxx-xx-x------xxx-x--x--xxxx----xx-xx Amit Kohli ---------xx-x-xxxxx-xxxxxxxx-xxxxxxx-x-xxxx Ralph Duncan -------x--xx--xx-xxxxxxxxxxxxxxxx-xxx-x-xxx Andrzej Litwiniuk ------------x-xxxx--xxxx------------------- Pankaj Pal --------------x-x----xx-------------------- Arjinder Vasir ---x-----------------------x--------------- Stu Sutherland -------------------------x----------------- Gord Vreugdenhil ----------------x-------------------------- Neil Korpusik -------------x----------------------------- John Havlicek x--x--------------------------------------- Erik Seligman 1. Reviewed Patent information - Chas reviewed the patent information which can be found at http://standards.ieee.org/board/pat/pat-slideset.ppt 2. Approval of agenda - Chas pointed out that we may go in a different order than the agenda. JimV/John. ACCEPTED 3. Reviewed minutes for 03/26/2008 Chuck/John. ACCEPTED. 4. Liaisons - Chas reported on P1800 meeting. New committee to deal with Checkers. Big change for the LRM, so it is important that we have a representative from SV-CC to address VPI issues. Initial meeting will be on Monday. Bassam may attend. Chas thinks that Francoise may join. She did not note the email with the invite. - No other meetings to report on. 5. Consent Agenda 6. Expedited Agenda Items 7. New business - Item 1503 27.33 VPI diagram of propertyinst has no vpiArgument We had thought that identifiers should have been modeled more like io decls. Jim suggested we go back to adding a vpiTypeSpec for prop formal decl and seq formal decl. Remove the vpiExpr and what it points to with a dotted enclosure for type spec. Same thing for seq formal decl. Rest of the changes seem to be okay. Abi and Chuck were still not clear on the proposal. Jim tried to explain. Bassam pointed out that there can be an initialization expression. Was that what vpiExpr was for? Looks like we need another proposal before we could accept this one. Bassam will try to put together another one for next week. - Item 1599 API and VPI changes for 0805 Done. - Item 1757 accept_on/reject_on (Doron Bustan) Jim: VPI split out into 2336. It is about accept_on/accept_off Erik: VPI changes are minor in 2336. We can review now. Chuck: Assuming Doc and PDF are same. Jim: 2100 includes acceptance of 2336. Abby: moves to accept Chuck: seconds PASSED - Item 2005 Glitches with immediate assertions (Erik Seligman) Erik: this has been approved based on friendly amendment Review amendment at end of proposal changes with #define to verify where it is supposed to be. Chuck: Motion to accept Bassam: Seconds PASSED - Item 1898 Explicit mappings from assertion system tasks to callbacks (Bassam Tabarra) Bassam: If no argument then at system level, otherwise it needs to pass to specific assertion. The on/off is for individual enable/disable, kill is same, etc. In section 19.11, SV-AC added tasks to individual enables/disables. This corresponds. Chuck: there is no complimentary tasks/callbacks on enable non vac, and disable vac Bassam: there is no complimentary Jim: confirms and comments as this changes default behavior of system Jim: looked at 19.11 and confirmed that there are no system tasks JimV/Bassam. PASSED (unanimous) - Item 2336 accepted - Item 2100 Synchronous aborts (Yaniv Fais) SV-AC should make the names consistent between the items 2100 and 2336. Move to approve these two items contingent on SV-AC reconciling the names of the operators. Chuck/JimV. PASSED (unanimous) - Item 2173 Add case construct for properties Bassam suggests that this one be addressed by the new committee. Erik will make sure that it is on the new committee's agenda. JimV pointed out that the new syntax is circular. - Item 2237 VPI additions for 1667 Abi asked if vpiNoDirection was already defined. Yes it is. Chuck moves that we accept this contingent on the proposal reflecting the changes we requested for Item 1503. Bassam seconds. PASSED (unanimous) - Item 2250 VPI changes for LTL operators(Erik Seligman) Need to make vpiNextOp vpiNextTimeOp. Erik thinks it would be good to have someone review it in detail before next week. JimV has already started looking at it. JimV moves to accept. Bassam seconds. PASSED (unanimous) - Item 2246 VPI definitions of assertkill need modifications (Lisa Piper) No proposal yet. Bassam does not think there will be VPI changes. - Item 2326 Case property statement VPI Related to 2173. Should go to new committee too. - Chas asked if there were any others. Erik doesn't know of any others. Chas asked that Erik double check to make sure that there are no others. - vpiArray issue in Item 1942 Chuck thinks that there is still an issue here. Chuck will capture the issue in a new mantis item. - Review Item 1465 (per Shalom's request) Francoise asked about the direction of a port. There is vpiNoDirection. Can that be used in this case? If it is not explicitly specified then it takes the direction from the preceding one. It does have a direction. Only time we would have no direction is for interfaces and modports. What if we had a null port at the beginning? Suspended debate until next meeting Motion to adjourn: Chuck/Michael. Meeting ended at 1:05pm 8. Reviewed items with proposals 9. Reviewed SV-CC items with proposals (Straw poll only) 10. Old Business 11. 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. - Chas to ask the editor for the framemaker for the Data Read API. - Chas to implement a "consent agenda" and an "Expedited Proposals" in agenda. - Chas to add an "Agenda Approval" to the agenda. - Chas to schedule another Data Read API meeting after DVCon. - Bassam to implement the friendly amendment to Item 1599. - Chas to ask John Havlicek to join the SV-CC meeting when we discuss SV-AC issues. - Chas to ask the SV-AC to fix the #defines in proposal for Item 2005. - Francoise to bring up the issues we found with Item 2250 at Champions meeting. - Chuck to update proposal for Item 1230 with three friendly amendments. - JimV to add friendly amendment to proposal for Item 2216. - Chas to enter Mantis Items for Krzysztof Konopko's questions - Chas to tell SV-AC that we are okay with Item 2005 provided the move the #define 12. Items for consideration at the next meeting (they already have proposals) 13. Next meeting The next SV-CC meeting will be on 04/09/2008. The next P1800 meeting will be on 05/01/2008. -- This message has been scanned for viruses and dangerous content by MailScanner, and is believed to be clean.Received on Wed Apr 2 19:18:25 2008
This archive was generated by hypermail 2.1.8 : Wed Apr 02 2008 - 19:18:41 PDT