[sv-ac] ballot result on 1900

Passed with friendly amendments.

 

------------------------------------------------------------------------
----------

Ballot on Mantis 1900

 

- Called on 2008-02-13, final ballots due by 2008-02-18 T 23:59-08:00.

 

yv[-xxxxxxxxxxxxxxxxxxxxxxxx-xxxxxxxxxxxxxxxxxxxxxxxx-xx] Doron Bustan
(Intel)

yv[xxxxxxxxx--xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx-x] Eduard Cerny
(Synopsys)     

 n[--------------------------x-xxx---------x-x-xxx-x---x] Surrendra
Dudani (Synopsys)

yv[xx-xxxxxxxxx-xxxxxx-xxxxxxxxx-xx-xxxxx-xxx-xxx-------] Yaniv Fais
(Freescale)

 t[xxxxxxxx--xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx] John Havlicek
(Freescale - Chair)

yv[xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxrxxxxxxxxxxxxx-xxx] Dmitry
Korchemny (Intel - Co-Chair)

 v[xxxxxxxxx-xxxxxxxxx-xxx-x--xx--xxxxx----------xx-xxxx] Manisha
Kulshrestha (Mentor Graphics)

 n[-x-x-------------------------------------------------] Ah-Lam Lee
(Qualcomm)

 n[----------------------------------xxxxx-------x-xx-x-] Jiang Long
(Mentor Graphics)

 n[-------------x------------x--xxx.....................] Joseph Lu
(Altera)

 n[-x--xxxxxxxxxxxxxxxxxxx..............................] Johan
Martensson (Jasper)

 n[-------------------------------x--x-xx--xx-xxxxxxx-x-] Hillel Miller
(Freescale)

 v[xxxxxxxxx-xxxx-xxxxxxxxxxxxxxxxxxx-xxxxxxxx-xxxxxxxxx] Lisa Piper
(Cadence)

yv[xxxxxxxxxx-x-x-xx-xxxxxxx-x-xxxxx-x..................] Erik Seligman
(Intel)

 n[-----------x-x----x--------xxxx-----xxxx-xx----------] Tej Singh
(Mentor Graphics)

yv[xxx-xxxxxx-x-xxxxxx--xxxxxxxx-xxxxxxxxxxxxxxxxxxxxxxx] Bassam Tabbara
(Synopsys)

 v[xxxxxxxxxxxxx-xxxxxxxxxxxxx-xxxxxxxxxx...............] Tom Thatcher
(Sun Microsystems)

   |----------------------------------------------------- attendance on
2008-02-12

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

 

BT:

 

I vote yes, but conditional on clarifying/fixing the BNF. It has
shortcomings on where checkers are declared and instantiated -- the text
says something not reflected in BNF.

 

- Declaration: Texts talks about declaration within package-- not
covered in BNF (note: I think program is covered with the
module_common_item update)

- Instantiation: Texts talks about instantiation in program -- not
covered in BNF.

 

Note that 2182 (VPI) may also need to be updated based on this review of
where declared/instantiated.

 

 

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