Re: generate proposal

From: Shalom.Bresticker@motorola.com
Date: Tue Feb 03 2004 - 19:51:19 PST

  • Next message: Shalom.Bresticker@motorola.com: "errata/237: Re: errata/237: PROPOSAL - A.7.5.3: scalar_timing_check_expressions has redundancies"

    That could create a portability problem.

    Shalom

    On Tue, 3 Feb 2004, Steven Sharp wrote:

    >
    > >Jason,
    > >
    > >Do you agree with that formulation?
    >
    > I believe that Jason has a problem with that formulation because it would
    > be more difficult and possibly inefficient to implement a strict check for
    > it in tools. His formulation is less strict and apparently easier to
    > implement. But I think it is harder for a user to understand.
    >
    > Perhaps we can compromise on a wording that uses the simpler and more
    > restrictive formulation, but doesn't require implementations to enforce
    > it strictly.
    >
    > Steven Sharp
    > sharp@cadence.com
    > 

    -- 
Shalom Bresticker                         Shalom.Bresticker@motorola.com
Design, Verification & Reuse Methodology             Tel: +972 9 9522268
Motorola Semiconductor Israel, Ltd.                  Fax: +972 9 9522890
POB 2208, Herzlia 46120, ISRAEL                     Cell: +972 50 441478

    This archive was generated by hypermail 2.1.4 : Tue Feb 03 2004 - 19:39:21 PST and
    sponsored by Boyd Technology, Inc.