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

Hi Manisha,

I uploaded an updated version to mantis.

Thanks

Doron


>>-----Original Message-----
>>From: owner-sv-ac@server.eda.org [mailto:owner-sv-ac@server.eda.org]
On
>>Behalf Of Kulshrestha, Manisha
>>Sent: Monday, November 26, 2007 12:30 PM
>>To: john.havlicek@freescale.com; sv-ac@server.eda.org
>>Subject: 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.
---------------------------------------------------------------------
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.