RE: [sv-ac] call to vote on Mantis 1737

Look at 
16.13 Concurrent assertions
in the merged LRM.

ed
 

> -----Original Message-----
> From: owner-sv-ac@eda.org [mailto:owner-sv-ac@eda.org] On 
> Behalf Of Rich, Dave
> Sent: Tuesday, April 17, 2007 4:37 PM
> To: Doron Bustan; john.havlicek@freescale.com
> Cc: sv-ac@eda-stds.org
> Subject: RE: [sv-ac] call to vote on Mantis 1737
> 
> Has "verification statement" been defined somewhere?
> 
> 
> 
> > -----Original Message-----
> > From: owner-sv-ac@server.eda.org [mailto:owner-sv-ac@server.eda.org]
> On
> > Behalf Of Doron Bustan
> > Sent: Tuesday, April 17, 2007 12:27 PM
> > To: john.havlicek@freescale.com
> > Cc: sv-ac@server.eda-stds.org
> > Subject: Re: [sv-ac] call to vote on Mantis 1737
> > 
> > I vote yes on 1737
> > 
> > Doron
> > 
> > John Havlicek wrote:
> > 
> > >All:
> > >
> > >This is the call to vote on the proposal for Mantis 1737.
> > >
> > >As discussed in our meeting, this vote runs longer than
> > >the usual week because we have so many e-mail ballots
> > >running concurrently.
> > >
> > >Please vote if you are eligible.  See the details below.
> > >
> > >J.H.
> > >
> > >Ballot on Mantis 1737
> > >
> > >- Called on 2007-04-17, final ballots due by 23:59 PDT on 
> 2007-04-30.
> > >
> > > v[xxxxxxxxxxxxxxxxxxx-xx] Doron Bustan (Freescale)
> > > v[xxxxxxxxxxxxxxxxxxxx-x] Eduard Cerny (Synopsys)
> > > n[---------x-x-xxx-x---x] Surrendra Dudani (Synopsys)
> > > v[x-xxxxx-xxx-xxx-------] Yaniv Fais (Freescale)
> > > t[xxxxxxxxxxxxxxxxxxxxxx] John Havlicek (Freescale - Chair)
> > > v[xxxxrxxxxxxxxxxxxx-xxx] Dmitry Korchemny (Intel - Co-Chair)
> > > v[xxxxx----------xx-xxxx] Manisha Kulshrestha (Mentor Graphics)
> > > n[---xxxxx-------x-xx-x-] Jiang Long (Mentor Graphics)
> > > n[x.....................] Joseph Lu
> > > n[x--x-xx--xx-xxxxxxx-x-] Hillel Miller (Freescale)
> > > v[xxx-xxxxxxxx-xxxxxxxxx] Lisa Piper (Cadence)
> > > v[xx-x..................] Erik Seligman (Intel)
> > > n[-----xxxx-xx----------] Tej Singh (Mentor Graphics)
> > > v[xxxxxxxxxxxxxxxxxxxxxx] Bassam Tabbara (Synopsys)
> > > v[xxxxxxx...............] Tom Thatcher (Sun Microsystems)
> > >   |---------------------- attendance on 2007-04-17
> > > |------------------------ 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.
> 
> 
> 

-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.