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

Hi,

I vote yes with the following friendly amendments:

Beginning of 16.12.3:
=================================================

REPLACE (Two not three differences)
The semantics of accept_on is similar to disable iff, except for the
following three differences:   
 accept_on operates at the property level rather than the verification statement level   
 accept_on uses sampled values
WITH
The semantics of accept_on is similar to disable iff, except for the
following two differences:   
 accept_on operates at the property level rather than the verification statement level   
 accept_on uses sampled values

Explanation of examples:
============================

property p; (accept_on(a) p1) and (reject_on(b) p2); endproperty
----------------------------------------------------------------

REPLACE (Irrelevant whether second operand completes)
If a becomes true during the evaluation of p1 and the second term of the
and operation completed evaluation, the truth of p1 is ignored in
deciding the truth of p.  
WITH
If a becomes true during the evaluation of p1, the truth of p1 is ignored in
deciding the truth of p. 


REPLACE ('p2' missing)
deciding the truth of p.  On the other hand, if b becomes true during the
evaluation of then p evaluates to false.
WITH
deciding the truth of p.  On the other hand, if b becomes true during the
evaluation of p2 then p evaluates to false.

property p; (accept_on(a) p1) or (reject_on(b) p2); endproperty 
----------------------------------------------------------------

REPLACE (Irrelevant whether first operand completes)
If a becomes true during the evaluation of p1 then p evaluates to true.
On the other hand, if b becomes true during the evaluation of p2 and the
first term completed evaluation then the second term is ignored in
deciding the truth of p  
WITH
If a becomes true during the evaluation of p1 then p evaluates to true.
On the other hand, if b becomes true during the evaluation of p2 then
the second term is ignored in deciding the truth of p  


Best Regards,

/Johan


On Mon, Oct 29, 2007 at 12:23:48PM -0500, John Havlicek wrote:
> Hi Folks:
> 
> This is the call to vote on the revised proposal for 1757.
> 
> The document on Mantis is 
> 
>   AcceptRejecton1757.071024.pdf
> 
> Please vote if you are eligible.  See the details below.
> 
> J.H.
> 
> ----------------------------------------------------------------------------------
> Ballot on Mantis 1757
> 
> - Called on 2007-10-29, final ballots due by 2007-11-05 T 23:59-08:00.
> 
>  v[xxxxxxxxxxx-xxxxxxxxxxxxxxxxxxxxxxxx-xx] Doron Bustan (Intel)
>  v[xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx-x] Eduard Cerny (Synopsys)     
>  n[------------x-xxx---------x-x-xxx-x---x] Surrendra Dudani (Synopsys)
>  v[xxxxx-xxxxxxxxx-xx-xxxxx-xxx-xxx-------] Yaniv Fais (Freescale)
>  t[xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx] John Havlicek (Freescale - Chair)
>  v[xxxxxxxxxxxxxxxxxxxxxrxxxxxxxxxxxxx-xxx] Dmitry Korchemny (Intel - Co-Chair)
>  v[xxxxx-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[xxxxxxxxx..............................] Johan Martensson (Jasper)
>  n[-----------------x--x-xx--xx-xxxxxxx-x-] Hillel Miller (Freescale)
>  v[-xxxxxxxxxxxxxxxxxxx-xxxxxxxx-xxxxxxxxx] Lisa Piper (Cadence)
>  v[-xx-xxxxxxx-x-xxxxx-x..................] Erik Seligman (Intel)
>  n[----x--------xxxx-----xxxx-xx----------] Tej Singh (Mentor Graphics)
>  v[xxxxx--xxxxxxxx-xxxxxxxxxxxxxxxxxxxxxxx] Bassam Tabbara (Synopsys)
>  v[xxxxxxxxxxxxx-xxxxxxxxxx...............] Tom Thatcher (Sun Microsystems)
>    |--------------------------------------- attendance on 2007-10-23
>  |----------------------------------------- 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 or 3/4 overall)
>                 n = not a valid voter
>                 t = chair eligible to vote only to make or break a tie
> 
> 
> 
> -- 
> This message has been scanned for viruses and
> dangerous content by MailScanner, and is
> believed to be clean.

-- 
------------------------------------------------------------
Johan Mårtensson                 Office: +46 31 7451913
Jasper Design Automation         Mobile: +46 703749681 
Arvid Hedvalls backe 4           Fax: +46 31 7451939
411 33 Gothenburg, Sweden        Skype ID: johanmartensson
------------------------------------------------------------

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