| Anonymous | Login | 2010-09-02 20:27 PDT |
| Main | My View | View Issues | Docs | Wiki |
| Viewing Issue Simple Details [ Jump to Notes ] [ Wiki ] | [ View Advanced ] [ Issue History ] [ Print ] | ||||||
| ID | Category | Severity | Date Submitted | Last Update | |||
| 0001200 | [SystemVerilog P1800] V-1364 | feature | 2005-12-09 17:06 | 2008-01-07 05:09 | |||
| Reporter | Cliff Cummings | View Status | public | ||||
| Assigned To | shalom | ||||||
| Priority | immediate | Resolution | fixed | ||||
| Status | closed | Product Version | |||||
| Summary | 0001200: Provide an assertion statement with the capability to use industry standard property specification. | ||||||
| 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. assumptions - to define artificial restrictions, and requirements necessary to complete a proof. |
||||||
| Additional Information |
Was issue 477 in 1364 database - Adam Krolnik http://www.boydtechinc.com/btf/report/full_pr/477.html [^] |
||||||
| Tags | No tags attached. | ||||||
| Type | Enhancement | ||||||
| Attached Files | |||||||
|
|
|||||||
 Relationships |
|
|
Notes |
|
 (0002567)shalom (manager) 2006-04-24 10:19 |
Close as implemented in sv |
 (0003381)mmaidment (manager) 2007-02-05 10:40 |
On February 5, 2007 the SV-BC unanimously approved the resolution of this 1364 issue as it was addressed in SystemVerilog. |
 (0004543)Neil Korpusik (administrator) 2007-09-13 13:20 |
Unanimously approved by the Champions in the August 15, 2007 conference call. |
|
(0004544) Neil Korpusik (administrator) 2007-09-13 13:20 |
Unanimously approved by the P1800 Working Group in the August 30, 2007 conference call. |
 (0004810)Stuart Sutherland (manager) 2007-10-03 20:50 |
There was no editing required for this item. |
|
(0005665) shalom (manager) 2008-01-07 05:09 |
no editing required. |
|
Issue History |
|||
| Date Modified | Username | Field | Change |
| 2005-12-09 17:06 | Cliff Cummings | New Issue | |
| 2005-12-09 17:06 | Cliff Cummings | Type | => Enhancement |
| 2006-04-24 10:19 | shalom | Note Added: 0002567 | |
| 2006-04-24 10:19 | shalom | Priority | normal => immediate |
| 2006-12-18 09:50 | shalom | Status | new => assigned |
| 2006-12-18 09:50 | shalom | Assigned To | => shalom |
| 2007-02-05 10:40 | mmaidment | Status | assigned => resolved |
| 2007-02-05 10:40 | mmaidment | Resolution | open => fixed |
| 2007-02-05 10:40 | mmaidment | Note Added: 0003381 | |
| 2007-08-14 03:34 | shalom | Issue Monitored: shalom | |
| 2007-09-13 13:20 | Neil Korpusik | Note Added: 0004543 | |
| 2007-09-13 13:20 | Neil Korpusik | Note Added: 0004544 | |
| 2007-09-13 13:20 | Neil Korpusik | Status | resolved => approved |
| 2007-10-03 20:50 | Stuart Sutherland | Status | approved => completed |
| 2007-10-03 20:50 | Stuart Sutherland | Fixed in Version | => P1800-2008/D4 |
| 2007-10-03 20:50 | Stuart Sutherland | Note Added: 0004810 | |
| 2008-01-07 05:09 | shalom | Status | completed => closed |
| 2008-01-07 05:09 | shalom | Note Added: 0005665 | |
| Mantis 1.1.7[^] Copyright © 2000 - 2008 Mantis Group |  |
