Subject: FW: BOUNCE sv-ec@eda.org: Non-member submission from [Karen Pi eper
FYI
-----Original Message-----
>
Since types can now be parameters, I'm not so sure that the type is so
Karen
This archive was generated by hypermail 2b28
: Fri Aug 23 2002 - 00:40:16 PDT
From: Vassilios.Gerousis@Infineon.Com
Date: Fri Aug 23 2002 - 00:28:17 PDT
<Karen.Pieper@synopsys.com>]
To: pgraham@cadence.com, burisch@co-design.com
From: Karen Pieper <Karen.Pieper@synopsys.com>
Subject: Re: Forward typedefs and file order dependancies
Cc: sv-ec@server.eda.org
In-Reply-To: <200208221529.g7MFToL10134@morph.cAdence.COM>
References: <4.2.0.58.20020822170548.00b5a670@127.0.0.1>
<4.2.0.58.20020822170548.00b5a670@127.0.0.1>
Mime-Version: 1.0
Content-Type: text/plain; charset="us-ascii"; format=flowed
>It's true that parameters cause some checks to be deferred to elaboration
>time, but these checks mainly have to do with array bounds:
>
> parameter p = 4;
> wire [p-1:0] x;
>
> assign y = x[7]; // range check deferred until value of p is known
>
>It's still clear at parsing time that x is a one-dimensional vector of bits.
>
>Paul
clear anymore. It seems
to me that it would need to wait for elaboration anyway.