I vote yes, 2 friendly amendments: - "They represent asynchronous resets." -- synchronous, right ? - "T clock argument can be explicitly specified or inferred from the clock flow." -- should be "The ...", moreover do we really need this sentence since 1550 strikes out explicit args to $sampled ... Should strike out the whole sentence. Thx. -Bassam. -----Original Message----- From: owner-sv-ac@eda.org [mailto:owner-sv-ac@eda.org] On Behalf Of John Havlicek Sent: Wednesday, October 10, 2007 6:54 PM To: sv-ac@eda.org Subject: [sv-ac] call to vote on 1757 Hi Folks: This is the call to vote on Mantis 1757. The document in Mantis is Accept_reject_on.1757.07.09.25.pdf Please vote if you are eligible. See details below. J.H. ------------------------------------------------------------------------ ------------------- Ballot on Mantis 1757 - Called on 2007-10-10, final ballots due by 2007-10-17 T 23:59-07:00. v[xxxxxxxxx-xxxxxxxxxxxxxxxxxxxxxxxx-xx] Doron Bustan (Intel) v[xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx-x] Eduard Cerny (Synopsys) n[----------x-xxx---------x-x-xxx-x---x] Surrendra Dudani (Synopsys) v[xxx-xxxxxxxxx-xx-xxxxx-xxx-xxx-------] Yaniv Fais (Freescale) t[xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx] John Havlicek (Freescale - Chair) v[xxxxxxxxxxxxxxxxxxxrxxxxxxxxxxxxx-xxx] Dmitry Korchemny (Intel - Co-Chair) v[xxx-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[xxxxxxx..............................] Johan Martensson (Jasper) n[---------------x--x-xx--xx-xxxxxxx-x-] Hillel Miller (Freescale) v[xxxxxxxxxxxxxxxxxx-xxxxxxxx-xxxxxxxxx] Lisa Piper (Cadence) v[x-xxxxxxx-x-xxxxx-x..................] Erik Seligman (Intel) n[--x--------xxxx-----xxxx-xx----------] Tej Singh (Mentor Graphics) v[xxx--xxxxxxxx-xxxxxxxxxxxxxxxxxxxxxxx] Bassam Tabbara (Synopsys) v[xxxxxxxxxxx-xxxxxxxxxx...............] Tom Thatcher (Sun Microsystems) |------------------------------------- attendance on 2007-10-09 |--------------------------------------- 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. -- This message has been scanned for viruses and dangerous content by MailScanner, and is believed to be clean.Received on Thu Oct 11 00:48:59 2007
This archive was generated by hypermail 2.1.8 : Thu Oct 11 2007 - 00:49:06 PDT