Re: [sv-bc] Errata: inconsistent wildcards

I think X should also be a wildcard.

If you want to use logic to produce a masked value, it is
easy to produce an X, and hard to produce a Z.

For example,

(value =?= (a[3:0] ^~ 4'b1??1))

which would say, compare value to a, masking bits [2:1].

On Tue, 31 Aug 2004, Steven Sharp wrote:

> The wildcard equality operators in section 7.5 treat both X and Z as
> wildcards. The inside operator in section 7.20 treats only Z as a
> wildcard. These decisions appear to have been made independently.
> There is no reason for them to be different, and consistency calls for
> both constructs to use the same rules. A consistent decision should
> be made and applied to both constructs.

Shalom

-- 
Shalom Bresticker                        Shalom.Bresticker @freescale.com
Design & Reuse 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