Re: [sv-ac] RE: SV-AC meeting minutes 2010-04-27

From: Surya Pratik Saha <spsaha@cal.interrasystems.com>
Date: Wed Apr 28 2010 - 07:00:00 PDT

Though clevel is a formal argument but its usage is not categorized as const_exprssion which generate_if condition demands. If it is const_expression then is the following e.g. allowed:

reg[clevel:0] r;

If it is not, then its usage is invalid in generate_if condition.
Please let me know if I miss anything.

Regards
Surya

-------- Original Message  --------
Subject: Re:[sv-ac] RE: SV-AC meeting minutes 2010-04-27
From: Havlicek John-R8AAAU <r8aaau@freescale.com>
To: Bresticker, Shalom <shalom.bresticker@intel.com>, Korchemny, Dmitry <dmitry.korchemny@intel.com>, sv-ac@server.eda.org <sv-ac@eda.org>
Date: Wednesday, April 28, 2010 7:14:46 PM

Hi Shalom:

 

Why is clevel a variable?  It is a checker formal argument.  The semantics of checker instantiation is supposed to mimic the semantics of sequence and property instantion, where compile- or elaboration-time constant expression are allowed to be passed to formal arguments.

 

J.H.

---

From: owner-sv-ac@eda.org [mailto:owner-sv-ac@eda.org] On Behalf Of Bresticker, Shalom
Sent: Wednesday, April 28, 2010 8:41 AM
To: Korchemny, Dmitry; sv-ac@server.eda.org
Subject: [sv-ac] RE: SV-AC meeting minutes 2010-04-27

I don't think this will work.

"clevel" is a variable, and generate if-conditions require parameters.

 

Shalom

 

2955: Checker example is wrong

Dmitry: Instead of "generate if (coverage_level != cover_none)" it should be "generate if (clevel != cover_none)"

---------------------------------------------------------------------
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.
--
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.

--
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean. Received on Wed Apr 28 07:00:44 2010