Re: [sv-champions] Re: errata/288: PROPOSAL - 4.1.14: replication operator and function calls

From: Brad Pierce (Brad.Pierce@synopsys.com)
Date: Mon Dec 06 2004 - 09:20:01 PST

  • Next message: Shalom.Bresticker@freescale.com: "errata/643: PROPOSAL - 17.2.2: not a logical OR"

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

    From: "Brad Pierce" <Brad.Pierce@synopsys.com>
    To: <Shalom.Bresticker@freescale.com>, <sv-champions@eda.org>
    Cc: <etf-bugs@boyd.com>
    Subject: Re: [sv-champions] Re: errata/288: PROPOSAL - 4.1.14: replication operator and function calls
    Date: Mon, 6 Dec 2004 09:32:26 -0800

    >Category: errata
    >Confidential: no
    >Originator: "Brad Pierce" <Brad.Pierce@synopsys.com>
    >Release: 2001b
    >Submitter-Id: etf
    >Class: TBD
    >Description:
     Shalom,
     
     That's a good editorial suggestion, and I would not be opposed to
     your revising my proposal in the way you suggest.
     
     -- Brad
     
     -----Original Message-----
     From: owner-sv-champions@eda.org [mailto:owner-sv-champions@eda.org]On
     Behalf Of Shalom.Bresticker@freescale.com
     Sent: Sunday, December 05, 2004 2:16 AM
     To: sv-champions@eda.org
     Cc: etf-bugs@boyd.com
     Subject: [sv-champions] Re: errata/288: PROPOSAL - 4.1.14: replication
     operator and function calls
     
     
     This is the proposal approved by the ETF:
     
     
     On Tue, 2 Nov 2004 brad.pierce@synopsys.com wrote:
     
    > REPLACE
    >
    > If the replication operator is used on a function
    > call operand, the function need not be evaluated
    > multiple times. For example:
    >
    > result = {4{func(w)}
    >
    > may be computed as
    >
    > result = { func(w), func(w), func(w), func(w)}
    >
    > or
    >
    > y = func(w) ;
    > result = { y, y, y, y}
    >
    > This is another form of expression evaluation
    > short-circuiting.
    >
    > WITH
    >
    > When a replication expression is evaluated, the
    > operand shall be evaluated exactly once, even if
    > the replication constant is zero.
    >
    >
    >
     http://boydtechinc.com/cgi-bin/issueproposal.pl?cmd=view&database=default&pr
     =288
     
     I would leave the example, as follows:
     
     "For example:
     
        result = {4{func(w)} ;
     
     would be computed as
     
        y = func(w) ;
        result = { y, y, y, y } ;"
     
     
     --
     Shalom Bresticker Shalom.Bresticker @freescale.com
     Design & Verification Methodology Tel: +972 9 9522268
     Freescale Semiconductor Israel, Ltd. Fax: +972 9 9522890
     POB 2208, Herzlia 46120, ISRAEL Cell: +972 50 5441478
     
     [ ]Freescale Internal Use Only [ ]Freescale Confidential Proprietary
     

    This archive was generated by hypermail 2.1.4 : Mon Dec 06 2004 - 09:20:07 PST and
    sponsored by Boyd Technology, Inc.