RE: [sv-ac] alignment to Draft 3

Hi all,

I updated my items (1460, 1591, and 1677). Attaching the updated
versions for convenience.

Dmitry

-----Original Message-----
From: owner-sv-ac@server.eda.org [mailto:owner-sv-ac@server.eda.org] On
Behalf Of John Havlicek
Sent: Monday, July 16, 2007 2:33 PM
To: sv-ac@server.eda-stds.org
Subject: [sv-ac] alignment to Draft 3

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.