[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