| Anonymous | Login | 2010-09-03 02:00 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 | |||
| 0002089 | [SystemVerilog P1800] SV-SC | feature | 2007-10-08 17:48 | 2008-08-18 18:21 | |||
| Reporter | Tom Thatcher | View Status | public | ||||
| Assigned To | Tom Thatcher | ||||||
| Priority | normal | Resolution | duplicate | ||||
| Status | closed | Product Version | P1800-2008/D3a | ||||
| Summary | 0002089: Allow checker construct (0001900) to include final blocks with immediate assertions | ||||||
| Description | 0001900 adds a checker construct to encapsulate sequences and properties. When creating complex checkers, a natural application is to check the status of the design at the end of simulation. To do this, a final block with immediate assertions is needed. The current proposal for the checker construct does not permit final blocks or immediate assertions to be included. In order for the new checker construct to be most useful, this capability should be included. | ||||||
| Additional Information | |||||||
| Tags | No tags attached. | ||||||
| Type | Enhancement | ||||||
| Attached Files |
 2089_finalInChecker_20071218.pdf [^] (134,680 bytes) 2007-12-18 14:05 2089_finalInChecker_20080108.pdf [^] (139,310 bytes) 2008-01-08 17:25 2089_finalInChecker_20080110.pdf [^] (163,508 bytes) 2008-01-10 16:01 2089_finalInChecker_20080114.pdf [^] (158,884 bytes) 2008-01-14 16:09 2089_finalInChecker_20080115.pdf [^] (158,421 bytes) 2008-01-15 09:08 2089_finalInChecker_20080129.pdf [^] (158,854 bytes) 2008-01-29 11:18 2089_finalInChecker_20080226.pdf [^] (160,379 bytes) 2008-02-26 13:05 |
||||||
|
|
|||||||
 Relationships |
||||||||||||||||
|
||||||||||||||||
|
Notes |
|
 (0005918)John Havlicek (manager) 2008-02-05 04:39 |
2008-02-04: e-mail ballot passed, 9y/0n/0a. There were no friendly amendments. |
 (0006104)Tom Thatcher (developer) 2008-02-26 13:03 |
The sv-ec and sv-bc committees requested additional clarification that final procedures in checkers behave in an expected way. For example, the final block is always executed once for every instance of a checker, regardless of the context of that instantiation. |
|
(0006118) John Havlicek (manager) 2008-02-28 05:51 |
2008-02-27: e-mail vote passed, 6y/0n/3a. There were no friendly amendments. |
 (0006584)Neil Korpusik (administrator) 2008-04-22 14:17 |
This proposal is under review by the sv-sc |
|
(0006592) Neil Korpusik (administrator) 2008-04-23 11:08 |
Moving to the sv-sc. |
 (0007248)Erik_Seligman (developer) 2008-07-22 15:06 |
