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

These are my comments 

1. end of page 3, 

   "An immediate assume will often be useful in cases where a
combinational   
    condition is checked in a function, but needs to be used as an 
    assumption rather than a proof target by formal tools. An immediate

    cover is useful to avoid crediting tests for covering a condition
that    
    is only met in passing by glitched values."

   Should be

   "An immediate differed assume will often be useful in cases where a 
    combinational condition is checked in a function, but needs to be
used 
    as an assumption rather than a proof target by formal tools. An 
    immediate cover is useful to avoid crediting tests for covering a  
    condition that is only met in passing by glitched values."

2. At 16.4.1 I don't understand this paragraph. What does it mean that 
   "pending assertion reports may mature"?

3. 16.4.2 shouldn't an always block like

   always @(a) b = a; 

   be considered as a flush point.

4. First example at 16.4.4 - label of assertion should be a4.

Doron


>>-----Original Message-----
>>From: owner-sv-ac@server.eda.org [mailto:owner-sv-ac@server.eda.org]
On
>>Behalf Of John Havlicek
>>Sent: Thursday, December 13, 2007 2:52 AM
>>To: sv-ac@server.eda.org
>>Subject: [sv-ac] call to vote on 2005
>>
>>Hi Folks:
>>
>>This is the call to vote on the proposal for Mantis 2005.
>>
>>This ballot will close on 2007-12-17 as discussed in our meeting
>>on 2007-12-11.
>>
>>The document on Mantis is
>>
>>  assertdefer071211es.pdf
>>
>>Please vote if you are eligible.  See the details below.
>>
>>J.H.
>>
>>----------------------------------------------------------------------
----
>>--------
>>Ballot on Mantis 2005
>>
>>- Called on 2007-12-12, final ballots due by 2007-12-17 T 23:59-08:00.
>>
>> v[xxxxxxxxxxxxxxxxxx-xxxxxxxxxxxxxxxxxxxxxxxx-xx] Doron Bustan
(Intel)
>> v[xx--xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx-x] Eduard Cerny
(Synopsys)
>> n[-------------------x-xxx---------x-x-xxx-x---x] Surrendra Dudani
>>(Synopsys)
>> v[xxxxx-xxxxxx-xxxxxxxxx-xx-xxxxx-xxx-xxx-------] Yaniv Fais
(Freescale)
>> t[x--xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx] John Havlicek
>>(Freescale - Chair)
>> v[xxxxxxxxxxxxxxxxxxxxxxxxxxxxrxxxxxxxxxxxxx-xxx] Dmitry Korchemny
(Intel
>>- Co-Chair)
>> v[xx-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[xxxxxxxxxxxxxxxx..............................] Johan Martensson
>>(Jasper)
>> n[------------------------x--x-xx--xx-xxxxxxx-x-] Hillel Miller
>>(Freescale)
>> v[xx-xxxx-xxxxxxxxxxxxxxxxxxx-xxxxxxxx-xxxxxxxxx] Lisa Piper
(Cadence)
>> v[xxx-x-x-xx-xxxxxxx-x-xxxxx-x..................] Erik Seligman
(Intel)
>> n[----x-x----x--------xxxx-----xxxx-xx----------] Tej Singh (Mentor
>>Graphics)
>> v[xxx-x-xxxxxx--xxxxxxxx-xxxxxxxxxxxxxxxxxxxxxxx] Bassam Tabbara
>>(Synopsys)
>> v[xxxxxx-xxxxxxxxxxxxx-xxxxxxxxxx...............] Tom Thatcher (Sun
>>Microsystems)
>>   |--------------------------------------------- attendance on
2007-12-11
>> |----------------------------------------------- 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.
---------------------------------------------------------------------
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.