RE: [sv-bc] Clarify -- Type casting issue]

>According to
>
> http://www.eda.org/sv-bc/display_issue.cgi?issue_num=38
>
>the following two statements have identical results
>
> typeA A = expr;
> typeA A = typeA'(expr);

Dave Rich said recently that the operand of a cast is
self-determined. That is not consistent with this claim.

The right-hand-side of an assignment is not self-determined.
If the types are vectors, then its width is context-determined,
with the width of the left-hand-side taken into account. So if
the operand of a cast is self-determined, then these two statements
do not have identical results.

One of these claims is incorrect.

Steven Sharp
sharp@cadence.com
Received on Tue Jun 22 15:51:13 2004