RE: [sv-ac] Restriction inside checker construct

Hi Surya, Erik,

I think that the intention is that the checker cannot refer hierarchically to the data defined in automatic functions, etc.

I don't think that automatic tasks and functions should be referenced here since 13.3.1 Static and automatic tasks explicitly states that "Automatic task items cannot be accessed by hierarchical references", and 13.4.2 Static and automatic functions states the same thing about the automatic functions.

The whole text is indeed confusing, and probably should better be dropped altogether.

Dmitry

From: owner-sv-ac@server.eda.org [mailto:owner-sv-ac@server.eda.org] On Behalf Of Seligman, Erik
Sent: Monday, January 05, 2009 8:16 PM
To: Surya Pratik Saha; sv-ac@eda.org
Subject: RE: [sv-ac] Restriction inside checker construct

I think this may be leftover text from an earlier version where we were considering allowing checkers in tasks and functions.
Dmitry, do you have further comments?

________________________________
From: owner-sv-ac@server.eda.org [mailto:owner-sv-ac@server.eda.org] On Behalf Of Surya Pratik Saha
Sent: Sunday, January 04, 2009 8:22 PM
To: sv-ac@eda.org
Subject: [sv-ac] Restriction inside checker construct

Hi,
I have already sent the mail some days back, but did not get any reply, maybe because of holiday. So I am resending it.

It is mentioned in the SV 2009 draft LRM:
The following elements from the scope enclosing the checker declaration shall not be referenced in a checker:
- Automatic variables and members or elements of dynamic variables. This includes dynamically sized variables and data in automatic tasks, functions, or blocks.
- Elements of fork...join, fork...join_any, or fork...join_none blocks.

The text is little bit confusing. The checker declaration is not possible inside a task/function scope. So referring a variable from a task/function requires hierarchical reference. But any variable can not be hierarchically referred from an automatic task/function. So why it is mentioned separately here. Or does it signify something else. It will better to understand if some proper example is shown with that text.

--

Regards

Surya
---------------------------------------------------------------------
Intel Israel (74) Limited

This e-mail and any attachments may contain confidential material for
the sole use of the intended recipient(s). Any review or distribution
by others is strictly prohibited. If you are not the intended
recipient, please contact the sender and delete all copies.

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