RE: [sv-ac] Minutes of SV-AC Meeting 6/14/2011 - clocking blocks

I noticed this item at the end of the minutes

- Opens
Clocking Blocks:
Ed: Confusion in LRM? Question about whether @(clocking_block) is really
        equivalent to @(clocking_event_defined_in_clocking_block)

The 1800-2009 LRM section 14.13 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. Thus, a process that waits for the clocking block itself is guaranteed to read the updated sampled values, regardless of the scheduling region in which either the waiting or the triggering processes execute. "

So they are not equivalent for simulation.

Dave

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