errata/535: errors in $width, 15.3.4 and 15.5

From: sharp@cadence.com
Date: Thu Feb 05 2004 - 11:26:47 PST

  • Next message: Shalom.Bresticker@motorola.com: "Re: Usage and declaration of parameter within generate"

    >Number: 535
    >Notify-List:
    >Category: errata
    >Originator: sharp@cadence.com (Behavioral Task Force)
    >Environment:
    >Description:

    Section 15.3.4 states that the threshold argument is
    optional. The BNF does not match this. The text also
    says that if you have a notifier argument, then you
    need the comma in front of the optional threshold,
    which implies that you can have a null threshold
    argument as a placeholder if you want a notifier after
    it. But later text states that if the notifier is
    present, a non-null threshold value must be present.
    This is inconsistent. It appears that the earlier
    text about the comma is wrong, or at least misleading.

    In the $width in example 1 in 15.5, the threshold argument
    is missing entirely, with neither a null or zero value
    supplied. This is illegal by any interpretation of the
    earlier text.

    This archive was generated by hypermail 2.1.4 : Thu Feb 05 2004 - 11:26:52 PST and
    sponsored by Boyd Technology, Inc.