RE: [sv-ac] call to vote on 1757

I vote yes with the following friendly amendments:

 

1.	I think the changes to 16.5 should be removed. This text is
disable iff, not accept_on/accept_off.  And if it stays, then 1648 will
need to change its reference relative to whether or not this was
adopted.  Also, I see no reason that 1648 would not get adopted now that
we have changed it from "default disable" to "default disable iff".   
2.	In the following sentence, the word "may" should be "shall"
(twice):  "While a disable condition of a disable iff in a property_spec
may cause an evaluation of the property_spec to be disabled, an abort
condition of accept_on in a property_expr may cause the evaluation of
the property_expr to be true."
3.	The following sentence should be deleted because the example
shown below it does not show nested operators and more importantly it is
repeated again with an appropriate example a few lines down: " In
particular, when reject_on ( or accept_on) appears in nested properties,
the outermost abort condition takes precedence over inner abort
conditions."
4.	In 36.45, should "property expr"  be "property_expr"
(underscore separated and italics)?
5.	In the text you have that the semantics of reject_on(b) is :
not(accept_on(expression_or_dist) not(property_expr)).   But in F.2.3
you have - ( reject_on ( b ) P) =  ( not accept_on (b) not P )
I'm not sure if the additional parenthesis in the text is significant
:-)  I understand the version with parenthesis without having to go back
and study the precedence to see if it matters. 

 

Lisa

________________________________

From: owner-sv-ac@eda.org [mailto:owner-sv-ac@eda.org] On Behalf Of
Korchemny, Dmitry
Sent: Tuesday, November 27, 2007 5:19 PM
To: sv-ac@eda.org
Subject: [sv-ac] call to vote on 1757

 

Hi Folks:

 

This is the call to vote on the revised proposal for Mantis 1757.

 

The document is 

 

AcceptRejecton1757.071127.pdf

 

on Mantis.

 

Please vote if you are eligible.  See the details below.

 

D.K.

 

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

 

Ballot on Mantis 1728 

 

- Called on 2007-11-27, final ballots due by 2007-12-03 T 23:59-08:00.

 

 v[xxxxxxxxxxxxxxxx-xxxxxxxxxxxxxxxxxxxxxxxx-xx] Doron Bustan (Intel)

 v[--xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx-x] Eduard Cerny (Synopsys)


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

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

 t[-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx] John Havlicek
(Freescale - Chair)

 t[xxxxxxxxxxxxxxxxxxxxxxxxxxrxxxxxxxxxxxxx-xxx] Dmitry Korchemny (Intel
- Co-Chair)

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

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

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

 v[xxxxxxxxxxxxxx..............................] Johan Martensson
(Jasper)

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

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

 v[x-x-x-xx-xxxxxxx-x-xxxxx-x..................] Erik Seligman (Intel)

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

 v[x-x-xxxxxx--xxxxxxxx-xxxxxxxxxxxxxxxxxxxxxxx] Bassam Tabbara
(Synopsys)

 v[xxxx-xxxxxxxxxxxxx-xxxxxxxxxx...............] Tom Thatcher (Sun
Microsystems)

   |------------------------------------------- attendance on 2007-11-27

 |--------------------------------------------- voting eligibility for
this ballot

|---------------------------------------------- new voting eligibility

 

            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

 

---------------------------------------------------------------------
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 <http://www.mailscanner.info/> , and is

believed to be clean. 

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