I vote yes on 1681, but with a friendly amendment. In light of the recent e-mail exchange, discussing the importance of the global clock to simulation, the following sentence from 14.13 should be deleted or modified: "The main purpose of global clocking is to specify which clocking event corresponds to the primary clock used in formal verification." Tom John Havlicek wrote On 09/11/07 04:53 AM,: > Hi Folks: > > This is a reminder that we have a ballot on 1681 > closing at 2007-09-13 T 23:59-07:00(PDT). > > Below are the results so far. > > Please vote if you are eligible. > > J.H. > > ------------------------------------------------------------------------------ > > Ballot on Mantis 1681 > > - Called on 2007-09-06, final ballots due by 2007-09-13 T 23:59-07:00(PDT). > > yv[xxxxx-xxxxxxxxxxxxxxxxxxxxxxxx-xx] Doron Bustan (Intel) > yv[xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx-x] Eduard Cerny (Synopsys) > n[------x-xxx---------x-x-xxx-x---x] Surrendra Dudani (Synopsys) > yv[xxxxxxxxx-xx-xxxxx-xxx-xxx-------] Yaniv Fais (Freescale) > t[xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx] John Havlicek (Freescale - Chair) > yv[xxxxxxxxxxxxxxxrxxxxxxxxxxxxx-xxx] Dmitry Korchemny (Intel - Co-Chair) > v[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[xxx..............................] Johan Martensson (Jasper) > n[-----------x--x-xx--xx-xxxxxxx-x-] Hillel Miller (Freescale) > v[xxxxxxxxxxxxxx-xxxxxxxx-xxxxxxxxx] Lisa Piper (Cadence) > yv[xxxxx-x-xxxxx-x..................] Erik Seligman (Intel) > n[-------xxxx-----xxxx-xx----------] Tej Singh (Mentor Graphics) > v[-xxxxxxxx-xxxxxxxxxxxxxxxxxxxxxxx] Bassam Tabbara (Synopsys) > v[xxxxxxx-xxxxxxxxxx...............] Tom Thatcher (Sun Microsystems) > |--------------------------------- attendance on 2007-09-04 > |----------------------------------- 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 valid voter > t = chair eligible to vote only to make or break a tie > -- ------------------ Thomas J. Thatcher Sun Microsystems 408-616-5589 ------------------ -- This message has been scanned for viruses and dangerous content by MailScanner, and is believed to be clean.Received on Wed Sep 12 15:06:17 2007
This archive was generated by hypermail 2.1.8 : Wed Sep 12 2007 - 15:06:43 PDT