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

From: Eduard Cerny <Eduard.Cerny_at_.....>
Date: Thu Jan 25 2007 - 12:37:53 PST
 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.


Received on Thu Jan 25 12:38:35 2007

This archive was generated by hypermail 2.1.8 : Thu Jan 25 2007 - 12:38:47 PST