reset_event

Bishnupriya,

I am just trying to pin down the semantics of reset_event().

Every flavor of reset, namely

* reset()
* resumption while in the synchronous reset state
* async_reset_signal()

is ultimately equivalent to a call to reset() happening during an
evaluation phase. We want this to cause the notification of the event that
will be returned by the new method reset_event(). I can see two
possibilities:

* The reset event is notified using an immediate notification, in which
case any processes sensitive to the reset event will become runnable in
the same evaluation phase in which reset() is called

or

* The reset event is notified using a delta notification, in which case
any processes sensitive to the reset event will become runnable one delta
cycle later.

The immediate notification feels right to me.

What do you think?

Thanks,

John A

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