| Anonymous | Login | 2010-09-08 23:56 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 | |||
| 0002173 | [SystemVerilog P1800] SV-AC | feature | 2007-11-05 08:22 | 2008-12-03 04:35 | |||
| Reporter | John Havlicek | View Status | public | ||||
| Assigned To | Yaniv Fais | ||||||
| Priority | normal | Resolution | fixed | ||||
| Status | closed | Product Version | |||||
| Summary | 0002173: Add case construct for properties. | ||||||
| Description | Users have asked for the case construct to be made available at both the sequence and property levels. Overloading the syntax should be possible in the same way that it has been done for "and" and "or". Due to time constraints, this proposal is limited to adding case for properties. | ||||||
| Additional Information | |||||||
| Tags | No tags attached. | ||||||
| Type | Enhancement | ||||||
| Attached Files |
 2173_prop_case_080212_yf.pdf [^] (30,312 bytes) 2008-02-12 07:51 2173_prop_case_080212_yf.doc [^] (124,416 bytes) 2008-02-12 07:54 2173_prop_case_080219_yf.doc [^] (282,112 bytes) 2008-02-20 03:09 2173_prop_case_080219_yf.pdf [^] (43,535 bytes) 2008-02-20 03:10 2173_prop_case_080224_yf.doc [^] (300,544 bytes) 2008-02-25 05:44 2173_prop_case_080224_yf.pdf [^] (53,386 bytes) 2008-02-25 05:48 2173_prop_case_080226_yf.doc [^] (296,448 bytes) 2008-02-26 08:54 2173_prop_case_080226_yf.pdf [^] (53,450 bytes) 2008-02-26 08:54 2173_prop_case_080312_yf.pdf [^] (55,693 bytes) 2008-03-13 04:22 2173_prop_case_080318_yf.doc [^] (123,392 bytes) 2008-03-18 10:14 2173_prop_case_080318_yf.pdf [^] (37,228 bytes) 2008-03-18 10:14 2173_prop_case_08_jun_23_yf.doc [^] (129,024 bytes) 2008-06-23 10:58 2173_prop_case_08_jun_23_yf.pdf [^] (38,997 bytes) 2008-06-23 10:59 2173_prop_case_08_jun_29_yf.doc [^] (134,144 bytes) 2008-06-29 10:09 2173_prop_case_08_jun_29_yf.pdf [^] (39,050 bytes) 2008-06-29 10:10 2173_prop_case_08_jul_07_yf.doc [^] (135,168 bytes) 2008-07-13 23:06 2173_prop_case_08_jul_07_yf.pdf [^] (39,187 bytes) 2008-07-13 23:06 |
||||||
|
|
|||||||
 Relationships |
|||||||||||||||||||||
|
|||||||||||||||||||||
|
Notes |
|
 (0006098)John Havlicek (manager) 2008-02-26 10:59 |
2008-02-25: E-mail vote failed, 7y/1n/2a. There were friendly amendments. |
|
(0006099) John Havlicek (manager) 2008-02-26 11:31 |
2008-02-26: Voice vote to approve proposal and friendly amendments, 7y/1n/0a. MK voted no: The reason is that I do not think it adds any critical functionality. The friendly amendments were implemented in 2173_prop_case_080226_yf.pdf. |
|
(0006280) John Havlicek (manager) 2008-03-13 04:25 |
I proactively uploaded the revision 2173_prop_case_080312_yf.pdf to facilitate review. This version has not been approved by SV-AC. The currently approved version is 2173_prop_case_080226_yf.pdf. |
 (0006325)Dmitry Korchemny (manager) 2008-03-20 07:31 |
2008-03-20: Voice vote 5y/0n/0a |
 (0006609)Neil Korpusik (administrator) 2008-04-25 18:01 |
The proposal was sent back to the SV-BC by the Champions in the April 24th, 2008 conference call. There may be some issues with side-effects. For example, case expressions as constants. There are a lot of pieces of functionality that go along with a case statement. Move: Dave - send 0002173 to the sv-bc for review Second: Shalom Abstain: Stu, Brad - not necessary Passed with 2 abstains (5 in favor) |
 (0006906)mmaidment (manager) 2008-05-28 10:00 |
During the May 12, SV-BC meeting this proposal was reviewed. Issues were raised including: BNF appears to have problems between property_statement and property_expr 'if' is not in bold/courier font in Annex F changes. Likely should be. Does expression sizing follow same rules as case statement? Likely not stated in use with rand sequence (17.17.3 in Draft). SV-BC suggests that Yaniv work with someone from SV-BC to refine the semantics. |
|
(0007137) Dmitry Korchemny (manager) 2008-06-30 12:32 |
The verrsion aligned with Draft6, updated according to SV-BC feedback. Passed by voice vote 2008-06-30: 5y/0n/0a |
 (0007173)Brad Pierce (developer) 2008-07-07 11:10 |
