[sv-ec] FW: Need clarification from EC on #1325 (currently in SV-AC bin)

FYI, we can discuss this on Monday.
- Mehdi

________________________________

From: Bassam Tabbara 
Sent: Thursday, March 02, 2006 10:13 AM
To: Mehdi Mohtashemi
Cc: sv-ac@eda.org
Subject: Need clarification from EC on #1325 (currently in SV-AC bin) 


Hi Mehdi,
 
On behalf of AC, can I request that you and EC look over the following
item, even take it over ? -- currently in AC's bin, assigned to me.
 
** In my opinion, if not default clocking then it's illegal (unnamed
block) -- In fact, not sure now what purpose unnamed clocking block
serves (except for default), so worthy of a clarification in that
clause/section.

Thx.
-Bassam.
 
===
**Issue 1325: Clarify references to items declared in unnamed clocking
blocks. 
 
A clocking block is not required to have a clocking_identifier (i.e.,
name). If sequences or properties are declared within such a clocking
block, they must be instantiated outside the clocking block in assertion
statements in order to be evaluated. The LRM does not say how to
reference such declarations or whether such references are illegal.

For example, is the following legal?

   module foo (...);
   ...
      clocking @(event);
          property p; ... endproperty
      endclocking
      a1 : assert property (p); // <<<<<<<<<<
  endmodule 
==