[sv-ec] RE: Query regarding covergroup option

Hi Shalom,

Thanks for the mail. As per the statement...
Option assignment statements in the covergroup definition are evaluated at the time that the covergroup is instantiated

It is clearly specified when such assignment should get evaluated.
However, in order to ensure this behavior should LRM have to further clarify its specification about which type of expressions should be in the RHS of this assignment ?

In other words, should the RHS of option assignment statements in covergroup definition allow any generic expression (i.e. other than constant expression, argument based expression and instance-const-based expression) ?

We have recently filed a mantis to track this issues: (id : 3661)

Regds
Vaibhav Bhutani

From: Bresticker, Shalom [mailto:shalom.bresticker@intel.com]
Sent: Sunday, July 03, 2011 3:09 PM
To: Vaibhav Bhutani; 'sv-ec@eda.org'
Subject: RE: Query regarding covergroup option

The LRM says,

"Option assignment statements in the covergroup definition are evaluated at the time that the covergroup is
instantiated. The per_instance and get_inst_coverage options can only be set in the covergroup
definition. The auto_bin_max and detect_overlap options can only be set in the covergroup or coverpoint
definition. Other instance-specific options can be assigned procedurally after a covergroup has
been instantiated."

Does that help?

Regards,
Shalom

From: owner-sv-ec@eda.org [mailto:owner-sv-ec@eda.org] On Behalf Of Vaibhav Bhutani
Sent: Tuesday, April 19, 2011 2:58 PM
To: 'sv-ec@eda.org'
Subject: [sv-ec] Query regarding covergroup option

Hi Coverage Experts,

 The BNF of covergroup option states:
option.member_identifier = expression

 This means that RHS can be any generic expression. Is that the real intention for using "expression" as RHS? Now, if we assume
that was the intent, we can consider the construction time value of the expression for the assignment purpose.

The other intention of using "expression" may be to capture the fact that apart from constant expressions, only covergroup argument based
expressions and instance const based expressions are allowed.

Just wanted to know if anybody remembers the intention here.

Regds,
Vaibhav Bhutani
---------------------------------------------------------------------
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.