[sv-ac] ballot result on 2005

Hi Folks:

Our ballot on 2005 passed with friendly amendments.

See the results below.

I believe that the friendly amendments have been 
implemented already, so we should be ready to voice
vote to approve them in our next meeting.

J.H.

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

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

yv[xxxxxxxxxxxxxxxxxxxxxx-xxxxxxxxxxxxxxxxxxxxxxxx-xx] Doron Bustan (Intel)
yv[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)
yv[xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxrxxxxxxxxxxxxx-xxx] Dmitry Korchemny (Intel - Co-Chair)
yv[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)
yv[xxxxxx-xxxx-xxxxxxxxxxxxxxxxxxx-xxxxxxxx-xxxxxxxxx] Lisa Piper (Cadence)
yv[xxxxxxx-x-x-xx-xxxxxxx-x-xxxxx-x..................] Erik Seligman (Intel)
 n[--------x-x----x--------xxxx-----xxxx-xx----------] Tej Singh (Mentor Graphics)
yv[-xxxxxx-x-xxxxxx--xxxxxxxx-xxxxxxxxxxxxxxxxxxxxxxx] Bassam Tabbara (Synopsys)
yv[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
----------------------------------------------------------------------------------
Friendly Amendments

[DK]

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

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