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

Thanks. I don't know how I missed that.

> -----Original Message-----
> From: Eduard Cerny [mailto:Eduard.Cerny@synopsys.com]
> Sent: Tuesday, April 17, 2007 2:03 PM
> To: Rich, Dave; Doron Bustan; john.havlicek@freescale.com
> Cc: sv-ac@eda-stds.org
> Subject: 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.