I am not a VPI expert, but have the following comments: I'm still learning how to read VPI. I have the following questions. 1. In 36.9, we've added checker to the LHS under instance, but not in the RHS as an instance item. A checker defn can be an item of a module, interface, ... so shouldn't it also be on the RHS? 2. Shouldn't the diagrams for Interface(36.5), Program (36.8) show a checker on the RHS? Module does not need it because it has scope -> instance -> checker, but I don't see how you get to a checker in an interface or program. Perhaps when you do #1 above that takes care of this? Lisa -----Original Message----- From: owner-sv-ac@eda.org [mailto:owner-sv-ac@eda.org] On Behalf Of John Havlicek Sent: Tuesday, January 15, 2008 9:05 PM To: sv-ac@eda.org Subject: [sv-ac] call to vote on 2182 Hi Folks: This is the call to vote on the proposal for Mantis 2182. The document on Mantis is 2182_checkersVPI_071404dkbt.pdf Please vote if you are eligible. See details below. J.H. ------------------------------------------------------------------------ ---------- Ballot on Mantis 2182 - Called on 2008-01-15, final ballots due by 2008-01-21 T 23:59-08:00. v[xxxxxxxxxxxxxxxxxxxxx-xxxxxxxxxxxxxxxxxxxxxxxx-xx] Doron Bustan (Intel) v[xxxxx--xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx-x] Eduard Cerny (Synopsys) n[----------------------x-xxx---------x-x-xxx-x---x] Surrendra Dudani (Synopsys) v[xxxxxxxx-xxxxxx-xxxxxxxxx-xx-xxxxx-xxx-xxx-------] Yaniv Fais (Freescale) t[xxxx--xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx] John Havlicek (Freescale - Chair) v[xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxrxxxxxxxxxxxxx-xxx] Dmitry Korchemny (Intel - Co-Chair) v[xxxxx-xxxxxxxxx-xxx-x--xx--xxxxx----------xx-xxxx] Manisha Kulshrestha (Mentor Graphics) n[------------------------------xxxxx-------x-xx-x-] Jiang Long (Mentor Graphics) n[---------x------------x--xxx.....................] Joseph Lu (Altera) v[xxxxxxxxxxxxxxxxxxx..............................] Johan Martensson (Jasper) n[---------------------------x--x-xx--xx-xxxxxxx-x-] Hillel Miller (Freescale) v[xxxxx-xxxx-xxxxxxxxxxxxxxxxxxx-xxxxxxxx-xxxxxxxxx] Lisa Piper (Cadence) v[xxxxxx-x-x-xx-xxxxxxx-x-xxxxx-x..................] Erik Seligman (Intel) n[-------x-x----x--------xxxx-----xxxx-xx----------] Tej Singh (Mentor Graphics) v[xxxxxx-x-xxxxxx--xxxxxxxx-xxxxxxxxxxxxxxxxxxxxxxx] Bassam Tabbara (Synopsys) v[xxxxxxxxx-xxxxxxxxxxxxx-xxxxxxxxxx...............] Tom Thatcher (Sun Microsystems) |------------------------------------------------- attendance on 2008-01-15 |--------------------------------------------------- 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 Wed Jan 16 15:22:23 2008
This archive was generated by hypermail 2.1.8 : Wed Jan 16 2008 - 15:22:55 PST