FW: BOUNCE sv-ec@eda.org: Non-member submission from [Karen Pi eper <Karen.Pieper@synopsys.com>]


Subject: FW: BOUNCE sv-ec@eda.org: Non-member submission from [Karen Pi eper ]
From: Vassilios.Gerousis@Infineon.Com
Date: Fri Aug 23 2002 - 00:28:17 PDT


FYI

-----Original Message-----
<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

Since types can now be parameters, I'm not so sure that the type is so
clear anymore. It seems
to me that it would need to wait for elaboration anyway.

Karen



This archive was generated by hypermail 2b28 : Fri Aug 23 2002 - 00:40:16 PDT