[sv-cc] Action item for SV-CC before next week

Thanks Lisa!

SV-CC:  Can you guys review the 2-word change Lisa sent, & make sure you
send any concerns before next week?
Since it touches the VPI I think we do need your approval.
 

-----Original Message-----
From: Lisa Piper [mailto:piper@cadence.com] 
Sent: Thursday, April 03, 2008 4:46 PM
To: Seligman, Erik; sv-ac@eda.org
Cc: SV-CC
Subject: RE: [sv-ac] Summary of sv-ac-relevant action items from 4/2
sv-cc mtg

The proposal for 2246 is attached and was uploaded to mantis. It changes
two words but I found I needed to copy a lot to make the reference easy
to see since it was in sub-bullets.

Lisa

-----Original Message-----
From: owner-sv-ac@eda.org [mailto:owner-sv-ac@eda.org] On Behalf Of
Seligman, Erik
Sent: Thursday, April 03, 2008 11:03 AM
To: sv-ac@eda.org
Cc: SV-CC
Subject: [sv-ac] Summary of sv-ac-relevant action items from 4/2 sv-cc
mtg

 
Hi all-- thought it might be useful for me to digest these SV-CC minutes
& summarize their impact on the AC, since I was at the meeting.  As you
can see from the minutes below, they were able to address all our open
items, and either approve, conditionally approve, or punt to the new
committee.  Several of us have action items to follow up on-- speak up
if I have you listed for one and you can't do it, so we can reassign!

I believe the only one the CC needs to re-review next week is 1503 (and
possibly 2246 if there is VPI impact); the other SV-AC proposals that
were on the CC's review list are all conditionally approved pending the
friendly amendments mentioned below.


SV-AC Action items:
Bassam- Fix 1503 as discussed below, before next week's CC mtg for
review.
JohnH- Fix 2237 to be consistent with Bassam's changes to 1503.
Yaniv- Reconcile the names ('On' substr present or absent) from 2100 and
2336.  The current 'editors note' is not really sufficient for this
purpose.
Lisa- Write the actual proposal doc for 2246 if we really want it in
this std.
Erik- Fix 2250 to incorporate next->nexttime change from 1732.
Erik- Make sure the new committee is reviewing/finalizing 2173, 2326,
2327

All- Double-check that any issues you were expecting the CC to review
have been covered, since they only have one more meeting, the one next
week!







-----Original Message-----


]-----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.



--
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.