Re: errata/469: 19.6: can `resetall occur within a module definition?

From: Shalom Bresticker (Shalom.Bresticker@motorola.com)
Date: Wed Sep 24 2003 - 02:30:00 PDT

  • Next message: Francoise Martinolle: "Re: errata/487: Unclear parameter type conversion rules (3.11.1 and 12.2)"

    Precedence: bulk

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

    From: Shalom Bresticker <Shalom.Bresticker@motorola.com>
    To: Steven Sharp <sharp@cadence.com>
    Cc: etf-bugs@boyd.com
    Subject: Re: errata/469: 19.6: can `resetall occur within a module definition?
    Date: Wed, 24 Sep 2003 13:10:42 +0300

    > >Are there really fewer restrictions on where `resetall can occur than on
    > >where `default_nettype can occur?
    >
    > I agree that this seems strange.
    >
    > I have verified that XL and NC do actually allow this. The effect on
    > implicit nets of doing a `resetall in the middle of the module is slightly
    > different in the two simulators, and neither is necessarily what a user
    > might expect.
     
     The same issue exists with `resetall with respect to `nounconnected_drive.
     
     An additional issue is that 19.6 says that the effect of `resetall is that
     "all compiler directives are set to the default values".
     
     We all know that the LRM specifies several exceptions to that rule.
     I suggest that those exceptions be grouped together and listed in 19.6.
     
     
     --
     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 : Wed Sep 24 2003 - 02:33:09 PDT and
    sponsored by Boyd Technology, Inc.