re: errata/113: generate

From: Shalom Bresticker (Shalom.Bresticker@freescale.com)
Date: Mon Sep 06 2004 - 05:30:00 PDT

  • Next message: Shalom Bresticker: "Re: Verilog 2001 (1364-2001):issue::same_inputs as module declaration"

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

    From: Shalom Bresticker <Shalom.Bresticker@freescale.com>
    To: etf-bugs@boyd.com
    Cc:
    Subject: re: errata/113: generate
    Date: Mon, 06 Sep 2004 15:36:22 +0300

     In finally putting the generate fix into the next 1364 draft document, I found
     an unclear wording:
     
     In 3.5, the approved wording was:
     
     "- If an identifier is used in the terminal list of a primitive instance or a
     module instance, and that identifier has not been declared previously in the
     scope where the instantiation appears or in any scope whose declarations can be
     directly referenced from that scope (see 12.7), then an implicit scalar net of
     default net type shall be assumed.
     
     - If an identifier appears on the left-hand side of a continuous assignment
     statement, and that identifier has not been declared previously in the scope
     where the assignment statement appears or in any scope whose declarations can be
     directly referenced from that scope (see 12.7), then an implicit scalar net of
     default net type shall be assumed. See 6.1.2 for a discussion of continuous
     assignment statements."
     
     
     I found the phrase "that scope" where the cross-references ambiguous, so
     I clarified the wording as follows:
     
     "- If an identifier is used in the terminal list of a primitive instance or a
     module instance, and that identifier has not been declared previously in the
     scope where the instantiation appears or in any scope whose declarations can be
     directly referenced from the scope where the instantiation appears (see 12.7),
     then an implicit scalar net of default net type shall be assumed.
     
     - If an identifier appears on the left-hand side of a continuous assignment
     statement, and that identifier has not been declared previously in the scope
     where the continuous assignment statement appears or in any scope whose
     declarations can be directly referenced from the scope where the continuous
     assignment statement appears (see 12.7), then an implicit scalar net of default
     net type shall be assumed. See 6.1.2 for a discussion of continuous assignment
     statements."
     
     Wordier, but clearer.
     
     Please yell if you object.
     
     Thanks,
     Shalom
     
     --
     Shalom Bresticker Shalom.Bresticker @freescale.com
     Design & Reuse Methodology Tel: +972 9 9522268
     Freescale Semiconductor Israel, Ltd. Fax: +972 9 9522890
     POB 2208, Herzlia 46120, ISRAEL Cell: +972 50 5441478
     
     [ ]Freescale Internal Use Only [ ]Freescale Confidential Proprietary
     
     
     

    This archive was generated by hypermail 2.1.4 : Mon Sep 06 2004 - 05:30:23 PDT and
    sponsored by Boyd Technology, Inc.