Will this proposal impact 27.32 on Concurrent assertions? I am thinking there needs to be a line from the assume oval to the "stmt" on vpiElseStmt, as there is in the assert oval. Other than that possible issue - I vote yes. Lisa -----Original Message----- From: owner-sv-ac@eda.org [mailto:owner-sv-ac@eda.org] On Behalf Of John Havlicek Sent: Wednesday, February 21, 2007 7:46 AM To: sv-ac@eda-stds.org Subject: [sv-ac] call for vote on mantis 1460 All: Dmitry has uploaded a revision of the 1460.pdf (dated 02-20-07) which I believe addresses all the issues that Brad Pierce and I found. Therefore, I am calling for an email vote on this item. See the details below. If you are eligible to vote, then please do as 80% participation is expected in order to retain voting privileges. J.H. Ballot on Mantis 1460 - Called on 2007-02-21, final ballots due by 23:59 PST on 2007-02-28. v[xxxxxxxxxxxxxxx-xx] Doron Bustan (Freescale) v[xxxxxxxxxxxxxxxx-x] Eduard Cerny (Synopsys) n[-----x-x-xxx-x---x] Surrendra Dudani (Synopsys) v[xxx-xxx-xxx-------] Yaniv Fais (Freescale) t[xxxxxxxxxxxxxxxxxx] John Havlicek (Freescale - Chair) v[rxxxxxxxxxxxxx-xxx] Dmitry Korchemny (Intel - Co-Chair) n[x----------xx-xxxx] Manisha Kulshrestha (Mentor Graphics) v[xxxx-------x-xx-x-] Jiang Long (Mentor Graphics) v[-xx--xx-xxxxxxx-x-] Hillel Miller (Freescale) v[xxxxxxxx-xxxxxxxxx] Lisa Piper (Cadence) v[-xxxx-xx----------] Tej Singh (Mentor Graphics) v[xxxxxxxxxxxxxxxxxx] Bassam Tabbara (Synopsys) v[xxx...............] Tom Thatcher (Sun Microsystems) |------------------ attendance on 2007-02-20 |-------------------- 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 -- 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 Feb 22 19:16:09 2007
This archive was generated by hypermail 2.1.8 : Thu Feb 22 2007 - 19:16:28 PST