errata/198: Re: errata/198: 12.3.9.2: sinks should allow only constant part-selects

From: Shalom.Bresticker@motorola.com
Date: Sun Nov 09 2003 - 01:10:00 PST

  • Next message: Shalom.Bresticker@motorola.com: "errata/504: A.2.2.1: simplify BNF of real_type, variable_type"

    The following reply was made to PR errata/198; it has been noted by GNATS.

    From: Shalom.Bresticker@motorola.com
    To: etf-bugs@boyd.com
    Cc:
    Subject: Re: errata/198: 12.3.9.2: sinks should allow only constant part-selects
    Date: Sun, 9 Nov 2003 11:16:40 +0200 (IST)

     Regarding sinks in port connections,
     
    > 12.3.9.2 defines "structural net expressions" which may be the sinks in a port
    > connection.
     
    > Even better would be to say that the legal expressions are the same which can
    > appear on the lhs of a continuous assignment, and then reference Table 30.
     
     In the last ETF call, we decided that both continuous assignment LHS's
     and port connection sinks should have the same possibilities, and in
     particular, both should allow constant element-selects of arrays and
     constant bit-/part-selects of constant element-selects of arrays.
     Basically, any net_lvalue (see A.8.5).
     
     In looking at this, I found the following problem with respect to ports:
     
     With respect to the list_of_ports in the module header, this change
     means basically changing (see Syntax 12-5) port_reference from
     "port_identifier [ [ constant_range_expression ] ]" to
     "net_lvalue",
     and that seems natural.
     
     However, it also seems to require extending input_declaration from the
     form
     
     input [ range ] port_identifier
     to
     input [ range ] port_identifier { [ dimension ] }
     
     That is, to declare arrays as well, even though the array_identifier
     cannot appear in a simple port list as just a port_identifier, since
     arrays cannot currently be passed as ports.
     
     And that is because the port_identifiers in the port_references have to
     appear in port declarations as well.
     
     Your thoughts, please.
     
     Thanks,
     Shalom
     
     --
     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 : Sun Nov 09 2003 - 01:10:04 PST and
    sponsored by Boyd Technology, Inc.