RE: [sv-ac] clocking blocks without identifiers

John,

 

I seem to recall that the intent for unnamed clocking blocks was to
provide concurrent 

assertions with a clock without necessarily having to name the clocking,
as in:

 

interface ifc( ... )

    ...

                clocking @(posedge clk);

                    property P1; ... endpropery

                    property P2; ... endproperty

                endclocking

            endintreface

 

In the example above, the clocking identifier is not needed.

 

            Arturo

 

-----Original Message-----
From: owner-sv-ac@eda.org [mailto:owner-sv-ac@eda.org] On Behalf Of John
Havlicek
Sent: Monday, February 06, 2006 10:22 AM
To: sv-ac@eda.org
Subject: [sv-ac] clocking blocks without identifiers

 

All:

 

A clocking block can be declared without a clocking_identifier.

If there are items declared within such a block, how are they

referenced?

 

I have skimmed Clause 15 and haven't found a definitive answer.

 

Best regards,

 

John H.