Hi Champions, Our next conference call will be Thursday, April 24 8am-10am PDT. Attached is the list of Mantis items for review. Toll Free Dial In Number: (866)839-8145 Int'l Access/Caller Paid Dial In Number: (865)524-6352 ACCESS CODE: 9301228 I was late in getting out the agenda. If it is too short of a notice we will have to cancel this meeting. The next available slot for us to meet would be May 8th. Let me know by Wednesday if you feel that we don't have enough time to prepare for the meeting. Neil -- This message has been scanned for viruses and dangerous content by MailScanner, and is believed to be clean. List of Mantis items for the next Champions meeting. April 24, 2008. 8-10am PDT. 1. Review IEEE patent policy ref: http://standards.ieee.org/board/pat/pat-slideset.ppt 2. List of Mantis items for review 2.1 1757 SV-AC Property resets: accepton(b) P, rejecton(b) P - fixed - Was sent back to the svcc by the champions (December 20) - Extracted the vpi portion out into mantis 2336 - 2008-03-25: approved by voice vote 8y/0n/0a. - I did not explicitly check to ensure that the Champions feedback was addressed (Neil). 2.2 1688 SV-CC Performance of VPI access to memories and MDAs is inadequate - fixed - On 04/09/2008 the SV-CC approved a motion to consider the changes made by Chuck Berking on 04/02/2008 to be within the scope of the friendly amendments approved during the 03/26/2008 meeting (unanimous). 2.3 1465 SV-BC 19.8: port declarations without directions - clarification - fixed - On March 25, 2008 the SV-BC unanimously approved the attached proposal. 2.4 2183 SV-EC Only simple identifiers allowed in solve-before constraint - fixed - unanimously approved by the sv-ec in the conference call of February 4, 2008 - Was sent back to the sv-ec by the Champions Feb 25. There was one sentence that both Stu and Brad questioned. "simply identify" was used in that sentence. - Approved on March 29 2008, unanimously, by email vote, sv-ec 2.5 2302 SV-EC Champions feedback for Mantis item 1447 - fixed - This mantis item was to address Champions feedback on Mantis 1447 - Approved by sv-ec on March 25 2008, unanimously. 2.6 2242 SV-EC issues with get_coverage(ref int, ref int) - fixed - Approved on March 25 2008, unanimously. 2.7 1503 SV-CC 27.33 VPI diagram of propertyinst has no vpiArgument - fixed - SV-CC PASSED this on 04/09/2008 (unanimous) with a friendly amendment to add #defines in the appropriate place in sv_vpi_user.h. This friendly amendment has already been incorporated into the proposal. - The following issues were reported late after the SV-AC and SV-CC committee approvals. SV-AC recommends that the champions provide the following friendly ammendments: 1. In 36.76 Let declaration, a. This is dependent on approval of the let proposal: 0001728 b. vpiDefFile and vpiDefLineNo should be crossed out as was done on the other diagrams. c. A details note should be added of the semantic restriction that "seq formal decl" can only be a boolean expression, not a sequence or a named event 2. 38.5.2 ?verification statements? should be ?assertion statements? (2 times) 3. In diagram 36.45 Property specification, "clocked property" should be "clocked prop" to be consistent with vpiClockedProp and vpiClockedSeq This note was approved by SV-AC voice vote 2008-04-22: 7y/0n/0a - 1728 is one of the Mantis items under review by the sv-sc If 1503 is dependent on 1728, we need to wait for 1728 and the sv-sc. 2.8 2237 SV-AC VPI additions for 1667 - fixed - 2008-04-08: Passed by voice vote 9y/0n/0a. - SV-CC reviewed the subsequent changes to the proposal since our last review and on 04/09/2008 we PASSED it again (unanimous). 2.9 2326 SV-AC add VPI diagrams for property case - fixed - 2008-03-20: Voice vote 5y/0n/0a - The SV-CC reviewed this on 04/09/2008 and PASSED it (unanimous). 2.10 2246 SV-AC VPI definitions of assertkill need modification - fixed - 2008-04-08: Passed by voice vote 9y/0n/0a. - SV-CC reviewed this on 04/09/2008 and PASSED it (unanimous). 2.11 1809 SV-BC forward references into $unit package - fixed - The Champions unanimously agreed to send the proposal back to the technical committee in the Jan 17, 2008 conference call with the expectation that the technical committee will be able to update the proposal such that more consensus is reached. - On March 25, 2008 the SV-BC unanimously approved the attached proposal. 2.12 2250 SV-AC VPI changes related to 1932 - fixed - On 04/02/2008 the SV-CC voted (unanimous) to accept this proposal provided the SV-AC update the proposal to reflect the change in the nexttime keyword. This friendly amendment has since been incorporated. - 2008-04-08: Passed by voice vote 9y/0n/0a. 2.13 2333 SV-AC Champions feedback on 0002173 - duplicate of 2327 - 2008-04-08: Passed by voice vote 9y/0n/0a. 2.14 1898 SV-CC Describe the explicit mappings from assertion system tasks to callbacks - fixed - 2007-11-20: e-mail ballot passed, 6y/0n/0a - The proposal was sent back to the SV-CC for review by the Champions in the December 20th, 2007 conference call. Dave - there are several vpi callbacks. FM - should be in the vpi section Dave - the scheduling semantic section introduces some callbacks. John - motivation was to show the correspondence - correspondence between tasks and callbacks. - Bassam added these. Stu - need a cross ref in vpi registercb(), that is where people look for a list of callbacks. and possibly other (vpicontrol) Editor to fill in actual numeric values (Stu is ok with it) - SV-CC reviewed this proposal and voted to accept it on 04/02/2008 (unanimous). 2.15 1698 SV-AC The description of sampled value functions is insufficient - fixed - The Champions sent the proposal back to the svac in the March 20, 2008 conference call. The TC needs to clarify clock inferencing for $rose (and all of the other sampled value functions). The TC has already acted on this feedback. This note is here to record the Champions feedback. - 2008-03-25: Approved by voice vote: 7y/0n/0a 2.16 2327 SV-AC 2173 adds property case, need to add vacuity definition and multi clocking behavior in it - fixed - 2008-03-20: Voice vote 5y/0n/0a 2.17 2173 SV-AC Add case construct for properties. - fixed - 2008-03-20: Voice vote 5y/0n/0a 3. Next meeting May 8, 2008 8am-10am (PDT)Received on Tue Apr 22 14:32:40 2008
This archive was generated by hypermail 2.1.8 : Tue Apr 22 2008 - 14:32:42 PDT