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

Thanks,
Dmitry

-----Original Message-----
From: Seligman, Erik 
Sent: Monday, January 28, 2008 6:23 PM
To: Korchemny, Dmitry; john.havlicek@freescale.com; sv-ac@server.eda.org
Subject: RE: [sv-ac] call to vote on 2005


OK, I think this version addresses your concerns.  I'll post it to
Mantis when it's back up...
 

-----Original Message-----
From: owner-sv-ac@server.eda.org [mailto:owner-sv-ac@server.eda.org] On
Behalf Of Korchemny, Dmitry
Sent: Monday, January 28, 2008 5:57 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:

* BNF on page 3.

assert (expression) ... "()" should be in bold red. Same note regarding
assume and cover. Same for "#0" version, but also "#0" should be in bold
red.

* Page 5

"Deferred assertions are a type of immediate assertion." I would prefer
using "kind" instead of "type", since "type" has a well-defined
technical meaning in SV.

* Page 6

"$error" should be in courier 9.

* Page 7

" - The procedure was declared by an always_comb or always_latch
statement". I think that " always_comb" and " always_latch" should be in
bold courier 9.

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 24, 2008 8:18 PM
To: sv-ac@server.eda.org
Subject: [sv-ac] call to vote on 2005

Hi Folks:

This is the call to vote on 2005.

The proposal on Mantis is 

   assertdefer080122es.pdf

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

This vote runs until 2008-01-30.

J.H.

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

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

 v[xxxxxxxxxxxxxxxxxxxxxx-xxxxxxxxxxxxxxxxxxxxxxxx-xx] Doron Bustan
(Intel)
 v[xxxxxx--xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx-x] Eduard Cerny
(Synopsys)     
 n[-----------------------x-xxx---------x-x-xxx-x---x] Surrendra Dudani
(Synopsys)
 v[xxxxxxxxx-xxxxxx-xxxxxxxxx-xx-xxxxx-xxx-xxx-------] Yaniv Fais
(Freescale)
 t[xxxxx--xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx] John Havlicek
(Freescale - Chair)
v[xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxrxxxxxxxxxxxxx-xxx] Dmitry Korchemny
(Intel - Co-Chair)
v[xxxxxx-xxxxxxxxx-xxx-x--xx--xxxxx----------xx-xxxx] Manisha
Kulshrestha (Mentor Graphics)
n[x-------------------------------------------------] Ah-Lam Lee
(Qualcomm)
 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[xxxxxx-xxxx-xxxxxxxxxxxxxxxxxxx-xxxxxxxx-xxxxxxxxx] Lisa Piper
(Cadence)
 v[xxxxxxx-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[xxxxxxxxxx-xxxxxxxxxxxxx-xxxxxxxxxx...............] Tom Thatcher (Sun
Microsystems)
   |-------------------------------------------------- attendance on
2008-01-22
 |---------------------------------------------------- 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.


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