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

Hi Manisha-- 
I've attached a version that attempts to address issues 1, 2, and 4.
Tell me what you think.

As for #3-- you should talk to your co-workers more often. :-)  The
algorithm described here was arrived at after long discussions with Tej
and DougW.  But I would like to hear any concrete concerns you have.  It
has been pointed out that it is not completely race-free in certain
cases; however, I think it is likely to be a very useful alternative to
the current (much more glitchy) method that is required by SVA in such
situations.
 

-----Original Message-----
From: owner-sv-ac@server.eda.org [mailto:owner-sv-ac@server.eda.org] On
Behalf Of Kulshrestha, Manisha
Sent: Friday, December 21, 2007 1:29 AM
To: sv-ac@server.eda.org
Subject: RE: [sv-ac] call to vote on 2005

Hi,

I vote 'no' due to following reasons:

1.	In section 16.4, the event_expressions should have '()' around
it (in the part where it describes these with 1729 accepted).
2.	In section 16.4.1, it says that if no action block is specified
$error will be executed. This is overlooking the fact that deferred
assertion may be a ' cover ' and this will not be valid in that case.
3.	There seems to be major issues in the description of the event
control based deferred assertion (16.4.5). We need to discuss this
within Mentor Graphics to provide detailed feedback (which is only
possible in January due to holidays).
4.	I do not think deferred covers should be mentioned in 16.14.3 as
that section is only for concurrent assertions. How the counters for
deferred cover will work should be with 16.4 (the new section being
added). I did not find any changes in 16.14.3 in 1729 for it as the
current proposal mentions.

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, December 19, 2007 7:27 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 revised proposal for Mantis 2005.

The proposal on Mantis is 

   assertdefer071218es.pdf

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

J.H.

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

- Called on 2007-12-18, final ballots due by 2007-12-24 T 23:59-08:00.

 v[xxxxxxxxxxxxxxxxxxx-xxxxxxxxxxxxxxxxxxxxxxxx-xx] Doron Bustan (Intel)
v[xxx--xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx-x] Eduard Cerny
(Synopsys)     
 n[--------------------x-xxx---------x-x-xxx-x---x] Surrendra Dudani
(Synopsys)
 v[xxxxxx-xxxxxx-xxxxxxxxx-xx-xxxxx-xxx-xxx-------] Yaniv Fais
(Freescale)
 t[xx--xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx] John Havlicek
(Freescale - Chair)  v[xxxxxxxxxxxxxxxxxxxxxxxxxxxxxrxxxxxxxxxxxxx-xxx]
Dmitry Korchemny (Intel - Co-Chair)
v[xxx-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[xxxxxxxxxxxxxxxxx..............................] Johan Martensson
(Jasper)
 n[-------------------------x--x-xx--xx-xxxxxxx-x-] Hillel Miller
(Freescale)
 v[xxx-xxxx-xxxxxxxxxxxxxxxxxxx-xxxxxxxx-xxxxxxxxx] Lisa Piper (Cadence)
v[xxxx-x-x-xx-xxxxxxx-x-xxxxx-x..................] Erik Seligman
(Intel)
 n[-----x-x----x--------xxxx-----xxxx-xx----------] Tej Singh (Mentor
Graphics)
 v[xxxx-x-xxxxxx--xxxxxxxx-xxxxxxxxxxxxxxxxxxxxxxx] Bassam Tabbara
(Synopsys)
 v[xxxxxxx-xxxxxxxxxxxxx-xxxxxxxxxx...............] Tom Thatcher (Sun
Microsystems)
   |----------------------------------------------- attendance on
2007-12-18
 |------------------------------------------------- voting eligibility
for this ballot
|-------------------------------------------------- e-mail votes
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.



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