[sv-ec] clocking block trrigger

Hi,

I find clocking events a little confusing in the LRM:

on page 291, 14.13, it says:
Upon processing its specified clocking event, a clocking block shall update its sampled values before triggering
the event associated with the clocking block name. This event shall be triggered in the Observed
region.

on page 289, 14.10, it says:

The clocking event of a clocking block is available directly by using the clocking block name, regardless of
the actual clocking event used to declare the clocking block.
For example:
clocking dram @(posedge phi1);
inout data;
output negedge #1 address;
endclocking
The clocking event of the dram clocking block can be used to wait for that particular event:
@( dram );
The above statement is equivalent to @(posedge phi1).

How can it be equivalent if one triggers in the active region and the other in the observed region?

thanks,
ed

--
This message has been scanned for viruses and
dangerous content by MailScanner<http://www.mailscanner.info/>, and is
believed to be clean.
-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.