All, there is another possibility. I think that we should distinguish between $sampled and the other functions $past, $rose, $stable and $fell. For $sampled, there is no meaning in treating it like an NBA. For that we can simply use a reg. So I propose that the $sampled should be updated at the prepond region. Then, $past, $rose, $stable and $fell can be updated in the NBA region (as a shortcut for using intermediate regs), and whenever there is a need for the "prepond view" of these values, one can simply nest them inside a $sampled function. For example, the value of $sampled($past(a)) is the same in the active and reactive regions. Doron Eduard Cerny wrote: >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 >> >> >> >> > > >Received on Tue Nov 28 06:37:35 2006
This archive was generated by hypermail 2.1.8 : Tue Nov 28 2006 - 06:37:39 PST