[sv-cc] "post-observed" region in systemverilog

hello everybody-

i had a question which i hope someone would be very kind to answer.
could you please elaborate on where the "post-observed" region within
systemverilog's scheduling of events stands as of today w.r.t. accellera
3.1a release?

section 14.3 within the PRM from www.systemverilog.org states the
"post-observed" region allows user-defined PLI callbacks to read values
*AFTER* properties (declared within SV-assertions) have been evaluated
in the "observed" region.

could someone please enlighten that statement? specifically what kind of
PLI callbacks are we referring to here? are they coming from the VPI
library? if so, in particular what "cb_data_p->reason" are we talking
about (if "cb_data_p" is a pointer to the "s_cb_data" struct)?

i had another question - is it *incorrect* for me to assume that the PLI
callback "cbAfterDelay" is implementation specific - in that it could be
scheduled within *ANY* of "pre-active", "active", or "inactive" slots by
different simulator vendors?

thank you.

sincerely-
-nasim

-- 
----------------------------------------------------------------------
Nasim Hussain           | Life is short,   ---     _ o     _~o     _ o
UltraSPARC Verification |   go wherever  ----    _`\<,   _`\<,   _`\<,
SUN Microsystems, Inc.  |     you want,    ---  ( )/( ) ( )/( ) ( )/( )
work - (408) 720-4927   |       and live it
home - (650) 967-7730   |         to the fullest.