[sv-ac] ballot result on 1737

Hi Folks:

Our ballot on 1737 passed with friendly amendments.

See the results below.

J.H.

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

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

yv[xxxxxxxxxxx-xxxxxxxxxxxxxxxxxxxxxxxx-xx] Doron Bustan (Intel)
yv[xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx-x] Eduard Cerny (Synopsys)     
 n[------------x-xxx---------x-x-xxx-x---x] Surrendra Dudani (Synopsys)
yv[xxxxx-xxxxxxxxx-xx-xxxxx-xxx-xxx-------] Yaniv Fais (Freescale)
 t[xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx] John Havlicek (Freescale - Chair)
yv[xxxxxxxxxxxxxxxxxxxxxrxxxxxxxxxxxxx-xxx] Dmitry Korchemny (Intel - Co-Chair)
yv[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)
yv[xxxxxxxxx..............................] Johan Martensson (Jasper)
 n[-----------------x--x-xx--xx-xxxxxxx-x-] Hillel Miller (Freescale)
yv[-xxxxxxxxxxxxxxxxxxx-xxxxxxxx-xxxxxxxxx] Lisa Piper (Cadence)
yv[-xx-xxxxxxx-x-xxxxx-x..................] Erik Seligman (Intel)
 n[----x--------xxxx-----xxxx-xx----------] Tej Singh (Mentor Graphics)
yv[xxxxx--xxxxxxxx-xxxxxxxxxxxxxxxxxxxxxxx] Bassam Tabbara (Synopsys)
yv[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

----------------------------------------------------------------------------------
Friendly Amendments

[DB]

Page 2 first new paragraph - "if one exists" should not be in bold.
Page 3 at the example - "is equivalent to" should be in times new roman.
Page 3 at the equivalent part of the example, I think that you need the
       "bit a;" declaration (same for "logic a;" at the second example).
Page 4 at the second paragraph I think that the if/if-else/if-else-if/ 
       case/casex/casez should be in bold (not sure)
Page 5 first paragraph - should "e.g." be "i.e." ?


[DK]

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.


[YF]

extra bracket on page 3 (twice):

cs: cover sequence (s1));
...
e_cs: cover sequence (s2));

Page 5:

cs: cover sequence !(a===2'b01 || a===2'b10) ##0 s1

Should be:

cs: cover sequence (!(a===2'b01 || a===2'b10) ##0 s1);

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