Subject: Re: FW: [sv-bc] unpacked array and structure expression issues
From: Greg Jaxon (Greg.Jaxon@synopsys.com)
Date: Wed Nov 05 2003 - 10:20:29 PST
Feldman, Yulik wrote:
> Hi Greg,
>
> Obviously, I agree with you. What is left, then, is:
>
> 1. Specify in the standard that the value expressions of default:value
> and type:value pairs are self-determined.
>
> 2. Decide whether the value expressions of member:value pairs should be
> self-determined as well. Probably not, since there is no issue with
> multiple contexts with this kind of a label:value pair.
>
> --Yulik.
The type and expression width of "value" in a "default:value" clause of
an aggregate expression should be self-determined. Beware {default:'1}.
For "type:value" and "member:value", "value" should
produce the given type, or the type of the corresponding member (respectively).
Like an explicit cast or an assignment (respectively), this type becomes
the context for a possible aggregate expression at the top level of "value".
The "type" in "type:value" is uniquely determined from the prevailing scope
as discussed in http://www.eda.org/sv-bc/display_issue.cgi?issue_num=105
Greg Jaxon
This archive was generated by hypermail 2b28 : Wed Nov 05 2003 - 10:22:57 PST