Hi John, before I deposit it on mantis, would the wording in the attached updated proposal be acceptable? Thanks, ed > -----Original Message----- > From: John Havlicek [mailto:john.havlicek@freescale.com] > Sent: Thursday, January 25, 2007 2:02 PM > To: Eduard.Cerny@synopsys.COM > Cc: john.havlicek@freescale.com; sv-ac@eda-stds.org > Subject: 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.
This archive was generated by hypermail 2.1.8 : Thu Jan 25 2007 - 12:38:47 PST