ISSUE 477

Add Proposal  Add Analysis  Edit Class, Environment, or Release
Number 477
Category enhancement
Synopsis Provide an assertion statement with the capability to use industry standard property specification.
State open
Class enhancement
Arrival-DateSep 16 2003
Originator Adam Krolnik
Release 2001b
Environment
Description

There needs to be a way to allow verilog writers to easily
express their intent on how their code should work.

An assertion should be supported to allow expression of a property that must be satisfied, or never satisfied.

The property form should be an industry standard form so that
the assertion/property can be used in simulation, synthesis,
code coverage, model checking, etc.

There need to be three kinds of statements:
assertion - a property that requires verification
coverage - to record the occurrence of the property success.

Fix

Audit-Trail

From: Shalom.Bresticker@motorola.com
To: krolnik@lsil.com
Cc: etf-bugs@boyd.com
Subject: Re: enhancement/477: Provide an assertion statement with the
capability to use industry standard property specification.
Date: Thu, 18 Sep 2003 18:58:08 +0300 (IDT)

> There need to be three kinds of statements:
> assertion - a property that requires verification
> coverage - to record the occurrence of the property success.

What is the third?


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"






Unformatted



Hosted by Boyd Technology