P1800 Working Group, Below are the results of the most recent Champion's conference calls. April 10, 2008 conference call (7 of the 8 Champions were on-line) April 24, 2008 conference call (8 of the 8 Champions were on-line) We would like to get approval for those Mantis items that have been approved by both the Technical Committees and the Champions. A summary of the Mantis items is attached. Neil -- This message has been scanned for viruses and dangerous content by MailScanner, and is believed to be clean. P1800 Working Group, Below are the results of the most recent Champion's conference calls. April 10, 2008 conference call (7 of the 8 Champions were on-line) April 24, 2008 conference call (8 of the 8 Champions were on-line) We would like to get approval for those Mantis items that have been approved by both the Technical Committees and the Champions. A summary of the Mantis items is shown below. Neil List of Mantis items unanimously approved by both the TCs and the Champions --------------------------------------------------------------------------- (19 mantis items) 1. 2336 SV-AC VPI part of 1757 - fixed - 2008-03-25: Approved by voice vote 8y/0n/0a. - Unanimously approved by the Champions in the April 10 conference call. 2. 2335 SV-AC Minor fix for 1641 - fixed - 2008-03-20: Voice vote 5y/0n/0a - Unanimously approved by the Champions in the April 10 conference call. 3. 2334 SV-BC Champions feedback on 0002106 - no change required - On March 25, 2008 the SV-BC unanimously voted to resolve this issue with no action required. - Unanimously approved by the Champions in the April 10 conference call. 4. 2304 SV-BC Champions feedback on Mantis item 2106 - fixed - On March 25, 2008 the SV-BC unanimously approved the attached proposal. - Unanimously approved by the Champions in the April 10 conference call. 5. 2269 SV-BC 6.24.1: sign/width cast unclear - fixed - On March 25, 2008 the SV-BC unanimously approved the attached proposal. Stu dissented via previous e-mail vote on this proposal but was not in attendance at the meeting of March 25. The SV-BC committee felt the issues raised by Stu are well addressed by the proposal but acknowledge that such specificity may make it more challenging to understand in some cases. - Email from Stu (April 01) - as pointed out by Shalom "I accept the arguments given by Shalom and Steven, and withdraw my objections to the proposal. What I consider most important is the LRM specify a non-ambiguous behavior, which I feel this proposal does." - Champions comments It may break backward compatibility. There was ambiguity in the LRM The expression to be cast should be evaluated in self-determined fashion. Now there is consistency with $signed, $unsigned. - Unanimously approved by the Champions in the April 10 conference call. 6. 2262 SV-CC Missing definition in vpi_user.h for vpiIsProtected - fixed - The SV-CC PASSED this item on 03/19/2008 (unanimous). - Unanimously approved by the Champions in the April 10 conference call. 7. 2218 SV-CC Clarify meaning of vpi_compare_objects() - fixed - The SV-CC PASSED this Item on 03/12/2008 (unanimous). - Unanimously approved by the Champions in the April 10 conference call. 8. 2216 SV-CC Details missing from VPI Generates object diagram - fixed - The SV-CC PASSED this item on 03/12/2008 (unanimous). - Unanimously approved by the Champions in the April 10 conference call. 9. 1757 SV-AC Property resets: accepton(b) P, rejecton(b) P - fixed - Was sent back to the svcc by the champions (December 20) for VPI review - svac extracted the vpi portion out into mantis 2336 - 2008-03-25: svac approved by voice vote 8y/0n/0a. - Unanimously approved by the Champions in the April 24 conference call. 10. 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). - Unanimously approved by the Champions in the April 24 conference call. 11. 1465 SV-BC 19.8: port declarations without directions - clarification - fixed - On March 25, 2008 the SV-BC unanimously approved the attached proposal. - Unanimously approved by the Champions in the April 24 conference call. 12. 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 - Unanimously approved by the Champions in the April 24 conference call. 13. 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. - Unanimously approved by the Champions in the April 24 conference call. 14. 2242 SV-EC issues with get_coverage(ref int, ref int) - fixed - Approved on March 25 2008, unanimously. - Unanimously approved by the Champions in the April 24 conference call. 15. 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). - Unanimously approved by the Champions in the April 24 conference call. 16. 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. - Neil added a Note to the Editor mentioning two lists within the proposal that need to be brought into IEEE compliance. - Unanimously approved by the Champions in the April 24 conference call. 17. 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. - Unanimously approved by the Champions in the April 24 conference call. 18. 2333 SV-AC Champions feedback on 0002173 - duplicate of 2327 - 2008-04-08: Passed by voice vote 9y/0n/0a. - Unanimously approved by the Champions in the April 24 conference call. 19. 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. - SV-CC reviewed this proposal and voted to accept it "as-is" on 04/02/2008 (unanimous). - Unanimously approved by the Champions in the April 24 conference call. List of Mantis items approved by the TC but some Champions opposed ------------------------------------------------------------------ (3 mantis items) 20. 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 sv-ac needs to clarify clock inferencing for $rose (and all of the other sampled value functions). - sv-ac 2008-03-25: Approved by voice vote: 7y/0n/0a - Champions April 24 conference call: A motion to send the proposal for Mantis item 1698 to sv-sc failed. The proposal was approved by the Champions with two opposed. Move: Dave - approve the proposal for Mantis 1698 Second: John Opposed: Stu - it isn't ready to be incorporated into the standard without more information on how to infer the clock. Francoise - same reason as Stu Mantis 2370 was opened to address the Champions issues with mantis 1698. A copy of the description of mantis 2370 is shown here: The proposal for 0001698 seems to have an issue with assertions in procedural code. There seems to be something missing on how putting $past into the procedural code is meant to work. This needs to be reviewed with the sv-sc. The rules for clock inferencing are appear to be incomplete. $past() without specifying the cycle it is sampled on is something new. Some didn't see how it can always be inferring sampled points. The "sampled functions" are still not fully defined. It isn't clear when things will be sampled. The goal is for all simulators to use the same rules. Other Comments: Some people don't like seeing contexts of $rose, etc. in conjunction with always_ff. This isn't meant to be synthesizable code. It isn't illegal but some people don't like that coding style. It isn't synthesizable sequential logic. It isn't sequential logic that accurately represents logic behavior. 21. 2251 SV-BC `include with "filename" - fixed - On March 25, 2008 the SV-BC unanimously approved the attached proposal. - Approved by the Champions in the April 10 conference call with 1 opposed. Comments from the Champions April 10 conference call: - sv-bc opened another mantis asking for more details. Mantis 2339 - when going to fix the problem it was realized there was a larger problem to be addressed. - the LRM usually doesn't get into this level of tool details Move: Dave - approve the proposal for Mantis item 2251 Second: Brad Opposed: stu - feels that it should be resolved in conjunction with 2339. Wants both to be resolved by svbc 22. 1932 SV-AC Introduce LTL and other temporal operators - fixed - was sent back by the champions (email vote of Feb 23) - The TC updated the proposal to address the Champions feedback - 2008-03-20: Voice vote 5y/0n/0a - The keyword "next" was changed to "nexttime". - Approved by the Champions in the April 10 conference call, with friendly amendments and one opposed. - The friendly amendments were made and approved by SV-AC 2008-04-22 by voice vote: 6y/0n/1a (LP abstained, was working offline and could not see the updated version). - Neil verified those changes. Opposed: Dave - simulation semantics for "eventually" need to be more well defined. It appears that there is a need for some "end of simulation" computation. - the proposal needs a more thorough review by implementors List of Mantis items that were previously contingently approved by the Champions -------------------------------------------------------------------------------- (1 mantis item) - This is from last time around..... 23. 1769 sv-ac Elaboration time user assertion and error reporting tasks - fixed - Failed to pass the Champions email vote ended on Feb 23, 2008. - svac updated the proposal, passed by voice vote on 3/10/08: 6y/0n/0a - Champions approved it on March 20, 2008 contingent upon sv-bc approval - svbc passed it with a friendly amendment to make the arguments of $fatal() consistent with the existing $fatal() system task. March 25, 2008 - svac made the friendly amendments and approved it by voice vote on 2008-03-25: 7y/0n/0aReceived on Sat Apr 26 14:06:55 2008
This archive was generated by hypermail 2.1.8 : Sat Apr 26 2008 - 14:06:57 PDT