| Anonymous | Login | 2010-09-03 01:59 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 | |||
| 0002110 | [SystemVerilog P1800] SV-SC | feature | 2007-10-15 14:42 | 2008-08-18 18:20 | |||
| Reporter | Erik_Seligman | View Status | public | ||||
| Assigned To | Erik_Seligman | ||||||
| Priority | high | Resolution | duplicate | ||||
| Status | closed | Product Version | P1800-2008/D4 | ||||
| Summary | 0002110: Allow checkers in procedural for loops | ||||||
| Description |
Assuming 1900 (checkers) and 1995 (assertions in procedural loops) are both approved, we will want to enable checkers to exist in procedural loops as well. Document is TBA after 1900 and 1995 are finalized. |
||||||
| Additional Information | |||||||
| Tags | No tags attached. | ||||||
| Type | Enhancement | ||||||
| Attached Files |
 checkerinloop_080117es.pdf [^] (43,113 bytes) 2008-01-17 09:19 checkerinloop_080117es.doc [^] (71,168 bytes) 2008-01-17 09:20 checkerinloop_080121es.doc [^] (75,776 bytes) 2008-01-21 14:30 checkerinloop080121es.pdf [^] (46,636 bytes) 2008-01-21 14:30 checkerinloop_080204es.pdf [^] (46,638 bytes) 2008-02-04 08:41 checkerinloop_080204es.doc [^] (79,872 bytes) 2008-02-04 08:41 checkerinloop_080206es.pdf [^] (53,250 bytes) 2008-02-06 08:46 checkerinloop_080206es.doc [^] (111,104 bytes) 2008-02-06 08:47 checkerinloop_080211es.doc [^] (108,032 bytes) 2008-02-11 10:00 checkerinloop_080211es.pdf [^] (53,353 bytes) 2008-02-11 10:00 checkerinloop_080211esb.doc [^] (108,544 bytes) 2008-02-11 15:45 checkerinloop_080211esb.pdf [^] (53,333 bytes) 2008-02-11 15:46 checkerinloop_080225es.doc [^] (97,792 bytes) 2008-02-25 18:04 checkerinloop_080225es.pdf [^] (51,562 bytes) 2008-02-25 18:04 |
||||||
|
|
|||||||
 Relationships |
|||||||||||
|
|||||||||||
|
Notes |
|
 (0005978)John Havlicek (manager) 2008-02-12 20:40 |
2008-02-11: Passed by e-mail vote, 5y/0n/4a. There were friendly amendments. Friendly amendments approved by voice vote on 2008-02-12, 8y/0n/0a. |
|
(0006101) John Havlicek (manager) 2008-02-26 11:39 edited on: 2008-02-26 11:43 |
2008-02-26: Voice vote to approve checkerinloop_080225es.pdf, 9y/0n/0a. This version addresses feedback from Champions. |
 (0006585)Neil Korpusik (administrator) 2008-04-22 14:19 |
This proposal is under review by the sv-sc |
|
(0006593) Neil Korpusik (administrator) 2008-04-23 11:09 |
Moving to the sv-sc. |
 (0007250)Erik_Seligman (developer) 2008-07-22 15:11 |
