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.