Re: [sv-bc] SV-BC #110 - 2-State Divide by 0 question

> "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 memory serves me, this 'unspecified' is an inheritance from C, based
on the assumption that many tools will implement this using the C pow
function.

However, I think there are other cases where the result is unspecified
and it is not such an inheritance.

-- 
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