Re: [sv-ac] alignment to Draft 3

All:

I updated 1543 and 1567 to align with Draft 3a.  I noticed that 1543
has already been fixed in Draft 3a.

J.H.


> X-Authentication-Warning: server.eda-stds.org: majordom set sender to owner-sv-ac@eda.org using -f
> Date: Mon, 16 Jul 2007 06:33:26 -0500
> From: John Havlicek <john.havlicek@freescale.com>
> Reply-To: john.havlicek@freescale.com
> X-eda.org-MailScanner: Found to be clean, Found to be clean
> X-Spam-Status: No, No
> Sender: owner-sv-ac@eda.org
> X-eda.org-MailScanner-Information: Please contact the ISP for more information
> X-eda.org-MailScanner-From: owner-sv-ac@server.eda.org
> X-OriginalArrivalTime: 16 Jul 2007 11:35:03.0395 (UTC) FILETIME=[59D01330:01C7C79D]
> 
> All:
> 
> The following proposals are up for review by the champions:
> 
> 1460   Allow actions within assume property statement
> 1466   shortcuts for delay and consecutive repetition
> 1543   Meaningless sentence in 17.15 and Annex H
> 1550   $sampled function definition
> 1567   22.9: in Syntax 22-7, should be no semicolon
> 1591   17.7.3, 22.9: $past syntax not precise
> 1601   new keyword for untyped formal arguments
> 1648   Default reset for assertions
> 1674   Context value functions
> 1677   Add $changed sampled value function
> 1704   need to specify behavior of attached subroutine on empty seq match
> 1722   there exists bind inconsistencies between the BNF and the text
> 
> 
> It has been noted that these are not all aligned to Draft 3a.
> 
> I recall when Draft 3 came out that we made a decision not to
> go back through the proposals that had already been passed, but
> at this point I think we have to align them all.  
> 
> Can the owners of these proposals please make the necessary minor
> modifications to ensure that the section numbering and references
> are correct?  I do not think we need to re-vote these items.
> 
> J.H.
> 
> 
> -- 
> This message has been scanned for viruses and
> dangerous content by MailScanner, and is
> believed to be clean.
> 

-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.