RE: [sv-ac] comments on mantis 1550 proposal

Oh yes.... my mistake.
ed
 

> -----Original Message-----
> From: John Havlicek [mailto:john.havlicek@freescale.com] 
> Sent: Tuesday, February 06, 2007 10:29 AM
> To: Eduard.Cerny@synopsys.COM
> Cc: john.havlicek@freescale.com; sv-ac@eda-stds.org
> Subject: Re: [sv-ac] comments on mantis 1550 proposal
> 
> Hi Ed:
> 
> I am referring to the change targetted at p. 248.  I think you
> need to align the language for the this change with that of the
> change targetted at p. 247.
> 
> You have quoted the language from the change targetted at p. 247.
> 
> J.H.
> 
> > > - There seems to be a divergence between $past and $rose,=20
> > > etc. when the
> > >   clock tick is before the start of simulation.  For $past,=20
> > > shouldn't we=20
> > >   change
> > >=20
> > >     If the specified clock tick in the past is before the start of
> > >     simulation, the returned value from the $past function is the
> > >     value assigned in the declaration of the variable if 
> the argument
> > >     is a static variable, or in the absence of such an 
> assignment or
> > >     if the argument is an expression then it is the 
> default value of
> > >     the type of the argument.
> > >=20
> > >   to
> > >=20
> > >     If the specified clock tick in the past is before the start of
> > >     simulation, the returned value from the $past function is the
> > >     result of evaluating the expression using the initial 
> values of
> > >     the variables comprising the expression. The initial 
> value of a
> > >     static variable is the value assigned in its 
> declaration, or in
> > >     the absence of such an assignment it is the default (or
> > >     uninitialized) value of the corresponding type. The 
> initial value
> > >     of any other variable or signal is the default value of the
> > >     corresponding type.
> > 
> > The current text on Mantis is:
> > 
> > When these functions are called at or before the first 
> clock tick of the
> > clocking event, the results are computed by comparing the current
> > sampled value of the expression to the result of the expression
> > evaluated using the initial values of the variables comprising the
> > expression. The initial value of a static variable is the 
> value assigned
> > in its declaration, or in the absence of such an assignment 
> it is the
> > default (or uninitialized) value of the corresponding type. 
> The initial
> > value of any other variable or signal is the default value of the
> > corresponding type.
> > 
> > ?
> > 
> 

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