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

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