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.