Subject: [sv-ac] Fw: BOUNCE sv-ac@eda.org: Non-member submission from ["Warmke, Doug"
Forwarding for Doug.
> From owner-sv-ac Wed Feb 19 21:48:25 2003
This archive was generated by hypermail 2b28
: Wed Feb 19 2003 - 21:53:01 PST
From: Faisal Haque (fhaque@cisco.com)
Date: Wed Feb 19 2003 - 21:52:23 PST
----- Original Message -----
From: <owner-sv-ac@eda.org>
To: <owner-sv-ac@eda.org>
Sent: Wednesday, February 19, 2003 9:48 PM
Subject: BOUNCE sv-ac@eda.org: Non-member submission from ["Warmke, Doug"
<doug_warmke@mentorg.com>]
> Received: from relay1.mentorg.com (relay1.mentorg.com [192.94.38.131])
> by server.eda.org (8.12.0.Beta7/8.12.0.Beta7) with ESMTP id h1K5mNH4009270
> for <sv-ac@server.eda.org>; Wed, 19 Feb 2003 21:48:24 -0800 (PST)
> Received: from nat-sje.mentorg.com ([63.84.167.226]
helo=svr-cas-exc-01.sje.mentorg.com)
> by relay1.mentorg.com with esmtp
> id 18ljZH-0002Eq-00 from doug_warmke@mentor.com
> for sv-ac@server.eda.org; Wed, 19 Feb 2003 21:48:23 -0800
> Received: by svr-cas-exc-01.sje.mentorg.com with Internet Mail Service
(5.5.2653.19)
> id <CWTA68N4>; Wed, 19 Feb 2003 21:48:23 -0800
> Message-ID:
<9DF732C426A0B7419B51C8E1B33B997B2C3CA2@svr-cas-exc-01.sje.mentorg.com>
> From: "Warmke, Doug" <doug_warmke@mentorg.com>
> To: "'sv-ac@server.eda.org'" <sv-ac@server.eda.org>
> Subject: Question on constant_range_expresions (draft80, section 11.4)
> Date: Wed, 19 Feb 2003 21:48:21 -0800
> MIME-Version: 1.0
> X-Mailer: Internet Mail Service (5.5.2653.19)
> Content-Type: text/plain
>
> 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.
>
> Thanks and regards,
> Doug Warmke
>
>