[sv-ac] 1728 passed

Hi Folks:

Our e-mail ballot on 1728 passed with friendly amendments.  See the
results below.

Please align this proposal to Draft4, ensure that all friendly
amendments have been addressed, and send mail to confirm that these
have been done.


J.H.

----------------------------------------------------------------------------------

Ballot on Mantis 1728 

- Called on 2007-09-25, final ballots due by 2007-10-02 T 23:59-07:00.


yv[xxxxxxxx-xxxxxxxxxxxxxxxxxxxxxxxx-xx] Doron Bustan (Intel)
yv[xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx-x] Eduard Cerny (Synopsys)     
 n[---------x-xxx---------x-x-xxx-x---x] Surrendra Dudani (Synopsys)
 v[xx-xxxxxxxxx-xx-xxxxx-xxx-xxx-------] Yaniv Fais (Freescale)
 t[xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx] John Havlicek (Freescale - Chair)
yv[xxxxxxxxxxxxxxxxxxrxxxxxxxxxxxxx-xxx] Dmitry Korchemny (Intel - Co-Chair)
yv[xx-xxx-x--xx--xxxxx----------xx-xxxx] Manisha Kulshrestha (Mentor Graphics)
 n[-----------------xxxxx-------x-xx-x-] Jiang Long (Mentor Graphics)
 n[---------x--xxx.....................] Joseph Lu (Altera)
 v[xxxxxx..............................] Johan Martensson (Jasper)
 n[--------------x--x-xx--xx-xxxxxxx-x-] Hillel Miller (Freescale)
yv[xxxxxxxxxxxxxxxxx-xxxxxxxx-xxxxxxxxx] Lisa Piper (Cadence)
yv[-xxxxxxx-x-xxxxx-x..................] Erik Seligman (Intel)
 n[-x--------xxxx-----xxxx-xx----------] Tej Singh (Mentor Graphics)
yv[xx--xxxxxxxx-xxxxxxxxxxxxxxxxxxxxxxx] Bassam Tabbara (Synopsys)
yv[xxxxxxxxxx-xxxxxxxxxx...............] Tom Thatcher (Sun Microsystems)
   |------------------------------------ attendance on 2007-09-25
 |-------------------------------------- voting eligibility for this ballot
|--------------------------------------- email ballots received


	Legend:
		x = attended
		- = missed
		r = represented
		. = not yet a member
		v = valid voter (2 out of last 3)
		n = not valid voter
                t = chair eligible to vote only to make or break a tie


----------------------------------------------------------------------------------

Friendly amendments:

[TT]

   I vote yes on 1728, with the following friendly amendments:
   
   
   1.  p. 3:  declarayions  -->  declarations


[LP]

   I vote yes on 1728 - let with the following friendly amendments:
   
   1. At the bottom of the document there lists changes to
   
   
         A.2.10. Assert declarations
   
   
   
      ADD at the end
   
   
   
         A.2.10 Expressions
   
   
   
      REPLACE
   
   
         There is no "A.2.10 Expressions" and it does not say what to add.  I
         suspect the middle two lines need to be deleted.
   
   2. Examples "f" include example of concurrent assertions in procedural
      code which is not discussed until 16.14. I'm not sure that it adds
      much so you might want to delete that part of this example or
      change it to a normal concurrent assertion.

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