Hi Folks: Below is the list of SV-AC items that were approved by P1800 WG in the meeting 2008-01-31. J.H. 12. 2033 SV-AC Explicitly mention generate blocks as sequence and property declaration scope - Fixed - Unanimously passed by voice vote 2007-11-27. - The proposal was unanimously approved by the Champions in the December 20, 2007 conference call 16. 1533 SV-AC LRM not clear about types of local variables in properties and sequences - Duplicate - 2007-11-20: E-mail vote passed to change state to "resolved, duplicate" as subsumed by 1668, 5y/0n/0a. - The Resolution of Duplicate was unanimously approved by the Champions in the December 20, 2007 conference call 30. 1682 SV-AC Future value functions - Fixed - 2007-12-24: Passed by e-mail vote, 7y/0n/3a. - Neil - added a note to the Editor for the following (Stu was OK with this) - The proposal adds functions to 19.12. They should also be in the list of 19.1 - Neil - notified the svcc about it (touches callbacks) 38.4.2.1 - The proposal was unanimously approved by the Champions in the January 17, 2007 conference call 35. 1683 SV-AC Relax rules for building multiclocked properties - Fixed - 2007-12-24: Passed by e-mail ballot, 8y/0n/2a - Neil opened Mantis item 2248 with feedback from the Champions. During the review of Mantis item 1683 the Champions noted the following in their conference call held January 17th, 2008. It was agreed that the Technical Committee could work on these issues as a separate Mantis item. "leading clock" - what does it mean? - this phrase is used a lot. The change in terminology is confusing. The first usage of "leading clock" should have a reference to 16.15.1 The distinction between "leading clock" and "semantic leading clock" is not clear. - The proposal was unanimously approved by the Champions in the January 17th, 2008 conference call with friendly amendments. Page 8, inherited - changed to italic. There are other places where it was not changed. The following was also noted: Page 3, "overlapping tick" - there is a very large space there. -- This message has been scanned for viruses and dangerous content by MailScanner, and is believed to be clean.Received on Fri Feb 1 11:59:31 2008
This archive was generated by hypermail 2.1.8 : Fri Feb 01 2008 - 12:00:27 PST