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

But this refers to $inferred_... not the defaults. This should be as a
default value for formal args to properties. How would you lik eto do
the override?

ed 

> -----Original Message-----
> From: Lisa Piper [mailto:piper@cadence.com] 
> Sent: Friday, April 27, 2007 2:06 PM
> To: Eduard Cerny; Kulshrestha, Manisha; 
> john.havlicek@freescale.com; sv-ac@eda-stds.org
> Subject: RE: [sv-ac] call to vote on Mantis 1674
> 
> Perhaps one other way would be to have global defaults that 
> override any
> local defaults. This is different than the global clock. The global
> "enable" might be odd though.
> 
> Lisa
> 
> -----Original Message-----
> From: owner-sv-ac@eda.org [mailto:owner-sv-ac@eda.org] On Behalf Of
> Eduard Cerny
> Sent: Friday, April 27, 2007 1:44 PM
> To: Kulshrestha, Manisha; john.havlicek@freescale.com;
> sv-ac@eda-stds.org
> Subject: RE: [sv-ac] call to vote on Mantis 1674
> 
> I think that there is a real need to be able t specify such default
> arguments, otherwsie properties are not reusable in different 
> contexts.
> Therefore, would you have a counterproposal? Or what you feel is not
> intuitive?
> 
> Regards,
> ed 
> 
> > -----Original Message-----
> > From: owner-sv-ac@eda.org [mailto:owner-sv-ac@eda.org] On 
> > Behalf Of Kulshrestha, Manisha
> > Sent: Friday, April 27, 2007 1:36 PM
> > To: john.havlicek@freescale.com; sv-ac@eda-stds.org
> > Subject: RE: [sv-ac] call to vote on Mantis 1674
> > 
> > I vote no on 1674. I am not convinced that the current way 
> to replace
> > default arguments with $inferred.. is the right way to do this. This
> > makes it unnecessarily complicated and it is not very intuitive.
> > 
> > Thanks.
> > Manisha 
> > 
> > -----Original Message-----
> > From: owner-sv-ac@server.eda.org 
> > [mailto:owner-sv-ac@server.eda.org] On
> > Behalf Of John Havlicek
> > Sent: Wednesday, April 18, 2007 4:20 AM
> > To: sv-ac@server.eda-stds.org
> > Subject: [sv-ac] call to vote on Mantis 1674
> > 
> > All:
> > 
> > This is the call to vote on the proposal for Mantis 1674.
> > 
> > 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 1674
> > 
> > - Called on 2007-04-18, 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 (Altera)
> >  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.
> 
> 
> 

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