Subject: FW: Forward typedefs and file order dependancies (From Karen Pieper)
From: David W. Smith (david.smith@synopsys.com)
Date: Thu Aug 22 2002 - 11:17:54 PDT
Forwarded to sb-bc as well.
Just a reminder to one and all. The email that you used when you signed
on to the reflector is the only one that is usable for corresponding to
the reflector. Alternate email addresses will bounce. If you need more
than one address please sign-up to the reflector with it.
Having said that, here is Karen's response:
>
>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 : Thu Aug 22 2002 - 11:19:28 PDT