[sv-ac] SV-AC items approved by P1800 WG

From: John Havlicek <john.havlicek_at_.....>
Date: Fri Feb 01 2008 - 04:50:55 PST
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