Hi, all, We will continue the August 14 P1800 meeting on August 28, 8am Pacific Time. Contact info to come. The current draft of the August 14 minutes can be found at: http://www.eda-twiki.org/cgi-bin/view.cgi/P1800/P1800Meeting08142008 The files we reviewed in the August 14 conference call are attached. Thanks, Karen -- This message has been scanned for viruses and dangerous content by MailScanner, and is believed to be clean. List of Mantis items approved by the Champions in the following meetings: July 10 July 24 July 31 August 7 List of Mantis items unanimously approved by both the TCs and the Champions --------------------------------------------------------------------------- (19 mantis items) 1. 2431 SV-AC Addressing editor issue regarding \equiv operator definition - Fixed - Unanimously approved by sv-ac by voice vote 2008-06-30: 5y/0n/0a 2. 2326 SV-AC add VPI diagrams for property case - Fixed - Unanimously approved by the sv-ac 2008-03-20: Voice vote 5y/0n/0a - The SV-CC reviewed this on 04/09/2008 and PASSED it (unanimous). - The proposal was deferred by the Champions in the April 24th, 2008 conference call until 0002173 is completed. - aligned with Draft6. Approved by voice vote 2008-06-30: 5y/0n/0a 3. 1076 SV-BC Misuse of term reg in 17.2.4.4 (1364) - No change required - On June 23, 2008 the SV-BC unanimously approved resolving this issue with no further action as it was addressed during the merge of the 1364 and 1800 LRMs. 4. 2127 SV-BC Clarify event scheduling of sequential UDPs - Duplicate - On June 23, 2008 the SV-BC unanimously approved resolution of this issue with no further action as it is a duplicate of 0001062. 5. 2360 SV-BC Missing Initialization Vector spec for Encryption breaks portability for all CBC algorithms - Fixed - On June 9, 2008 the SV-BC unanimously approved the proposal with the friendly amendments noted here on the SV-BC reflector: 6. 2094 SV-CC Need to extend VPI to handle class specializations - Fixed - The SV-CC PASSED this on 03/26/2008 (unanimous) - The proposal was unanimously approved by the Champions in the April 10th, 2008 conference call with friendly amendments. - On 05/21/2008 the SV-CC approved the latest proposal for this issue. (unanimous) 7. 2370 SV-SC Inferred clock ambiguities with the sampled functions - Champions feedback on 1698 - duplicate 8. 2415 SV-SC Allow using .triggered methods in sequences - fixed - Passed in SV-SC vote closing 2008-07-16, 10y/0n/3a. 9. 1728 SV-SC Introduce "let"statement - fixed - Sent to sv-sc by the Working Group March 27 - Sent back to sv-sc by Champions July 24 (mostly editorial changes) - SV-SC voted at 2008-07-29 mtg to approve Dmitry's updated proposal, which addresses the issues posed by the champions. Abstain: Tom, Steve, Manisha Passes: 8y, 0n, 3a - The sv-sc made another small update, based on input from Shalom. 10. 2327 SV-AC 2173 adds property case, need to add vacuity definition and multi clocking behavior in it - fixed - approved by voice vote 2008-06-30: 5y/0n/0a - sent back to the technical committee by the Champions in the July 10th, conference call. - Passed by email vote 5y/0n/0a called 2008-07-23 11. 2110 SV-SC Allow checkers in procedural for loops - duplicate - SV-SC voted to close in email vote ending 2008-07-21. Feature is now incorporated into 1900. 7y/0n/0ea/6ia (ea = explicit abstain, ia = implied abstain by not sending email) 12. 2411 SV-SC Allow using triggered method in sequences - duplicate - SV-SC voted to close as duplicate in email vote ending 2008-07-21. This is exactly the same proposal as 2415, accidentally entered twice. 7y/0n/0ea/6ia (ea = explicit abstain, ia = implied abstain by not sending email) 13. 2089 SV-SC Allow checker construct (0001900) to include final blocks with immediate assertions - duplicate - SV-SC voted to close as duplicate, in email vote ending 2008-07-21, since feature is now included in 1900. 7y/0n/0ea/6ia (ea = explicit abstain, ia = implied abstain by not sending email) 14. 1809 SV-BC forward references into $unit package - fixed - On March 25, 2008 the SV-BC unanimously approved the attached proposal. - The proposal was unanimously approved by the Champions in the April 24th, 2008 conference call. - The proposal was unanimously approved by the Working Group in the conference call of May 01, 2008. - Editor Note: I spent considerable time trying to add this proposal into Draft 6, and finally had to back everything back out. - On July 21, 2008, the SV-BC approved the updated proposal (1809-v9.htm) to address this issue. The vote was not unanimous. Shalom Bresticker abstained because he did not have enough time to review the proposal. 15. 2428 SV-EC There is a typo in the example of section 18.6 (page 468) i[1] is incorrect, it should be i[0] - fixed - Approved on July 21 2008, minor editorial changes 16. 2448 SV-BC BNF for packed arrays of enums - fixed - On July 21, 2008 the SV-BC unanimously approved the attached proposal to resolve this issue. 17. 1835 SV-CC JEITA: APIs Give a overarching name for APIs - fixed - The SV-CC PASSED this option on 07/30/2008. (unanimous) - The latest proposal is a frame file The .pdf file is definitive, and is the one that the SV-CC voted on and approved. [Re: Jim Vellenga] 18. 529 SV-CC 27.21 & 27.22 Cannot get a handle to a class instance - duplicate - On 07/30/2008 the SV-CC voted to declare this a DUPLICATE of Item 0528. 19. 2447 SV-CC VPI data model needs to include enum vars in packed arrays (#1230 changes) pending SV-BC change (#2374). - fixed - The SV-CC PASSED this proposal on 07/30/2008 (unanimous). List of Mantis items approved by the Champions with friendly amendments ----------------------------------------------------------------------- (6 mantis items) 20. 2173 SV-AC Add case construct for properties. - Fixed - Unanimously approved by the SV-AC 2008-03-20: Voice vote 5y/0n/0a - Champions sent it to sv-bc for review - It was updated with SV-BC feedback and aligned to draft 6 Re-approved by the sv-ac by voice vote 2008-06-30: 5y/0n/0a Move: Brad - Approve the proposal for Mantis item 2173 with a friendly amendment to change 'wait' to 'delay' in the example Second: Dave - It needs to also be updated on mantis before going to the working group 21. 2414 SV-SC VPI for let - fixed - Passed voice vote in SV-SC meeting, 2008-07-22. 11y/0n/1a Mike Burns abstained due to lack of VPI expertise. 22. 2398 SV-SC More consistent semantics for concurrent assertions in procedural code - fixed - Passed by voice vote at SV-SC meeting 2008-07-22, conditional on minor edit implemented in version posted by Erik Seligman on 2008-07-23. 12y/0n/0a 23. 742 SV-CC Need VPI info on parameters that are types - fixed - The proposal was sent back to the technical committee by the Champions in the July 10th, 2008 conference call. The vote was unanimous. - The SV-CC PASSED this proposal on 07/30/2008 (unanimous). 24. 2396 SV-SC Add edge identifier edge for events - fixed - Passed by voice vote in SV-SC meeting, 2008-07-22. 11y/0n/1a Abstains: Lisa - just not sure, seems like there are other ways to do it. - The proposal was sent back to the SV-SC by the Champions in the July 31st, 2008 conference call. - SV-SC approved latest edit in 2008-08-05 mtg. 9y/0n/0a. Move: Shalom - approve the proposal for Mantis 2396 , with Editorial amendments that are listed in the bug note, the change to last sentence before 29.4.3 also needs to be updated. Second: Dave Abstain: Brad - doesn't think it is necessary, thinks it is confusing. 1. Some people will think that @ some_name is level sensitive instead of edge sensitive 2. Doesn't like that all the editorial issues were ignored. 25. 2434 SV-SC Changes to seq/prop defaults and typing of actuals - fixed - Passed in voice vote at SV-SC meeting, 2008-07-22. 9y/1n/0a Mark Hartoog votes no - not needed, creates backwards compatibility issues. Clarification - not 100% sure about the note at the end, but the whole basic idea of casting these expressions to their self-determined type has the potential to create very subtle backwards compatibility issues per the face-to-face. - The proposal was sent back to the SV-SC by the Champions in the July 31st, 2008 conference call. List of Mantis items approved by the Champions with some abstains ----------------------------------------------------------------------- ( 1 mantis items) 26. 2054 SV-CC Draft 3a, Section 40 - Deprecate Data Read API - Fixed - The SV-CC PASSED this on 03/26/2008 3 opposed: Michael, Francoise, Ghassan 1 abstain: Bassam 6 in favor: Abi, John, Chuck, Jim, Steve, Anil - The proposal was approved by the Champions in the April 10th, 2008 conference call with friendly amendments. There was one abstain. (Brad - doesn't know enough about it) - The proposal was updated. - On 05/21/2008 the SV-CC approved the latest proposal for this issue. (unanimous) FM - was concerned about removing the data read API. Move: FM - approve the proposal for Mantis item 2054 Second: John Abstain: Shalom - Removes an essential capability to transfer simulation data between tools. There isn't a replacement for it. Brad - Agrees with Shalom. Thinks it was a political decision. Technically it should be there. Passed (3 in favor and 2 abstains) Note: In the meeting I mentioned that I would check the Operating Guidelines to determine if it should be considered passed. According to the latest guidelines it does pass. List of Mantis items contingently approved by the Champions ----------------------------------------------------------------------- ( 1 mantis items) 27. 2088 SV-SC Allow Checker construct (0001900) to include covergroups - fixed - Passed by voice vote at SV-SC meeting 2008-07-22, conditional on Tom reviewing p3 example with two identical bins after return from vacation: did he intend this legal but odd case to illustrate something subtle, or should we replace it with a more typical case of disjoint bins? 8y/0n/4a Abstains: - Gordon based on email vote, likely to be substantive user-based issues resulting in implementation divergence. Risk factors are too high. Addresses current user needs, but will have future changes. - Steven based on same issues as Gord and hasn't reviewed the proposal. - Mirek: No expertise in cover groups. - Manisha: Agrees with Gordon
This archive was generated by hypermail 2.1.8 : Thu Aug 14 2008 - 09:49:52 PDT