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

I vote yes on 1737 with the following friendly amendments:

Page 4. "If the bit variables in the previous examples are replaced with
a logic variables" --> "If the bit variables in the previous examples
are replaced with logic variables", also logic should be in bold courier
9. 

Later in this statement: "else clause", "else" should be in bold courier
9.

"r1, r2, r3, and r4 are property_expr". r1, r2, r3, and r4 should be in
courier 9, property_expr should be in italic. Same note regarding page
5.

"that s1 and s2 are sequence_expr, and the code is as follows". s1 and
s2 should be in bold courier 9, sequence_expr should be in italic. Same
note regarding page 5.

"The equivalent code must account for 4-state semantics of "a"." a
should be in courier 9 without quotes.

Page 5. " length of "a"" a should be in courier 9 without quotes.

-----Original Message-----
From: owner-sv-ac@server.eda.org [mailto:owner-sv-ac@server.eda.org] On
Behalf Of John Havlicek
Sent: Tuesday, October 30, 2007 4:16 AM
To: sv-ac@server.eda.org
Subject: [sv-ac] call to vote on 1737

Hi Folks:

This is the call to vote on the revised proposal for Mantis 1737.

The document on Mantis is

   1737_2007_10_24_enablingCondition_d4.pdf

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

J.H.

------------------------------------------------------------------------
----------
Ballot on Mantis 1737

- Called on 2007-10-29, final ballots due by 2007-11-05 T 23:59-08:00.

 v[xxxxxxxxxxx-xxxxxxxxxxxxxxxxxxxxxxxx-xx] Doron Bustan (Intel)
 v[xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx-x] Eduard Cerny (Synopsys)     
 n[------------x-xxx---------x-x-xxx-x---x] Surrendra Dudani (Synopsys)
 v[xxxxx-xxxxxxxxx-xx-xxxxx-xxx-xxx-------] Yaniv Fais (Freescale)
 t[xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx] John Havlicek (Freescale -
Chair)
 v[xxxxxxxxxxxxxxxxxxxxxrxxxxxxxxxxxxx-xxx] Dmitry Korchemny (Intel -
Co-Chair)
 v[xxxxx-xxx-x--xx--xxxxx----------xx-xxxx] Manisha Kulshrestha (Mentor
Graphics)
 n[--------------------xxxxx-------x-xx-x-] Jiang Long (Mentor Graphics)
 n[------------x--xxx.....................] Joseph Lu (Altera)
 v[xxxxxxxxx..............................] Johan Martensson (Jasper)
 n[-----------------x--x-xx--xx-xxxxxxx-x-] Hillel Miller (Freescale)
 v[-xxxxxxxxxxxxxxxxxxx-xxxxxxxx-xxxxxxxxx] Lisa Piper (Cadence)
 v[-xx-xxxxxxx-x-xxxxx-x..................] Erik Seligman (Intel)
 n[----x--------xxxx-----xxxx-xx----------] Tej Singh (Mentor Graphics)
 v[xxxxx--xxxxxxxx-xxxxxxxxxxxxxxxxxxxxxxx] Bassam Tabbara (Synopsys)
 v[xxxxxxxxxxxxx-xxxxxxxxxx...............] Tom Thatcher (Sun
Microsystems)
   |--------------------------------------- attendance on 2007-10-23
 |----------------------------------------- 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.