Hi John, I vote yes on Mantis 1728. Tom John Havlicek wrote On 03/27/07 12:37,: > All: > > This is the call to vote on Ed's motion regarding Mantis 1728. > > The text of the motion is below -- I made some very small editorial > changes to the English. > > Please vote if you are eligible. See details below. > > J.H. > > > Ballot on the following motion: > > "The P1800 SV-AC committee members consider that the concept of the > 'let' statement as expressed in the Mantis item 1728 draft proposal is > very useful for defining effective assertions and assertion libraries. > Therefore, the committee recommends that the SV-BC committee consider > the proposal and work with SV-AC to formulate an effective enhancement > proposal for the IEEE 1800-2008 standard." > > - Called on 2007-03-27, final ballots due by 23:59 PDT on 2007-04-03. > > v[xxxxxxxxxxxxxxxxxx-xx] Doron Bustan (Freescale) > v[xxxxxxxxxxxxxxxxxxx-x] Eduard Cerny (Synopsys) > n[--------x-x-xxx-x---x] Surrendra Dudani (Synopsys) > v[-xxxxx-xxx-xxx-------] Yaniv Fais (Freescale) > t[xxxxxxxxxxxxxxxxxxxxx] John Havlicek (Freescale - Chair) > v[xxxrxxxxxxxxxxxxx-xxx] Dmitry Korchemny (Intel - Co-Chair) > v[xxxx----------xx-xxxx] Manisha Kulshrestha (Mentor Graphics) > n[--xxxxx-------x-xx-x-] Jiang Long (Mentor Graphics) > n[--x-xx--xx-xxxxxxx-x-] Hillel Miller (Freescale) > v[xx-xxxxxxxx-xxxxxxxxx] Lisa Piper (Cadence) > v[x-x..................] Erik Seligman (Intel) > n[----xxxx-xx----------] Tej Singh (Mentor Graphics) > v[xxxxxxxxxxxxxxxxxxxxx] Bassam Tabbara (Synopsys) > v[xxxxxx...............] Tom Thatcher (Sun Microsystems) > |--------------------- attendance on 2007-03-27 > |----------------------- 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) > 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 Mar 28 10:59:53 2007
This archive was generated by hypermail 2.1.8 : Wed Mar 28 2007 - 10:59:59 PDT