RE: [sv-ac] Is 'let' allowed as constant expression

From: Korchemny, Dmitry <dmitry.korchemny@intel.com>
Date: Fri Feb 24 2012 - 07:24:53 PST

Hi Surya,

Yes, let is allowed. See A.8.4 Primaries where it is defined:

constant_primary ::=
...
        | constant_let_expression
...

Regards,
Dmitry

-----Original Message-----
From: owner-sv-ac@eda.org [mailto:owner-sv-ac@eda.org] On Behalf Of Surya Pratik Saha
Sent: Thursday, February 23, 2012 10:06
To: sv-ac@eda.org
Subject: [sv-ac] Is 'let' allowed as constant expression

Hi,
Is 'let' construct allowed to be used in context of constant expression?
For e.g.:

module top;
     let l(int x) = x;
     reg [l(1): 0] r;
endmodule

I did not see any reference in the LRM agreeing or disagreeing it. If it is allowed, then I think we need to put some restriction on those usages like constant function call as discussed in the LRM. Please share your comments.

--
Regards
Surya
-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.
---------------------------------------------------------------------
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.
Received on Fri Feb 24 07:25:29 2012

This archive was generated by hypermail 2.1.8 : Fri Feb 24 2012 - 07:25:46 PST