RE: [sv-ac] Updated proposal for #1550 - $sampled and sampled value functions

Hillel, 
the problem with treating $past as a net is that the value would be seen
differently in the reactive and the active regions. This is why I
proposed the postponed region.  Perhaps the pre-postponed region could
do even though it is meant for callbacks?
Regards,
ed


> -----Original Message-----
> From: owner-sv-ac@eda.org [mailto:owner-sv-ac@eda.org] On 
> Behalf Of Miller Hillel-R53776
> Sent: Tuesday, November 28, 2006 4:53 AM
> To: Eduard Cerny; sv-ac@eda.org
> Subject: RE: [sv-ac] Updated proposal for #1550 - $sampled 
> and sampled value functions
> 
> Ed,
> 
> Updating in the postponed region does not meet the spirit behind the
> requirement below. I would consider $past as an implicit net.
> 
> "The Postponed region provides for a PLI callback control point that
> allows PLI application routines to be
> suspended until after all the Active, Inactive, NBA, 
> Observed, Reactive,
> and Re-inactive regions have completed.
> Within this region, it is illegal to write values to any net 
> or variable
> or to schedule an event in any
> previous region within the current time slot."
> Specified on page 123.
> 
> 
> Thanks
> 
> 
> Hillel Miller>
> 
> 
> -----Original Message-----
> From: owner-sv-ac@eda.org [mailto:owner-sv-ac@eda.org] On Behalf Of
> Eduard Cerny
> Sent: Monday, November 27, 2006 10:44 PM
> To: sv-ac@eda.org
> Subject: [sv-ac] Updated proposal for #1550 - $sampled and 
> sampled value
> functions
> 
> I have uploaded a new version of the proposal. It also indicates when
> the updated function values can be read.
> 
> ed
> 
>