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

<forwarding bounced email from Seligman, Erik>



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

attached mail follows:

Hi Dmitry-- 
I think this version covers the issues you mentioned below (except as we
discussed.)  Can you take a look?  Thanks! 

-----Original Message-----
From: owner-sv-ac@server.eda.org [mailto:owner-sv-ac@server.eda.org] On
Behalf Of Korchemny, Dmitry
Sent: Monday, January 21, 2008 12:10 AM
To: john.havlicek@freescale.com; sv-ac@server.eda.org
Subject: RE: [sv-ac] call to vote on 2005

I vote yes on 2005 with the following friendly amendments:

* Clause 16.3 should state that there are two types of immediate
assertions - simple immediate and deferred.
* Syntax 16-1 needs to be modified in order to reference
simple_immediate_assertion_statement.
* Page 6. "sub block" should be written as one word.
* Page 7. I would not use the name "next_state" in always_comb
procedure.
* Page 8. "The counter for number of times evaluated, however, shall
include all executions of the cover statement." Why not only matured
attempts are counted?
* Page 8, subclause 3.8.5.3 - need to provide examples of such VPI
functions.

Dmitry

-----Original Message-----
From: owner-sv-ac@server.eda.org [mailto:owner-sv-ac@server.eda.org] On
Behalf Of John Havlicek
Sent: Thursday, January 17, 2008 3:25 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, 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.

---------------------------------------------------------------------
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.



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