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

Hi John,

This is exactly what I wanted to avoid, having to evaluate the
expression based on the initial assigned and default values. I.e., in
the case of an expression, just use the default value of its type. But
if the majority thinks that it is more appropriate to do wht you
suggest, fine. But we are here dealing with a corner case, because in
most applications, a disable iff  or $assertoff takes care of time 0. Is
it worth complicating it?

ed

> -----Original Message-----
> From: John Havlicek [mailto:john.havlicek@freescale.com] 
> Sent: Thursday, January 25, 2007 4:14 PM
> To: Eduard.Cerny@synopsys.COM
> Cc: john.havlicek@freescale.com; Eduard.Cerny@synopsys.COM; 
> sv-ac@eda-stds.org
> Subject: Re: [sv-ac] reminder to vote on mantis 1550
> 
> Hi Ed:
> 
> This is the text you have now:
> 
>    The sampled value in the preponed region at time 0 of an 
> expression is
>    the value assigned in the declaration of the variable if the
>    expression is a variable or in the absence of such an 
> assignment it is
>    the default value of the type. For example, if $sampled(y) 
> is called
>    at time 0, and y is of type logic, the value returned is X.
> 
> 
> I think we need to rely on other parts of the LRM to define the
> preponed value of an expression in the time 0 slot.  
> 
> Note that the expression might combine terms, some of which have
> default initial values and others of which have initial values set by
> declaration assignments.
> 
> I suggest the following instead:
> 
>    The sampled value in the preponed region at time 0 of an expression
>    is the initial value of the expression as determined by the rules
>    of default initial values and declaration assignments (see
>    <appropriate references>).  For example, if y is a static variable
>    of type logic with no declaration assignment, then a call to
>    $sampled(y) at time 0 returns the value X.
> 
> J.H.
> 
> > X-MimeOLE: Produced By Microsoft Exchange V6.5
> > Content-class: urn:content-classes:message
> > Date: Thu, 25 Jan 2007 12:37:53 -0800
> > X-MS-Has-Attach: yes
> > Thread-Topic: [sv-ac] reminder to vote on mantis 1550
> > Thread-Index: AcdAs0bTcrq7EThTRdmyhL1bD8l4HQADUOkg
> > From: "Eduard Cerny" <Eduard.Cerny@synopsys.com>
> > Cc: <sv-ac@eda-stds.org>
> > X-OriginalArrivalTime: 25 Jan 2007 20:37:54.0988 (UTC) 
> FILETIME=[B0F1BEC0:01C740C0]
> > 
> > This is a multi-part message in MIME format.
> > 
> > ------_=_NextPart_001_01C740C0.B0CC2EB7
> > Content-Type: text/plain;
> > 	charset="us-ascii"
> > Content-Transfer-Encoding: 7bit
> > X-Former-Content-Transfer-Encoding: quoted-printable
> > 
> >  Hi John,
> > 
> > before I deposit it on mantis, would the wording in the 
> attached updated
> > proposal be acceptable?
> > 
> > Thanks,
> > ed
> > 
> 

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