RE: errata/200: [sv-bc] SV-BC-19-24

From: Brad Pierce (Brad.Pierce@synopsys.com)
Date: Mon Jan 20 2003 - 08:50:00 PST

  • Next message: Steven Sharp: "Re: [Fwd: evaluation order question]"

    Precedence: bulk

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

    From: "Brad Pierce" <Brad.Pierce@synopsys.com>
    To: "Shalom Bresticker" <Shalom.Bresticker@motorola.com>
    Cc: <etf-bugs@boyd.com>
    Subject: RE: errata/200: [sv-bc] SV-BC-19-24
    Date: Mon, 20 Jan 2003 08:44:51 -0800

     Shalom,
     
     Yes, good proposal!
     
     -- Brad
     
     -----Original Message-----
     From: shalom@pobox3.mot.com [mailto:shalom@pobox3.mot.com]On Behalf Of
     Shalom Bresticker
     Sent: Sunday, January 19, 2003 11:50 PM
     To: Brad.Pierce@synopsys.COM
     Cc: etf-bugs@boyd.com
     Subject: Re: errata/200: [sv-bc] SV-BC-19-24
     
     
     Brad,
     
     Would you prefer the following proposal to ETF #200 instead of the current
     proposal?
     
     1. CHANGE
     
     gate_instance_identifier ::= arrayed_identifier
     udp_instance_identifier ::= arrayed_identifier
     module_instance_identifier ::= arrayed_identifier
     
     TO
     
     gate_instance_identifier ::= identifier
     udp_instance_identifier ::= identifier
     module_instance_identifier ::= identifier
     
     2. DELETE
     
     arrayed_identifier
     escaped_arrayed_identifier
     simple_arrayed_identifier
     
     3. NO CHANGE TO
     
     name_of_gate_instance ::= gate_instance_identifier [ range ]
     name_of_udp_instance ::= udp_instance_identifier [ range ]
     name_of_instance ::= module_instance_identifier [ range ]
     
     (#244 proposes to change name_of_instance to name_of_module_instance)
     
     Shalom
     
     
     Brad Pierce wrote:
     
    > Issue SV-BV-19-24 is not directly related to the ETF issues
    > that are associated with it in the spreadsheet.
    >
    > In the V2K BNF --
    >
    > name_of_instance ::= module_instance_identifier [ range ]
    >
    > but in the SV BNF --
    >
    > name_of_instance ::= module_instance_identifier { range }
    >
    > However in both BNFs
    >
    > module_instance_identifier ::= arrayed_identifier
    > arrayed_identifier ::= simple_arrayed_identifier
    > | escaped_arrayed_identifier
    > simple_arrayed_identifier ::= simple_identifier [ range ]
    > escaped_arrayed_identifier ::= escaped_identifier [ range ]
    >
    > So in SV the token "module_instance_identifier" does not
    > always parse the range when reducing the "arrayed_identifier"
    > token.
    >
    > There is a definitely a problem to resolve here though, because
    > it does do so when there are fewer than two dimensions.
    >
    > Also, in both V2K and SV, the nonterminals module_instance_identifier,
    > arrayed_identifer, etc. are very oddly named, because such an "identifier"
    > may denote an array of module instances.
    >
    > Thus, if "m[7:0]" is an array of module instances, then neither "m" nor
    > "m[2]" is a module_instance_identifier, while "m[7:0]" is.
    >
    > Likewise for "module_instance".
    >
    > A sensible renaming of these nonterminals would make the BNF
    > a lot easier to understand. For example, instead of "module_instance",
    > perhaps "module_instance_array".
    >
    > -- Brad
     

    This archive was generated by hypermail 2.1.4 : Mon Jan 20 2003 - 08:50:25 PST and
    sponsored by Boyd Technology, Inc.