From: Shalom Bresticker (shalom@msil.sps.mot.com)
Date: Wed Oct 04 2000 - 23:23:11 PDT
On Wed, 4 Oct 2000, Adam Krolnik wrote:
>
>
> Good afternoon Cliff;
>
> I just found an interesting example of a combination of declarations
> that are not allowed by the current BNF.
>
> Doubt it is worth changing, but an interesting thing.
>
> %cat -n /tmp/a.v
> 1 module testwire;
> 2
> 3 wire a, b, c;
> 4 wire d = 0, e = 0, f = 0;
> 5 wire g, h = 0, i;
> 6
> 7 endmodule
>
> VCS and XL say line 4 has an error - no mixing of net declarations
> with net declaration assignments.
I assume you mean line 5.
>
> Surelint says (reasonably) this is okay.
If both the BNF and VCS and XL do not allow it,
I would say that Surelint is unreasonable and is in error.
Regardless, 1364-2000/2001 can be changed to allow it.
Shalom
>
> Adam Krolnik
> Verification Mgr.
> LSI Logic Corp.
> Plano TX. 75074
>
This archive was generated by hypermail 2.1.4
: Mon Jul 08 2002 - 12:54:14 PDT
and
sponsored by Boyd Technology, Inc.