errata/250: A.8.3: Is expression redundant in range_expression?

From: Shalom.Bresticker@motorola.com
Date: Mon Jan 06 2003 - 06:38:46 PST

  • Next message: Shalom Bresticker: "dan jacobi's comments"

    Precedence: bulk

    >Number: 250
    >Category: errata
    >Originator: Dan.Jacobi@intel.com
    >Environment:
    #123
    SV-BC19-45, 47
    >Description:

    From Dan Jacobi in SV-BC19-45 and 47:

    In A.8.3,

    constant_range_expression ::=
        constant_expression
      | msb_constant_expression : lsb_constant_expression
      | constant_base_expression +: width_constant_expression
      | constant_base_expression -: width_constant_expression

    constant_range_expression is used only in net_lvalue.
    After the fix of #53,

    net_lvalue ::=
        hierarchical_net_identifier {[constant_expression]}[[constant_range_expression]]
      | {net_lvalue {, net_lvalue}}

    Thus, it seems that constant_expression is redundant in
    constant_range_expression as net_value already contains the
    constant_expression possiblity even without
    constant_range_expression.

    Similarly, expression (or constant_expression, see issue #238)
    is already used everywhere that range_expression is used,
    so expression appears redundant in the definition of
    range_expression.

    See also issue #123.

    This archive was generated by hypermail 2.1.4 : Mon Jan 06 2003 - 06:41:47 PST and
    sponsored by Boyd Technology, Inc.