Re: enhancement/400: Reduce arithmetic operators x-pessimism

From: Shalom Bresticker (Shalom.Bresticker@freescale.com)
Date: Thu May 27 2004 - 06:20:01 PDT

  • Next message: Michael McNamara: "Accellera's decision on Two Verilogs"

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

    From: Shalom Bresticker <Shalom.Bresticker@freescale.com>
    To: Steven Sharp <sharp@cadence.com>
    Cc: etf-bugs@boyd.com
    Subject: Re: enhancement/400: Reduce arithmetic operators x-pessimism
    Date: Thu, 27 May 2004 16:36:13 +0300

     Steven,
     
     Please remind us what the other situation is.
     
     Thanks,
     Shalom
     
     
    > > > 2. if (expression) If expression returns X then I believe that everything
    > assigned in both the if and else part should be put to X. Again I have been
    > nearly bitten by this one on more than one occasion.
    >
    > This one is certainly a more severe problem, as Verilog is actually
    > optimistic in this case. It is one of only two situations I am aware of
    > where Verilog handles X too optimistically. I think this one has bitten
    > a lot of users.
     
     --
     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
     
     
     

    This archive was generated by hypermail 2.1.4 : Thu May 27 2004 - 06:20:17 PDT and
    sponsored by Boyd Technology, Inc.