Re: enhancement/477: Provide an assertion statement with thecapabilityto use industry standard property specification.

From: Adam Krolnik (krolnik@lsil.com)
Date: Thu Sep 18 2003 - 10:00:01 PDT

  • Next message: Shalom.Bresticker@motorola.com: "Re: errata/474: First class part selection operator"

    Precedence: bulk

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

    From: Adam Krolnik <krolnik@lsil.com>
    To: Shalom.Bresticker@motorola.com
    Cc: etf-bugs@boyd.com
    Subject: Re: enhancement/477: Provide an assertion statement with thecapabilityto use industry standard property specification.
    Date: Thu, 18 Sep 2003 12:43:27 -0500

     Three:
     
    > assertion - a property that requires verification
    > coverage - to record the occurrence of the property success.
     
        Assumptions - to define artificial restrictions, and requirements necessary
           to complete a proof.
     
     
         Adam Krolnik
         Verification Mgr.
         LSI Logic Corp.
         Plano TX. 75074
         Co-author "Assertion Based Design"
     
     
     
     
     
     

    This archive was generated by hypermail 2.1.4 : Thu Sep 18 2003 - 10:02:41 PDT and
    sponsored by Boyd Technology, Inc.