[sv-ac] Re: [sv-sc] Re: ConcurrentAssertNewProposal

Hello;

Gordon Vreugdenhil wrote:
>    If there is no clocking event in the event list of the procedural 
> block
>    then the default clocking must match the clocking of the assertion.

If there is a default clocking event, then one does not need to specify 
a clocking event for
evaluating an assertion or property, etc. It takes the default event.  
This is similar to the
evaluation of properties while using the clock event from the clocked 
procedural blocks.
There was a description of the order of selecting the clock events 
written in the LRM.

-- 
    Soli Deo Gloria
    Adam Krolnik
    Director of Design Verification
    VeriSilicon Inc.
    Plano TX. 75074
    Co-author "Assertion-Based Design", "Creating Assertion-Based IP"


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