[sv-ac] ballot results on 2173

 

The ballot failed:

 

Ballot on Mantis 2173

 

- Called on 2008-06-23, final ballots due by 2008-06-29 T 23:59-08:00
PDT.

 

yv[x--x--xxxxxxxxx-xxxxxxxxxxxxxxxxxxxxxxxx-xxxxxxxxxxxxxxxxxxxxxxxx-xx]
Doron Bustan (Intel)

 v[-xx-xxxx-xxxxxxxxxxxxxxx--xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx-x]
Eduard Cerny (Synopsys)     

 n[-----------------------------------------x-xxx---------x-x-xxx-x---x]
Surrendra Dudani (Synopsys)

yv[xxxxx-xxxxxxxxxxx-xxxxxxxxx-xxxxxx-xxxxxxxxx-xx-xxxxx-xxx-xxx-------]
Yaniv Fais (Freescale)

 v[-xxxxxxxxxxxxxxxxxxxxxx--xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx]
John Havlicek (Freescale)

 t[xxxx-xxxxx-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxrxxxxxxxxxxxxx-xxx]
Dmitry Korchemny (Intel - Chair)

 n[-----xxx--xx-x-xxxxxxxxx-xxxxxxxxx-xxx-x--xx--xxxxx----------xx-xxxx]
Manisha Kulshrestha (Mentor Graphics)

 n[----------------x-x-------------------------------------------------]
Ah-Lam Lee (Qualcomm)

 n[-------------------------------------------------xxxxx-------x-xx-x-]
Jiang Long (Mentor Graphics)

 n[--x-xx-x--------------------x------------x--xxx.....................]
Joseph Lu (Altera)

 n[--------------x-x--xxxxxxxxxxxxxxxxxxx.............................]
Johan Martensson (Jasper)

 n[----------------------------------------------x--x-xx--xx-xxxxxxx-x-]
Hillel Miller (Freescale)

 v[xxxxxxxx-xxxxxxxxxxxxxxx-xxxx-xxxxxxxxxxxxxxxxxxx-xxxxxxxx-xxxxxxxxx]
Lisa Piper (Cadence)

nv[xxxxxxx-xxxxxx-xxxxxxxxxx-x-x-xx-xxxxxxx-x-xxxxx-x..................]
Erik Seligman (Intel)

yn[--------------------------x-x----x--------xxxx-----xxxx-xx----------]
Tej Singh (Mentor Graphics)

yv[-xx-xxxx-x-x-x-xxx-xxxxxx-x-xxxxxx--xxxxxxxx-xxxxxxxxxxxxxxxxxxxxxxx]
Bassam Tabbara (Synopsys)

 v[xxxxxxxxxxxxxxxxxxxxxxxxxxxx-xxxxxxxxxxxxx-xxxxxxxxxx...............]
Tom Thatcher (Sun Microsystems - Co-Chair)

   |------------------------------------------------------ attendance on
2008-06-23

 |-------------------------------------------------------- voting
eligibility on 2008-06-23

 

       Legend:

                x = attended

                - = missed

                r = represented

                . = not yet a member

                v = valid voter (2 out of last 3 or 3/4 overall)

                n = not a valid voter

                t = chair eligible to vote only to make or break a tie

 

Comments:

 

LP:

I vote no on 2173 due to the following:

 

1.	The version on Mantis is relative to draft 4. It needs to be
updated to draft 6. 
2.	There is no reference to VPI fixes 
3.	When updated for draft 6, there are other places in the text
that use "property_spec" that need to be updated. 
4.	It seems that the definition of property_spec still exists, in
addition to which there is now a property_statement_spec.  It appears
that I can only use "property_statement_spec" in the definition of a
property.   For example, the 

assert_property_statement::=

      assert property ( property_spec) action_block

Why isn't this "property_statement_spec"?  It is not clear when to use
property_spec anymore?

 

DK:

Lisa sent a positive vote later, but it was when the ballot was already
closed.


-- 
This message has been scanned for viruses and 
dangerous content by MailScanner <http://www.mailscanner.info/> , and is

believed to be clean. 
---------------------------------------------------------------------
Intel Israel (74) Limited

This e-mail and any attachments may contain confidential material for
the sole use of the intended recipient(s). Any review or distribution
by others is strictly prohibited. If you are not the intended
recipient, please contact the sender and delete all copies.

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