| 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 | |||
| 0002415 | [SystemVerilog P1800] SV-SC | minor | 2008-06-17 11:59 | 2008-12-19 18:36 | |||
| Reporter | Dmitry Korchemny | View Status | public | ||||
| Assigned To | Dmitry Korchemny | ||||||
| Priority | normal | Resolution | fixed | ||||
| Status | closed | Product Version | |||||
| Summary | 0002415: Allow using .triggered methods in sequences | ||||||
| Description | Currently .ended should be used in sequences, while .triggered should be used in all other contexts. This is not intuitive and is especially problematic in checkers. The current suggestion is to use .triggered method for all purposes and make .ended method deprecated. | ||||||
| Additional Information | |||||||
| Tags | No tags attached. | ||||||
| Type | Enhancement | ||||||
| Attached Files |
 2415Triggered_080629_dk.doc [^] (144,384 bytes) 2008-06-29 07:58 2415Triggered_080629_dk.pdf [^] (185,006 bytes) 2008-07-06 04:22 2415Triggered_080709_dk.doc [^] (137,728 bytes) 2008-07-09 02:21 2415Triggered_080709_dk.pdf [^] (183,990 bytes) 2008-07-09 02:21 2415Triggered_080709_es.doc [^] (126,464 bytes) 2008-07-29 08:15 2415Triggered_080709_es.pdf [^] (81,541 bytes) 2008-07-29 08:16 |
||||||
|
|
|||||||
 Relationships |
||||||
|
||||||
|
Notes |
|
 (0007229)Erik_Seligman (developer) 2008-07-16 13:44 |
Passed in SV-SC vote closing 2008-07-16, 10y/0n/3a. |
 (0007265)Neil Korpusik (administrator) 2008-07-25 15:00 |
The proposal was unanimously approved by the Champions in the July 24th, 2008 conference call with the following friendly amendments. from A sequence treats its formal argument as a local variable if the formal argument is used as an lvalue in operator_assignment or inc_or_dec_expression in sequence_match_item. to A sequence treats its formal argument as a local variable if the formal argument is a local variable argument or the formal argument is used as an lvalue in an operator_assignment or an inc_or_dec_expression in a sequence_match_item. This restriction could also be reviewed for relaxation if the actuals involve only statics. |
|
(0007274) Erik_Seligman (developer) 2008-08-01 11:25 |
At SV-SC meeting, voice vote approved Erik's one-sentence edit to implement the friendly amendment from the Champions. 11y/0n/0a |
|
(0007368) Neil Korpusik (administrator) 2008-08-18 18:31 |
The proposal was unanimously approved by the Working Group in the conference call of August 14, 2008. |
 (0007489)Stuart Sutherland (manager) 2008-09-08 21:54 |
The change proposal was implemented in draft 7. |
|
(0007791) Neil Korpusik (administrator) 2008-12-19 18:36 |
I verified that the proposal was correctly added to 1800-2009 draft 7. Changing the status to closed. |
|
Issue History |
|||
| Date Modified | Username | Field | Change |
| 2008-06-17 11:59 | Dmitry Korchemny | New Issue | |
| 2008-06-17 11:59 | Dmitry Korchemny | Type | => Enhancement |
| 2008-06-17 12:55 | shalom | Issue Monitored: shalom | |
| 2008-06-24 06:10 | Dmitry Korchemny | Status | new => assigned |
| 2008-06-24 06:10 | Dmitry Korchemny | Assigned To | => Dmitry Korchemny |
| 2008-06-24 06:11 | Dmitry Korchemny | File Added: 2415Triggered_080617_dk.doc | |
| 2008-06-24 06:11 | Dmitry Korchemny | File Added: 2415Triggered_080617_dk.pdf | |
| 2008-06-29 07:58 | Dmitry Korchemny | File Added: 2415Triggered_080629_dk.doc | |
| 2008-07-06 04:22 | Dmitry Korchemny | File Added: 2415Triggered_080629_dk.pdf | |
| 2008-07-09 02:20 | Dmitry Korchemny | File Deleted: 2415Triggered_080617_dk.doc | |
| 2008-07-09 02:20 | Dmitry Korchemny | File Deleted: 2415Triggered_080617_dk.pdf | |
| 2008-07-09 02:21 | Dmitry Korchemny | File Added: 2415Triggered_080709_dk.doc | |
| 2008-07-09 02:21 | Dmitry Korchemny | File Added: 2415Triggered_080709_dk.pdf | |
| 2008-07-09 10:16 | Neil Korpusik | Relationship added | related to 0002411 |
| 2008-07-16 13:44 | Erik_Seligman | Note Added: 0007229 | |
| 2008-07-16 13:44 | Erik_Seligman | Status | assigned => resolved |
| 2008-07-16 13:44 | Erik_Seligman | Resolution | open => fixed |
| 2008-07-25 15:00 | Neil Korpusik | Status | resolved => feedback |
| 2008-07-25 15:00 | Neil Korpusik | Resolution | fixed => reopened |
| 2008-07-25 15:00 | Neil Korpusik | Note Added: 0007265 | |
| 2008-07-29 08:15 | Erik_Seligman | File Added: 2415Triggered_080709_es.doc | |
| 2008-07-29 08:16 | Erik_Seligman | File Added: 2415Triggered_080709_es.pdf | |
| 2008-08-01 11:25 | Erik_Seligman | Note Added: 0007274 | |
| 2008-08-01 11:25 | Erik_Seligman | Status | feedback => resolved |
| 2008-08-01 11:25 | Erik_Seligman | Resolution | reopened => fixed |
| 2008-08-01 11:25 | Erik_Seligman | Fixed in Version | => 1800-2009 |
| 2008-08-18 18:31 | Neil Korpusik | Note Added: 0007368 | |
| 2008-08-18 18:31 | Neil Korpusik | Status | resolved => approved |
| 2008-09-08 21:54 | Stuart Sutherland | Status | approved => completed |
| 2008-09-08 21:54 | Stuart Sutherland | Fixed in Version | 1800-2009 => P1800-2009/D7 |
| 2008-09-08 21:54 | Stuart Sutherland | Note Added: 0007489 | |
| 2008-12-19 18:36 | Neil Korpusik | Status | completed => closed |
| 2008-12-19 18:36 | Neil Korpusik | Note Added: 0007791 | |
| Mantis 1.1.7[^] Copyright © 2000 - 2008 Mantis Group |  |