At SV-BC meeting of July 07, 2008, the following was resolved in follow-up to http://www.eda.org/sv-bc/hm/8765.html [^] Cliff friendly amendment: In example and text that refers to it, replace keyword 'wait' with a nonreserved identifier. Gord moves to approve with Cliff's friendly amendment. Shalom seconds. No opposed. Steven abstains because of insufficient time to fully review proposal. Motion passes. |
|
(0007218) Neil Korpusik (administrator) 2008-07-15 18:15 |
The proposal was unanimously approved by the Champions in the July 10th, 2008 conference call with the following friendly amendments. -- Change 'wait' to 'delay' in the example. -- The proposal needs to be updated on mantis before going to the working group. Neil confirmed that this friendly amendment was implemented in the proposal uploaded on July 13. |
|
(0007376) Neil Korpusik (administrator) 2008-08-18 18:38 |
The proposal was unanimously approved by the Working Group in the conference call of August 14, 2008. |
 (0007478)Stuart Sutherland (manager) 2008-09-06 23:58 |
The change proposal was implemented in draft 7. |
|
(0007541) John Havlicek (manager) 2008-09-20 14:11 |
Draft 7 Review: 2173 . In Syntax 16-16 and Annex A.2.10, RHS of production for property_declaration, there should be no red ";" following property_statement_spec. . 16.13.16, the horizontal line at the top of Syntax 16-19 is missing. . F.3.4.6, the sentence beginning "Where specify(b) is ..." needs to apply to all the items with case property statements. The proposal shows this text shifted to the left. I think it will be better to put this text before the items with case property statements and change the wording to "Let specify(b) be ...". |
|
(0007575) Stuart Sutherland (manager) 2008-10-01 19:55 |
The changes requested in bug note 7541 were implemented in draft 7a. |
|
(0007731) Dmitry Korchemny (manager) 2008-12-03 04:35 |
Reviewed by Yaniv. |
|
Issue History |
|||
| Date Modified | Username | Field | Change |
| 2007-11-05 08:22 | John Havlicek | New Issue | |
| 2007-11-05 08:22 | John Havlicek | Type | => Enhancement |
| 2007-11-05 22:37 | shalom | Issue Monitored: shalom | |
| 2008-02-05 08:08 | Yaniv Fais | File Added: 2173_prop_case_080205yf.doc | |
| 2008-02-05 09:41 | Yaniv Fais | File Added: 2173_prop_case_080205a_yf.doc | |
| 2008-02-05 09:42 | Yaniv Fais | File Deleted: 2173_prop_case_080205yf.doc | |
| 2008-02-11 05:50 | John Havlicek | Assigned To | => Yaniv Fais |
| 2008-02-11 05:50 | John Havlicek | Status | new => assigned |
| 2008-02-12 07:51 | Yaniv Fais | File Added: 2173_prop_case_080212_yf.pdf | |
| 2008-02-12 07:52 | Yaniv Fais | File Deleted: 2173_prop_case_080205a_yf.doc | |
| 2008-02-12 07:54 | Yaniv Fais | File Added: 2173_prop_case_080212_yf.doc | |
| 2008-02-14 00:15 | Yaniv Fais | File Added: 2173_prop_case_080213_yf.doc | |
| 2008-02-14 00:16 | Yaniv Fais | File Added: 2173_prop_case_080213_yf.pdf | |
| 2008-02-19 10:28 | Yaniv Fais | File Deleted: 2173_prop_case_080213_yf.pdf | |
| 2008-02-19 10:28 | Yaniv Fais | File Deleted: 2173_prop_case_080213_yf.doc | |
| 2008-02-20 03:09 | Yaniv Fais | File Added: 2173_prop_case_080219_yf.doc | |
| 2008-02-20 03:10 | Yaniv Fais | File Added: 2173_prop_case_080219_yf.pdf | |
| 2008-02-25 05:44 | Yaniv Fais | File Added: 2173_prop_case_080224_yf.doc | |
| 2008-02-25 05:48 | Yaniv Fais | File Added: 2173_prop_case_080224_yf.pdf | |
| 2008-02-26 08:44 | Yaniv Fais | File Added: 2173_prop_case_080226_yf.doc | |
| 2008-02-26 08:47 | Yaniv Fais | File Added: 2173_prop_case_080226_yf.pdf | |
| 2008-02-26 08:53 | Yaniv Fais | File Deleted: 2173_prop_case_080226_yf.doc | |
| 2008-02-26 08:53 | Yaniv Fais | File Deleted: 2173_prop_case_080226_yf.pdf | |
| 2008-02-26 08:54 | Yaniv Fais | File Added: 2173_prop_case_080226_yf.doc | |
| 2008-02-26 08:54 | Yaniv Fais | File Added: 2173_prop_case_080226_yf.pdf | |
| 2008-02-26 10:59 | John Havlicek | Note Added: 0006098 | |
| 2008-02-26 11:08 | John Havlicek | Summary | Add case construct for sequences and properties. => Add case construct for properties. |
| 2008-02-26 11:08 | John Havlicek | Description Updated | |
| 2008-02-26 11:31 | John Havlicek | Note Added: 0006099 | |
| 2008-02-26 11:32 | John Havlicek | Status | assigned => resolved |
| 2008-02-26 11:32 | John Havlicek | Resolution | open => fixed |
| 2008-03-13 04:22 | John Havlicek | File Added: 2173_prop_case_080312_yf.pdf | |
| 2008-03-13 04:22 | John Havlicek | Relationship added | related to 0001932 |
| 2008-03-13 04:25 | John Havlicek | Note Added: 0006280 | |
| 2008-03-18 09:43 | Yaniv Fais | Status | resolved => feedback |
| 2008-03-18 09:43 | Yaniv Fais | Resolution | fixed => reopened |
| 2008-03-18 09:59 | Yaniv Fais | Relationship added | related to 0002326 |
| 2008-03-18 10:14 | Yaniv Fais | File Added: 2173_prop_case_080318_yf.doc | |
| 2008-03-18 10:14 | Yaniv Fais | File Added: 2173_prop_case_080318_yf.pdf | |
| 2008-03-18 10:14 | Yaniv Fais | Relationship added | related to 0002327 |
| 2008-03-19 18:03 | Neil Korpusik | Relationship added | related to 0002333 |
| 2008-03-20 07:31 | Dmitry Korchemny | Note Added: 0006325 | |
| 2008-03-20 07:31 | Dmitry Korchemny | Status | feedback => resolved |
| 2008-03-20 07:31 | Dmitry Korchemny | Resolution | reopened => fixed |
| 2008-04-25 18:01 | Neil Korpusik | Note Added: 0006609 | |
| 2008-04-25 18:01 | Neil Korpusik | Status | resolved => feedback |
| 2008-04-25 18:01 | Neil Korpusik | Category | SV-AC => SV-BC |
| 2008-05-28 10:00 | mmaidment | Note Added: 0006906 | |
| 2008-06-23 10:17 | Yaniv Fais | File Added: 2173_prop_case_08_jun_03_yf.doc | |
| 2008-06-23 10:17 | Yaniv Fais | File Added: 2173_prop_case_08_jun_03_yf.pdf | |
| 2008-06-23 10:58 | Yaniv Fais | File Deleted: 2173_prop_case_08_jun_03_yf.pdf | |
| 2008-06-23 10:58 | Yaniv Fais | File Deleted: 2173_prop_case_08_jun_03_yf.doc | |
| 2008-06-23 10:58 | Yaniv Fais | File Added: 2173_prop_case_08_jun_23_yf.doc | |
| 2008-06-23 10:59 | Yaniv Fais | File Added: 2173_prop_case_08_jun_23_yf.pdf | |
| 2008-06-29 10:09 | Yaniv Fais | File Added: 2173_prop_case_08_jun_29_yf.doc | |
| 2008-06-29 10:10 | Yaniv Fais | File Added: 2173_prop_case_08_jun_29_yf.pdf | |
| 2008-06-30 12:32 | Dmitry Korchemny | Note Added: 0007137 | |
| 2008-06-30 12:32 | Dmitry Korchemny | Status | feedback => resolved |
| 2008-07-07 11:10 | Brad Pierce | Status | resolved => feedback |
| 2008-07-07 11:10 | Brad Pierce | Resolution | fixed => reopened |
| 2008-07-07 11:10 | Brad Pierce | Note Added: 0007173 | |
| 2008-07-07 11:11 | Brad Pierce | Status | feedback => resolved |
| 2008-07-07 11:11 | Brad Pierce | Category | SV-BC => SV-AC |
| 2008-07-13 23:06 | Dmitry Korchemny | File Added: 2173_prop_case_08_jul_07_yf.doc | |
| 2008-07-13 23:06 | Dmitry Korchemny | File Added: 2173_prop_case_08_jul_07_yf.pdf | |
| 2008-07-15 18:15 | Neil Korpusik | Note Added: 0007218 | |
| 2008-08-18 18:38 | Neil Korpusik | Note Added: 0007376 | |
| 2008-08-18 18:38 | Neil Korpusik | Status | resolved => approved |
| 2008-08-18 18:38 | Neil Korpusik | Resolution | reopened => fixed |
| 2008-09-06 23:58 | Stuart Sutherland | Status | approved => completed |
| 2008-09-06 23:58 | Stuart Sutherland | Fixed in Version | => P1800-2009/D7 |
| 2008-09-06 23:58 | Stuart Sutherland | Note Added: 0007478 | |
| 2008-09-20 14:11 | John Havlicek | Note Added: 0007541 | |
| 2008-09-20 14:12 | John Havlicek | Status | completed => editor |
| 2008-10-01 19:55 | Stuart Sutherland | Status | editor => completed |
| 2008-10-01 19:55 | Stuart Sutherland | Note Added: 0007575 | |
| 2008-12-03 04:35 | Dmitry Korchemny | Status | completed => closed |
| 2008-12-03 04:35 | Dmitry Korchemny | Note Added: 0007731 | |
| 2008-12-03 04:35 | Dmitry Korchemny | Fixed in Version | P1800-2009/D7 => P1800-2009/D7a |
| Mantis 1.1.7[^] Copyright © 2000 - 2008 Mantis Group |  |