SV-SC voted to close in email vote ending 2008-07-21. Feature is now incorporated into 1900. 7y/0n/0ea/6ia (ea = explicit abstain, ia = implied abstain by not sending email) |
|
(0007340) Neil Korpusik (administrator) 2008-08-18 16:42 |
The resolution of "duplicate" was unanimously approved by the Champions in the August 7th, 2008 conference call. |
|
(0007358) Neil Korpusik (administrator) 2008-08-18 18:19 |
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-15 14:42 | Erik_Seligman | New Issue | |
| 2007-10-15 14:42 | Erik_Seligman | Type | => Enhancement |
| 2007-10-16 00:57 | shalom | Issue Monitored: shalom | |
| 2007-10-16 00:58 | shalom | Relationship added | related to 0001900 |
| 2007-10-16 00:58 | shalom | Relationship added | related to 0001995 |
| 2007-11-06 05:00 | Dmitry Korchemny | Status | new => assigned |
| 2007-11-06 05:00 | Dmitry Korchemny | Assigned To | => Erik_Seligman |
| 2007-12-20 12:36 | Erik_Seligman | File Added: checkerinloop_071220es.pdf | |
| 2007-12-20 12:36 | Erik_Seligman | File Added: checkerinloop_071220es.doc | |
| 2008-01-17 09:18 | Erik_Seligman | File Deleted: checkerinloop_071220es.pdf | |
| 2008-01-17 09:19 | Erik_Seligman | File Deleted: checkerinloop_071220es.doc | |
| 2008-01-17 09:19 | Erik_Seligman | File Added: checkerinloop_080117es.pdf | |
| 2008-01-17 09:20 | Erik_Seligman | File Added: checkerinloop_080117es.doc | |
| 2008-01-21 14:30 | Erik_Seligman | File Added: checkerinloop_080121es.doc | |
| 2008-01-21 14:30 | Erik_Seligman | File Added: checkerinloop080121es.pdf | |
| 2008-02-04 08:41 | Erik_Seligman | File Added: checkerinloop_080204es.pdf | |
| 2008-02-04 08:41 | Erik_Seligman | File Added: checkerinloop_080204es.doc | |
| 2008-02-06 08:46 | Erik_Seligman | File Added: checkerinloop_080206es.pdf | |
| 2008-02-06 08:47 | Erik_Seligman | File Added: checkerinloop_080206es.doc | |
| 2008-02-11 10:00 | Erik_Seligman | File Added: checkerinloop_080211es.doc | |
| 2008-02-11 10:00 | Erik_Seligman | File Added: checkerinloop_080211es.pdf | |
| 2008-02-11 15:45 | Erik_Seligman | File Added: checkerinloop_080211esb.doc | |
| 2008-02-11 15:46 | Erik_Seligman | File Added: checkerinloop_080211esb.pdf | |
| 2008-02-12 20:40 | John Havlicek | Note Added: 0005978 | |
| 2008-02-12 20:41 | John Havlicek | Status | assigned => resolved |
| 2008-02-12 20:41 | John Havlicek | Resolution | open => fixed |
| 2008-02-25 18:04 | John Havlicek | File Added: checkerinloop_080225es.doc | |
| 2008-02-25 18:04 | John Havlicek | File Added: checkerinloop_080225es.pdf | |
| 2008-02-26 11:39 | John Havlicek | Note Added: 0006101 | |
| 2008-02-26 11:43 | John Havlicek | Note Edited: 0006101 | |
| 2008-03-25 15:17 | Dmitry Korchemny | Relationship deleted | related to 0001900 |
| 2008-03-25 15:17 | Dmitry Korchemny | Relationship added | child of 0001900 |
| 2008-03-26 05:42 | Dmitry Korchemny | Relationship deleted | child of 0001900 |
| 2008-03-26 05:43 | Dmitry Korchemny | Relationship added | related to 0001900 |
| 2008-04-22 14:19 | Neil Korpusik | Status | resolved => feedback |
| 2008-04-22 14:19 | Neil Korpusik | Resolution | fixed => reopened |
| 2008-04-22 14:19 | Neil Korpusik | Note Added: 0006585 | |
| 2008-04-23 11:09 | Neil Korpusik | Note Added: 0006593 | |
| 2008-04-23 11:09 | Neil Korpusik | Category | SV-AC => SV-SC |
| 2008-07-22 15:11 | Erik_Seligman | Note Added: 0007250 | |
| 2008-07-22 15:11 | Erik_Seligman | Duplicate ID | 0 => 1900 |
| 2008-07-22 15:11 | Erik_Seligman | Status | feedback => resolved |
| 2008-07-22 15:11 | Erik_Seligman | Resolution | reopened => duplicate |
| 2008-07-22 15:11 | Erik_Seligman | Fixed in Version | => 1800-2009 |
| 2008-08-18 16:42 | Neil Korpusik | Note Added: 0007340 | |
| 2008-08-18 18:19 | Neil Korpusik | Status | resolved => closed |
| 2008-08-18 18:19 | Neil Korpusik | Note Added: 0007358 | |
| Mantis 1.1.7[^] Copyright © 2000 - 2008 Mantis Group |  |
