| 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-Date | Sep 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