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

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

  • Next message: Shalom Bresticker: "read unix environment variable into Verilog?"

    Precedence: bulk

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

    From: Shalom Bresticker <Shalom.Bresticker@motorola.com>
    To: etf-bugs@boyd.com
    Cc:
    Subject: Re: errata/140: PROPOSAL - Section 4.1.5: Definition of power operator
     result type
    Date: Mon, 26 May 2003 16:55:34 +0300

     Small comments:
     
    > NEW PROPOSAL (submitted 5/19/03):
    >
    > Part I:
    >
    > REPLACE (3rd paragraph of 4.1.5):
    > WITH (new 3rd and 4th paragraphs of 4.1.5):
    > If either operand of the power operator is real, then the result type
    > shall be real.
     
     It is unclear what happens if base is 0 and power is 0 or negative.
     
    > 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, with the second
    > operand treated as self-determined. 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.
    >
    > op1 ** op2 where op1, op2 are not real:
    >
    > op1 is negative<-1 -1 zero 1 positive>1
    > --------------------------------------------------------------------------
    > op2 is
    > positive int(op1 ** op2) op2 is odd -> -1 0 1 int(op1 ** op2)
     
     int() function not defined.
     
     --
     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:00:35 PDT and
    sponsored by Boyd Technology, Inc.