SV-SC voted to close as duplicate, in email vote ending 2008-07-21, since feature is now included in 1900. 7y/0n/0ea/6ia (ea = explicit abstain, ia = implied abstain by not sending email) |
|
(0007342) Neil Korpusik (administrator) 2008-08-18 16:44 |
The resolution of "duplicate" was unanimously approved by the Champions in the August 7th, 2008 conference call. |
|
(0007360) Neil Korpusik (administrator) 2008-08-18 18:21 |
The resolution of duplicate was unanimously approved by the Working Group in the conference call of August 14, 2008. Closing the mantis item since there is no more work to be done on it. |
|
Issue History |
|||
| Date Modified | Username | Field | Change |
| 2007-10-08 17:48 | Tom Thatcher | New Issue | |
| 2007-10-08 17:48 | Tom Thatcher | Type | => Enhancement |
| 2007-10-09 01:56 | shalom | Issue Monitored: shalom | |
| 2007-10-09 01:56 | shalom | Relationship added | related to 0001900 |
| 2007-10-09 01:57 | shalom | Relationship added | related to 0002088 |
| 2007-10-09 03:16 | Erik_Seligman | Status | new => assigned |
| 2007-10-09 03:16 | Erik_Seligman | Assigned To | => Erik_Seligman |
| 2007-10-09 03:18 | Erik_Seligman | Issue Monitored: Erik_Seligman | |
| 2007-11-29 16:15 | Tom Thatcher | Assigned To | Erik_Seligman => Tom Thatcher |
| 2007-11-30 09:18 | Tom Thatcher | File Added: 2089_finalInChecker_20071130.pdf | |
| 2007-11-30 09:25 | Tom Thatcher | File Deleted: 2089_finalInChecker_20071130.pdf | |
| 2007-11-30 09:25 | Tom Thatcher | File Added: 2089_finalInChecker_20071130.pdf | |
| 2007-11-30 09:42 | Tom Thatcher | File Deleted: 2089_finalInChecker_20071130.pdf | |
| 2007-11-30 09:42 | Tom Thatcher | File Added: 2089_finalInChecker_20071130.pdf | |
| 2007-11-30 09:55 | Tom Thatcher | File Deleted: 2089_finalInChecker_20071130.pdf | |
| 2007-11-30 09:55 | Tom Thatcher | File Added: 2089_finalInChecker_20071130.pdf | |
| 2007-12-05 14:13 | Tom Thatcher | File Added: 2089_finalInChecker_20071205.pdf | |
| 2007-12-18 14:05 | Tom Thatcher | File Added: 2089_finalInChecker_20071218.pdf | |
| 2008-01-08 17:25 | Tom Thatcher | File Added: 2089_finalInChecker_20080108.pdf | |
| 2008-01-10 15:45 | Tom Thatcher | File Deleted: 2089_finalInChecker_20071130.pdf | |
| 2008-01-10 15:46 | Tom Thatcher | File Deleted: 2089_finalInChecker_20071205.pdf | |
| 2008-01-10 15:46 | Tom Thatcher | File Added: 2089_finalInChecker_20080110.pdf | |
| 2008-01-10 15:51 | Tom Thatcher | File Deleted: 2089_finalInChecker_20080110.pdf | |
| 2008-01-10 15:51 | Tom Thatcher | File Added: 2089_finalInChecker_20080110.pdf | |
| 2008-01-10 16:01 | Tom Thatcher | File Deleted: 2089_finalInChecker_20080110.pdf | |
| 2008-01-10 16:01 | Tom Thatcher | File Added: 2089_finalInChecker_20080110.pdf | |
| 2008-01-14 16:09 | Tom Thatcher | File Added: 2089_finalInChecker_20080114.pdf | |
| 2008-01-15 09:08 | Tom Thatcher | File Added: 2089_finalInChecker_20080115.pdf | |
| 2008-01-29 11:18 | Tom Thatcher | File Added: 2089_finalInChecker_20080129.pdf | |
| 2008-02-05 04:39 | John Havlicek | Note Added: 0005918 | |
| 2008-02-11 10:12 | John Havlicek | Note Added: 0005972 | |
| 2008-02-11 10:13 | John Havlicek | Note Deleted: 0005972 | |
| 2008-02-11 10:13 | John Havlicek | Status | assigned => resolved |
| 2008-02-11 10:13 | John Havlicek | Resolution | open => fixed |
| 2008-02-26 13:03 | Tom Thatcher | Status | resolved => feedback |
| 2008-02-26 13:03 | Tom Thatcher | Resolution | fixed => reopened |
| 2008-02-26 13:03 | Tom Thatcher | Note Added: 0006104 | |
| 2008-02-26 13:05 | Tom Thatcher | File Added: 2089_finalInChecker_20080226.pdf | |
| 2008-02-28 03:22 | shalom | Relationship added | related to 0002182 |
| 2008-02-28 05:51 | John Havlicek | Note Added: 0006118 | |
| 2008-02-28 09:02 | John Havlicek | Status | feedback => resolved |
| 2008-02-28 09:02 | John Havlicek | Resolution | reopened => fixed |
| 2008-03-25 14:55 | Dmitry Korchemny | Relationship deleted | related to 0001900 |
| 2008-03-25 14:56 | Dmitry Korchemny | Relationship added | child of 0001900 |
| 2008-03-26 04:18 | Dmitry Korchemny | Relationship deleted | child of 0001900 |
| 2008-03-26 04:19 | Dmitry Korchemny | Relationship added | related to 0001900 |
| 2008-04-22 14:17 | Neil Korpusik | Status | resolved => feedback |
| 2008-04-22 14:17 | Neil Korpusik | Resolution | fixed => reopened |
| 2008-04-22 14:17 | Neil Korpusik | Note Added: 0006584 | |
| 2008-04-23 11:08 | Neil Korpusik | Note Added: 0006592 | |
| 2008-04-23 11:08 | Neil Korpusik | Category | SV-AC => SV-SC |
| 2008-07-22 15:06 | Erik_Seligman | Note Added: 0007248 | |
| 2008-07-22 15:06 | Erik_Seligman | Duplicate ID | 0 => 1900 |
| 2008-07-22 15:06 | Erik_Seligman | Status | feedback => resolved |
| 2008-07-22 15:06 | Erik_Seligman | Resolution | reopened => duplicate |
| 2008-07-22 15:06 | Erik_Seligman | Fixed in Version | => 1800-2009 |
| 2008-08-18 16:44 | Neil Korpusik | Note Added: 0007342 | |
| 2008-08-18 18:21 | Neil Korpusik | Status | resolved => closed |
| 2008-08-18 18:21 | Neil Korpusik | Note Added: 0007360 | |
| Mantis 1.1.7[^] Copyright © 2000 - 2008 Mantis Group |  |
