Subject: Re: [sv-ac] Comment on constant_range_expressions
From: Shalom Bresticker (Shalom.Bresticker@motorola.com)
Date: Tue Feb 25 2003 - 02:44:55 PST
constant_range_expression is defined in 1364-2001 as
constant_range_expression ::=
constant_expression
| msb_constant_expression : lsb_constant_expression
| constant_base_expression +: width_constant_expression
| constant_base_expression -: width_constant_expression
SV-AC should not change existing definitions.
Anyway, parameters can be used.
Shalom
"Warmke, Doug" wrote:
> SV-AC team,
>
> I've been reviewing draft80 of the assertions chapter.
> One minor question/comment so far:
>
> In 11.4, the following appears in the BNF for "range":
>
> constant_range_expression is a compile-time constant
> expression that results in an integer value.
>
> The term "compile-time" is imprecise, given the different natures of the
> various Verilog simulators on the market. Could this be restated a little
> bit? In particular it would be interesting to know if Verilog parameters
> could be used in the definition of constant_range_expressions.
-- Shalom Bresticker Shalom.Bresticker@motorola.com Design & Reuse Methodology Tel: +972 9 9522268 Motorola Semiconductor Israel, Ltd. Fax: +972 9 9522890 POB 2208, Herzlia 46120, ISRAEL Cell: +972 50 441478
This archive was generated by hypermail 2b28 : Tue Feb 25 2003 - 02:45:52 PST