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

Charles,

The line

     Jim: VPI split out into 2336. It is about accept_on/accept_off

should read

     Jim: VPI split out into 2336. It is about accept_on/reject_on

--------------------------------------------------------- 
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, April 02, 2008 10:18 PM
]To: sv-cc@eda.org
]Subject: [sv-cc] SV-CC Meeting Minutes for 04/02/2008
]
]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.
]
]

-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.