RE: [sv-ec] LRM Page no. 306

From: Surrendra Dudani <Surrendra.Dudani@synopsys.com>
Date: Thu Oct 07 2004 - 09:03:01 PDT

Actually, it on page 306 (Section 20.2) and 465 (Section A.2.11).
Surrendra
At 01:29 PM 10/7/2004 +0530, you wrote:

"urn:schemas-microsoft-com:vml" xmlns:o = "urn:schemas-microsoft-com:office:office" xmlns:w = "urn:schemas-microsoft-com:office:word">
Saurabh,
 
I am not sure which version of LRM you are looking at. Refer to the latest version of 3.1a. It is available on systemverilog.org. On Page 481 of this version, in the detailed grammar section, you will find,
 

block_event_expression :: =

block_event_expression or block_event_expression

| begin hierarchical_btf_identifier

| end hierarchical_btf_identifier
which means @@ is used to capture the event of entry/exit to/from a named block.
 
Regards.

---

From: owner-sv-ec@eda.org [mailto:owner-sv-ec@eda.org] On Behalf Of Saurabh Kumar Shrimal, Noida

Sent: Thursday, October 07, 2004 10:52 AM

To: sv-ec@eda.org

Subject: [sv-ec] LRM Page no. 306

 

Hi All,

 

   In the SystemVerilog 3.1a LRM at page no . 306

 

coverage_event ::=

clocking_event

| @@( block_event_expression )

 

Wht is the significance of the @@  ??  where we have to use it&

 

 

**********************************************
Surrendra A. Dudani
Synopsys, Inc.
377 Simarano Drive, Suite 300
Marlboro, MA 01752

Tel:   508-263-8072
Fax:   508-263-8123
email: Surrendra.Dudani@synopsys.com 
********************************************** Received on Thu Oct 7 09:03:09 2004