Re: errata/308: 9.7.2 ambiguous about @r when r is a vector

From: Shalom.Bresticker@motorola.com
Date: Tue Sep 02 2003 - 02:40:01 PDT

  • Next message: Shalom.Bresticker@motorola.com: "Re: errata/88: 9.7.2 should say that event_controls can be expressions"

    Precedence: bulk

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

    From: Shalom.Bresticker@motorola.com
    To: etf-bugs@boyd.com
    Cc:
    Subject: Re: errata/308: 9.7.2 ambiguous about @r when r is a vector
    Date: Tue, 2 Sep 2003 12:34:34 +0300 (IDT)

     This should be combined with issue 88.
     
     Another place to correct is 9.7.7, para. 3, where it says that
     "The event expression shall be resolved to a 1-bit value."
     
    > 9.7.2 is ambiguous about when "@r" is triggered when r is a
    > vector.
    >
    > @(posedge r) and @(negedge r) trigger only on the LSB of r.
    >
    > But the LRM is ambiguous whether "@r" triggers on any change
    > in r or only on a change in the LSB of r.
    >
    > To the best of my knowledge, all tools treat "@r" as
    > triggering on any change in r.
     
     Shalom
     

    This archive was generated by hypermail 2.1.4 : Tue Sep 02 2003 - 02:41:23 PDT and
    sponsored by Boyd Technology, Inc.