Re: [sv-ac] reminder to vote on mantis 1550

Hi Ed:

I think so, at least as a friendly ammendment, because we 
should not allow the inconsistency between 1. and 2. that 
I pointed out in a previous mail.

I am happy to leave the ballot ongoing unless you feel 
that we ought to abort it, revise the proposal, and later
call for a new vote.

I think we need to get a clearer idea of the missing 
capability Hillel is talking about before suggesting 
anything else.

J.H.

> X-MimeOLE: Produced By Microsoft Exchange V6.5
> Content-class: urn:content-classes:message
> Date: Thu, 25 Jan 2007 10:45:41 -0800
> Thread-Topic: [sv-ac] reminder to vote on mantis 1550
> Thread-Index: AcdAsKlMvCOtBXb4Q8iSQbCdS8ayaAAAE7kg
> From: "Eduard Cerny" <Eduard.Cerny@synopsys.com>
> X-OriginalArrivalTime: 25 Jan 2007 18:45:42.0050 (UTC) FILETIME=[03CCF020:01C740B1]
> 
> Hi John,
> 
> should I change the proposal along these lines?
> 
> ed=20
> 
> > -----Original Message-----
> > From: owner-sv-ac@eda.org [mailto:owner-sv-ac@eda.org] On=20
> > Behalf Of John Havlicek
> > Sent: Thursday, January 25, 2007 1:40 PM
> > To: sv-ac@eda-stds.org
> > Subject: Re: [sv-ac] reminder to vote on mantis 1550
> >=20
> > Hi Ed:
> >=20
> > I think tha what you describe will achieve consistency between=20
> >=20
> > 1. $sampled returns the preponed value of its argument in the=20
> >    current time slot (including the time 0 slot).
> >=20
> > and=20
> >=20
> > 2. What the LRM currently says about preponed values in the=20
> >    time 0 slot.
> >=20
> >=20
> > Hillel has indicated that there are still missing capabilities,
> > but I'm not sure that these should be addressed by changing
> > the definition of $sampled.=20
> >=20
> > J.H.
> >=20
> > > X-MimeOLE: Produced By Microsoft Exchange V6.5
> > > Content-class: urn:content-classes:message
> > > Date: Thu, 25 Jan 2007 06:44:39 -0800
> > > Thread-Topic: [sv-ac] reminder to vote on mantis 1550
> > > Thread-Index: AcdAIjfrqD0yBNyUSJKs6kNGFbt2agAZnDewAAGZvdA=3D
> > > From: "Eduard Cerny" <Eduard.Cerny@synopsys.com>
> > > X-OriginalArrivalTime: 25 Jan 2007 14:44:40.0972 (UTC)=20
> > FILETIME=3D[58538CC0:01C7408F]
> > >=20
> > > Hi, would it be enough to change the text so that it is the value
> > > assigned in the declaration of the variable or in the absence the
> > > default value of type? I view the assigned values in=20
> > declarations and
> > > the default values as the values that the variable has from -oo till
> > > 0^-.
> > >=20
> > > ed=3D20
> > >=20
> > >> -----Original Message-----
> > >> From: owner-sv-ac@eda.org [mailto:owner-sv-ac@eda.org] On=3D20
> > >> Behalf Of Miller Hillel-R53776
> > >> Sent: Thursday, January 25, 2007 9:24 AM
> > >> To: Havlicek John-r8aaau; sv-ac@eda-stds.org
> > >> Subject: RE: [sv-ac] reminder to vote on mantis 1550
> > >>=3D20
> > >> John,
> > >>=3D20
> > >> I am not sure we should make such an inconsistency it sounds=3D20
> > >> troubling.
> > >>=3D20
> > >> However, the reason why static variable declarartion=3D20
> > >> assignments cannot
> > >> be used, is that it cannot be used by an outer module=20
> > reference. If I
> > >> want to influence the initial value of a $ function that is=3D20
> > >> dependent on
> > >> a module's reg, how would this be done. Would I need to=3D20
> > >> rewrite the code
> > >> with the declaration assignment?
> > >>=3D20
> > >> Maybe we need an additional construct for initializing the $sampled
> > >> value of a variable at the same time as assignment declaration.
> > >>=3D20
> > >> Thanks
> > >>=3D20
> > >>=3D20
> > >> =3D20
> > >>=3D20
> > >>=3D20
> > >> Hillel Miller>
> > >>=3D20
> > >>=3D20
> >=20
> > --=20
> > This message has been scanned for viruses and
> > dangerous content by MailScanner, and is
> > believed to be clean.
> >=20
> >=20

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