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

I vote yes assuming the following are resolved:


"The counter for number of times evaluated, however, shall include all
executions of the cover statement."   Like Dmitry, I don't understand
why this includes all, versus only those matured. I think we need to
define "executions of" if this remains, because I thought it was only
executed when mature. 

"- Syntax: Deferred assertions use #0 after the assert."   I would
suggest changing the "assert" to the "verification directive" to make it
applicable to assume and cover as well, and independent of 1729.
Applies in two places.

"In the case of a deferred assertion (see 16.4 editor correct
reference), currently queued reports are not flushed, though further
checking is prevented until the $asserton."  I would think it would
continue checking for that time step, report the result in the Reactive
region, and then stop. This sounds like it could report interim results
after $asserton resumes checking. The wording in the VPI section was
more clear.

Lisa







-----Original Message-----
From: owner-sv-ac@eda.org [mailto:owner-sv-ac@eda.org] On Behalf Of John
Havlicek
Sent: Wednesday, January 16, 2008 8:25 PM
To: sv-ac@eda.org
Subject: [sv-ac] call to vote on 2005

Hi Folks:

This is the call to vote on the proposal for Mantis 2005, revised
to address comments from Tej Singh.

The document on Mantis is 

   assertdefer080116es.pdf

Please vote if you are eligible.  See details below.

J.H.

------------------------------------------------------------------------
----------
Ballot on Mantis 2005

- Called on 2008-01-16, final ballots due by 2008-01-21 T 23:59-08:00.

 v[xxxxxxxxxxxxxxxxxxxxx-xxxxxxxxxxxxxxxxxxxxxxxx-xx] Doron Bustan
(Intel)
 v[xxxxx--xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx-x] Eduard Cerny
(Synopsys)     
 n[----------------------x-xxx---------x-x-xxx-x---x] Surrendra Dudani
(Synopsys)
 v[xxxxxxxx-xxxxxx-xxxxxxxxx-xx-xxxxx-xxx-xxx-------] Yaniv Fais
(Freescale)
 t[xxxx--xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx] John Havlicek
(Freescale - Chair)
 v[xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxrxxxxxxxxxxxxx-xxx] Dmitry Korchemny
(Intel - Co-Chair)
 v[xxxxx-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[xxxxxxxxxxxxxxxxxxx..............................] Johan Martensson
(Jasper)
 n[---------------------------x--x-xx--xx-xxxxxxx-x-] Hillel Miller
(Freescale)
 v[xxxxx-xxxx-xxxxxxxxxxxxxxxxxxx-xxxxxxxx-xxxxxxxxx] Lisa Piper
(Cadence)
 v[xxxxxx-x-x-xx-xxxxxxx-x-xxxxx-x..................] Erik Seligman
(Intel)
 n[-------x-x----x--------xxxx-----xxxx-xx----------] Tej Singh (Mentor
Graphics)
 v[xxxxxx-x-xxxxxx--xxxxxxxx-xxxxxxxxxxxxxxxxxxxxxxx] Bassam Tabbara
(Synopsys)
 v[xxxxxxxxx-xxxxxxxxxxxxx-xxxxxxxxxx...............] Tom Thatcher (Sun
Microsystems)
   |------------------------------------------------- attendance on
2008-01-15
 |--------------------------------------------------- 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.