errata/351: 9.2.2, Example 6: unclear comment

From: Shalom Bresticker (Shalom.Bresticker@motorola.com)
Date: Mon May 26 2003 - 07:36:26 PDT

  • Next message: Kurt Baty: "Re: errata/140: Section 4.1.5: Definition of power operator result type"

    Precedence: bulk

    >Number: 351
    >Category: errata
    >Originator: Shalom Bresticker <Shalom.Bresticker@motorola.com>
    >Environment:
    >Description:

    In 9.2.2, Example 6, there is code

    initial begin
    // starts at time 0, does not hold the block
      r1 = 0 ;
    // makes assignments to r1 without cancelling previous assignments
      for (i=0; i <= 5; i=i+1)
        r1 <= #(i*10) i[0] ;
    end

    The first comment is unclear, particularly "does not hold the block".
    It is an inheritance from Cadence LRM, but it is not clear there, either.

    I suggest to delete the first comment entirely.

    Also, it is unclear to me why the line "r1 = 0;" was added.
    The example seems to work even without it.

    However, there is no need to delete it. 

    --
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 : Mon May 26 2003 - 07:40:35 PDT and
    sponsored by Boyd Technology, Inc.