From: Shalom Bresticker (Shalom.Bresticker@motorola.com)
Date: Tue Nov 18 2003 - 00:30:00 PST
The following reply was made to PR errata/198; it has been noted by GNATS.
From: Shalom Bresticker <Shalom.Bresticker@motorola.com>
To: Steven Sharp <sharp@cadence.com>
Cc: etf-bugs@boyd.com
Subject: Re: errata/198: 12.3.9.2: sinks should allow only constant part-selects
Date: Tue, 18 Nov 2003 10:28:03 +0200
I was referring to sinks.
12.3.8 and 12.3.9.2 say, I think, that port sinks are structural port
expressions, and the same restrictions exist whether the sink is on the inside
or the outside.
And that is true according to the definition of structural port expression given
there.
And the same restrictions exist on the LHS of a continuous assignment as defined
in Table 30 (beginning of Clause 6).
Now we have decided that the LHS of a continuous assignment can be anything the
BNF of net_lvalue allows.
We also decided that that is true of a port sink on the external side (of an
output or inout port).
The trouble comes with extending that to a port sink on the internal side (of an
input or inout port).
Shalom
Steven Sharp wrote:
> >Unfortunately, this breaks the symmetry between external and internal port
> >sinks, and being internal port sinks and continuous assignments. It means
> >that internal port sinks (port_references) will be more restricted than
> >net_lvalues. And that is how I got into this issue.
>
> I agree that it is unfortunate, but this asymmetry already existed. You
> can attach arbitrary expressions as sources on the outside, but are quite
> restricted on any attachment on the inside, whether source or sink.
--
Shalom Bresticker Shalom.Bresticker@motorola.com
Design & Reuse Methodology Tel: +972 9 9522268
Motorola Semiconductor Israel, Ltd. Fax: +972 9 9522890
POB 2208, Herzlia 46120, ISRAEL Cell: +972 50 441478
This archive was generated by hypermail 2.1.4
: Tue Nov 18 2003 - 00:30:04 PST
and
sponsored by Boyd Technology, Inc.