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

John, you cannot schedule anything into a preponed region, or can you? 

From page 123:
The Preponed region provides for a PLI callback control point that
allows PLI application routines to access
data at the current time slot before any net or variable has changed
state. Within this region, it is illegal to
write values to any net or variable or to schedule an event in any other
region within the current time slot.

How does that give values in preponed region?

ed


> -----Original Message-----
> From: John Havlicek [mailto:john.havlicek@freescale.com] 
> Sent: Friday, January 26, 2007 9:47 AM
> 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:
> 
> > 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.