errata/140: Re: errata/140: PROPOSAL - Section 4.1.5: Definition of power operator result type

From: Shalom.Bresticker@motorola.com
Date: Thu Jan 01 2004 - 05:20:01 PST

  • Next message: Shalom Bresticker: "errata/522: A.2.2.3: delay2 and delay3 should be constant expressions"

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

    From: Shalom.Bresticker@motorola.com
    To: Kurt Baty <kurt@wsfdb.wsfdb.com>
    Cc: etf-bugs@boyd.com, 1364@accellera.org
    Subject: Re: errata/140: PROPOSAL - Section 4.1.5: Definition of power operator
     result type
    Date: Thu, 1 Jan 2004 15:28:33 +0200 (IST)

     What I have done with with this is to move the first sentence,
     "In all cases the second operand shall be treated as self-determined."
     to after the following paragraphs,
     "If either operand of the power operator is real then:" and
     "If neither operand of the power operator is real then:"
     and before "These statements are illustrated in the following table."
     
     Shalom
     
     
     On Thu, 18 Dec 2003 Shalom.Bresticker@motorola.com wrote:
     
    > I have a problem with the text of the first part of the changes for errata/140.
    >
    > In 4.1.5, the second paragraph, which precedes the discussion of the power
    > operator, talks about the division and modulo operators.
    >
    > Then, currently, the third paragraph, starts with "The result of the power
    > operator ...", which tells you that the subject is now the power operator.
    >
    > In the passed changes, the third paragraph will now begin,
    > "In all cases the second operand shall be treated as self-determined."
    > There will be no indication that it is talking about the power operator.
    >
    > Please revise the text.
    >
    > Thanks,
    > Shalom
    >
    >
    > On Mon, 14 Jul 2003, Kurt Baty wrote:
    >
    > > Part I:
    > >
    > >
    > > REPLACE (3rd paragraph of 4.1.5):
    > > The result of the power operator shall be real if either operand is a
    > > real, integer or signed. If both operands are unsigned then the
    > > result shall be unsigned. The result of the power operator is
    > > unspecified if the first operand is zero and the second operand is
    > > non-positive, or if the first operand is negative and the second
    > > operand is not an integral value.
    > >
    > >
    > > WITH (new 3rd and 4th paragraphs of 4.1.5):
    > > In all cases the second operand shall be treated as self-determined.
    > > If either operand of the power operator is real then:
    > > The result type shall be real. The result of the power operator is
    > > unspecified if the first operand is zero and the second operand is
    > > non-positive, or if the first operand is negative and the second
    > > operand is not an integral value.
    > > If neither operand of the power operator is real then:
    > > The result type shall be determined as outlined in 4.4.1 and 4.5.1
    > > The result value is 'bx if the first operand is zero and the second
    > > operand is negative. The result value is 1 if the second operand is
    > > zero.
    >
    >
     
     --
     Shalom Bresticker Shalom.Bresticker@motorola.com
     Design, Verification & 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 : Thu Jan 01 2004 - 05:20:08 PST and
    sponsored by Boyd Technology, Inc.