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

Hi,

I vote yes with the following friendly amendments:

1. The document says that semantics of accept_on is similar to disable
iff. I think this is not correct thing to say as accept_on makes the
property to pass where as disable iff does not result is pass/fail. The
following should be reworded to avoid any confusion.

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

2. The following statement is not entirely correct as $sampled does not
require any clock:
When sampled value functions are used in the abort condition, the clock
argument shall be explicitly specified.

Thanks.
Manisha

-----Original Message-----
From: owner-sv-ac@server.eda.org [mailto:owner-sv-ac@server.eda.org] On
Behalf Of John Havlicek
Sent: Wednesday, November 21, 2007 2:22 AM
To: sv-ac@server.eda.org
Subject: [sv-ac] call to vote on 1757

Hi Folks:

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

The document on Mantis is 

   AcceptRejecton1757.071107.pdf

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

J.H.

------------------------------------------------------------------------
----------
Ballot on Mantis 1757

- Called on 2007-11-20, final ballots due by 2007-11-26 T 23:59-08:00.

 v[xxxxxxxxxxxxxxx-xxxxxxxxxxxxxxxxxxxxxxxx-xx] Doron Bustan (Intel)
 v[-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx-x] Eduard Cerny (Synopsys)

 n[----------------x-xxx---------x-x-xxx-x---x] Surrendra Dudani
(Synopsys)
 v[xx-xxxxxx-xxxxxxxxx-xx-xxxxx-xxx-xxx-------] Yaniv Fais (Freescale)
 t[xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx] John Havlicek (Freescale
- Chair)
 v[xxxxxxxxxxxxxxxxxxxxxxxxxrxxxxxxxxxxxxx-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[xxxxxxxxxxxxx..............................] Johan Martensson
(Jasper)
 n[---------------------x--x-xx--xx-xxxxxxx-x-] Hillel Miller
(Freescale)
 v[xxxx-xxxxxxxxxxxxxxxxxxx-xxxxxxxx-xxxxxxxxx] Lisa Piper (Cadence)
 v[xx-x-xx-xxxxxxx-x-xxxxx-x..................] Erik Seligman (Intel)
 n[-x-x----x--------xxxx-----xxxx-xx----------] Tej Singh (Mentor
Graphics)
 v[-x-xxxxxx--xxxxxxxx-xxxxxxxxxxxxxxxxxxxxxxx] Bassam Tabbara
(Synopsys)
 v[xxx-xxxxxxxxxxxxx-xxxxxxxxxx...............] Tom Thatcher (Sun
Microsystems)
   |------------------------------------------- attendance on 2007-11-20
 |--------------------------------------------- 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.


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