From: Adam Krolnik (krolnik@lsil.com)
Date: Tue Feb 20 2001 - 08:21:50 PST
Good morning all;
A colleague of mine just sent me these problems he noted with the
grammar (unknown version he has.)
<p>Here is one, the rest are as an attachment...
<p>module M;
initial begin : foo
reg a = 0; // Illegal according to 2000 BNF
integer b = 0; // legal
real c = 0.0; // legal
time d = 0; // legal
realtime e = 0.0; // legal
end
endmodule
<p><p> Adam Krolnik
Verification Mgr.
LSI Logic Corp.
Plano TX. 75074Return-Path: <drm@xilinx.com>
Received: from mhbs.lsil.com by dts0 (SMI-8.6/SMI-SVR4)
id JAA09150; Tue, 20 Feb 2001 09:17:00 -0600
Received: by mhbs.lsil.com for krolnik@lsil.com; Tue, 20 Feb 2001 07:16:43 -0800
X-From: uucp Tue Feb 20 07:16 PST 2001
>Received: from mail02-oak.pilot.net (mail-oak-2.pilot.net [198.232.147.17])
by mail2.lsil.com (8.9.3+Sun/8.9.1) with ESMTP id HAA07804
for <krolnik@lsil.com>; Tue, 20 Feb 2001 07:16:03 -0800 (PST)
Received: from newsgate.xilinx.com (mailgate.xilinx.com [149.199.60.204]) by mail02-oak.pilot.net with ESMTP id HAA17425 for <krolnik@lsil.com>; Tue, 20 Feb 2001 07:16:00 -0800 (PST)
Received: from cliff.xsj.xilinx.com (cliff [149.199.38.103])
by newsgate.xilinx.com (8.9.3/8.8.7) with ESMTP id HAA01904
for <krolnik@lsil.com>; Tue, 20 Feb 2001 07:16:00 -0800 (PST)
Received: from moxie.xbc.xilinx.com (moxie [149.199.178.155])
by cliff.xsj.xilinx.com (8.9.3/8.8.7) with ESMTP id HAA20717;
Tue, 20 Feb 2001 07:15:52 -0800 (PST)
Received: from hops.xbc.xilinx.com (hops [149.199.173.78])
by moxie.xbc.xilinx.com (8.8.8/8.8.7) with ESMTP id IAA18733;
Tue, 20 Feb 2001 08:15:58 -0700 (MST)
Received: from xilinx.com (localhost [127.0.0.1])
by hops.xbc.xilinx.com (8.8.7/8.8.7) with ESMTP id IAA29744;
Tue, 20 Feb 2001 08:15:54 -0700 (MST)
Sender: drm@xilinx.com
Message-ID: <3A928A2A.192CCA38@xilinx.com>
Date: Tue, 20 Feb 2001 08:15:54 -0700
From: Dennis Marsa <drm@xilinx.com>
X-Mailer: Mozilla 4.7 [en] (X11; I; SunOS 5.6 sun4u)
X-Accept-Language: en
To: Adam Krolnik <krolnik@lsil.com>
Subject: LRM items
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
X-Mozilla-Status2: 00000000
Content-Transfer-Encoding: 7bit
Here are a couple of more LRM items that I've noticed:
1) "unsigned" is listed as a reserved word in Annex B,
though is not used anywhere in the BNF. Is "unsigned"
really a reserved word?
2) In the BNF, section A.8.5 shows the rule for "net_lvalue"
which only allows constant_expressions in any memory
or bit indices.
However, the last alternative for net_lvalue is net_concatenation.
(its only use in the entire BNF). net_concatenations consist
of a list of net_concatenation_values, and (section A.8.1)
plain expressions are allowed in any memory or bit indices
within the net_concatenation_values
This would imply the following is illegal:
assign a[i] = 1'b0;
but the following (semantically equivalent) form was legal:
assign {a[i]} = 1'b0;
since a concatenation was used.
It seems either the rule for net_concatenation_value shold use
constant_expression, or net_lvalue should use expression.
Dennis
This archive was generated by hypermail 2.1.4
: Mon Jul 08 2002 - 12:54:39 PDT
and
sponsored by Boyd Technology, Inc.