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

Hi Ed:

> I have been looking at Clause 9 of the LRM and could not find anything
> specific with regards to  the value of expressions in the preponed
> region at time 0. Perhaps I am looking at the wrong place.

Here is the argument I gave in a previous email:

   First, based on 9.3.1, I think that the declaration assignments for
   static variables execute as part of 
   
      initialize the values of all nets and variables
   
   Then the initialization events are scheduled into the time 0 slot.
   This does not mean that any assignments from an initial block are
   performed yet.  
   
   Then, assuming that there is some event, we execute the time 0 slot.
   
   Then the preponed region of the time 0 slot is executed.
   
   Thus, the declaration assignments for static variables will influence
   the preponed values in the time 0 slot.

I agree that we will have to think about how $past, etc. are 
defined and what this means for time 0 slot evaluation when we
resolve 1698.

Best regards,

John H.


> X-MimeOLE: Produced By Microsoft Exchange V6.5
> Content-class: urn:content-classes:message
> Date: Fri, 26 Jan 2007 06:19:12 -0800
> Thread-Topic: [sv-ac] reminder to vote on mantis 1550
> Thread-Index: AcdA50wluAaOiDR2QrCpyFXIT1AqLAAbLhmA
> From: "Eduard Cerny" <Eduard.Cerny@synopsys.com>
> Cc: <sv-ac@eda-stds.org>
> X-OriginalArrivalTime: 26 Jan 2007 14:19:13.0540 (UTC) FILETIME=[F451AC40:01C74154]
> 
> Hi John,
> 
> I have been looking at Clause 9 of the LRM and could not find anything
> specific with regards to  the value of expressions in the preponed
> region at time 0. Perhaps I am looking at the wrong place.
> 
> Also, it is not just sampled value at time 0, but also $past (and the
> other sampled value functions) that depend on values at clock ticks in
> the past (<0). This is why I think that there should be something said
> about these values, along the lines I mentioned earlier - the default
> and values at declarations are assumed to exist from time -oo. Perhaps
> we should add that expressions dependent on these <0 values are also
> evaluated to get their values ate time <0.  I agree with your thought
> process.
> 
> Best regards,
> edd
> 
> =20
> 

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