| 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 | |||
| 0002513 | [SystemVerilog P1800] SV-BC | major | 2008-11-03 14:43 | 2009-07-01 22:01 | |||
| Reporter | Erik_Seligman | View Status | public | ||||
| Assigned To | Dmitry Korchemny | ||||||
| Priority | immediate | Resolution | fixed | ||||
| Status | closed | Product Version | P1800-2009/D8 Ballot | ||||
| Summary | 0002513: Ballot comment #142: BNF needs fixes to allow checkers in packages | ||||||
| Description |
Due to an oversight in the implementation of proposal 1900, the BNF does not allow checkers in packages even though the text specifically allows it. Dmitry has submitted a fix to enable this. It's too late to change things other than as a ballot issue-- but we need to make this a friendly amendment on the ballot, to enable an LRM consistent with its BNF. Note that VPI fixes may also be desirable here, but are not covered in this proposal. |
||||||
| Additional Information | |||||||
| Tags | No tags attached. | ||||||
| Type | Errata | ||||||
| Attached Files |
 checkers_in_packages_081028_dk.pdf [^] (20,668 bytes) 2008-11-03 14:43 checkers_in_packages_081029_dk.docx [^] (25,563 bytes) 2008-11-03 14:43 checkers_in_packages_081104_dk.docx [^] (25,320 bytes) 2008-11-04 01:18 checkers_in_packages_081104_dk.pdf [^] (72,407 bytes) 2008-11-04 01:18 |
||||||
|
|
|||||||
 Relationships |
||||||
|
||||||
|
Notes |
|
 (0007702)Erik_Seligman (developer) 2008-11-11 07:41 |
On 2513 (http://www.verilog.org/mantis/file_download.php?file_id=3940&type=bug) [^] we received YES votes from Abi, Mirek, Dmitry, Gord, and Manisha, and no NO votes or explicit abstensions. While this doesn't quite make quorum for an official vote, I think we can consider it passing, since this was an informal vote to decide whether to push this as a ballot issue (since it's too late for real changes.) So Intel will make this a friendly amendment at balloting. |
|
(0007703) Erik_Seligman (developer) 2008-11-11 09:47 |
Ticket technically should not be Resolved, since we had a straw poll rather than a binding vote. |
 (0008000)shalom (manager) 2009-04-13 07:43 |
Ballot comment 142. Must Be Satsified? Yes What about VPI? |
 (0008030)mmaidment (manager) 2009-04-15 12:54 |
Discussion on VPI indicated that adding to VPI should be deferred to a future revision of the LRM. |
|
(0008107) mmaidment (manager) 2009-05-04 00:47 |
On April 30, 2009 the SV-BC unanimously approved the attached proposal. |
 (0008279)Neil Korpusik (administrator) 2009-05-16 19:33 |
The proposal was unanimously approved by the Champions in the email vote that ended on May 14th, 2009. |
|
(0008404) Neil Korpusik (administrator) 2009-06-01 10:11 |
The proposal was unanimously approved by the Working Group in the conference call of May 28, 2009. |
 (0008601)Stuart Sutherland (manager) 2009-06-24 21:24 |
Requested changes completed in draft 9. |
 (0008783)Brad Pierce (developer) 2009-07-01 18:09 |
Implementation is correct. |
|
Issue History |
|||
| Date Modified | Username | Field | Change |
| 2008-11-03 14:43 | Erik_Seligman | New Issue | |
| 2008-11-03 14:43 | Erik_Seligman | File Added: checkers_in_packages_081028_dk.pdf | |
| 2008-11-03 14:43 | Erik_Seligman | Type | => Errata |
| 2008-11-03 14:43 | Erik_Seligman | File Added: checkers_in_packages_081029_dk.docx | |
| 2008-11-04 00:46 | shalom | Issue Monitored: shalom | |
| 2008-11-04 01:17 | Dmitry Korchemny | Status | new => assigned |
| 2008-11-04 01:17 | Dmitry Korchemny | Assigned To | => Dmitry Korchemny |
| 2008-11-04 01:18 | Dmitry Korchemny | File Added: checkers_in_packages_081104_dk.docx | |
| 2008-11-04 01:18 | Dmitry Korchemny | File Added: checkers_in_packages_081104_dk.pdf | |
| 2008-11-11 07:41 | Erik_Seligman | Note Added: 0007702 | |
| 2008-11-11 07:41 | Erik_Seligman | Status | assigned => resolved |
| 2008-11-11 07:41 | Erik_Seligman | Resolution | open => fixed |
| 2008-11-11 07:41 | Erik_Seligman | Fixed in Version | => P1800-2009 Ballot |
| 2008-11-11 09:47 | Erik_Seligman | Status | resolved => feedback |
| 2008-11-11 09:47 | Erik_Seligman | Resolution | fixed => reopened |
| 2008-11-11 09:47 | Erik_Seligman | Note Added: 0007703 | |
| 2008-11-11 09:47 | Erik_Seligman | Status | feedback => assigned |
| 2009-04-13 03:53 | shalom | Relationship added | child of 0002685 |
| 2009-04-13 07:43 | shalom | Note Added: 0008000 | |
| 2009-04-15 12:54 | mmaidment | Note Added: 0008030 | |
| 2009-04-15 12:54 | mmaidment | Priority | urgent => immediate |
| 2009-04-15 12:54 | mmaidment | Category | SV-SC => SV-BC |
| 2009-05-04 00:47 | mmaidment | Note Added: 0008107 | |
| 2009-05-04 00:47 | mmaidment | Status | assigned => resolved |
| 2009-05-04 00:47 | mmaidment | Resolution | reopened => fixed |
| 2009-05-16 19:33 | Neil Korpusik | Note Added: 0008279 | |
| 2009-06-01 10:11 | Neil Korpusik | Note Added: 0008404 | |
| 2009-06-01 10:11 | Neil Korpusik | Status | resolved => approved |
| 2009-06-24 21:24 | Stuart Sutherland | Note Added: 0008601 | |
| 2009-06-24 21:24 | Stuart Sutherland | Status | approved => completed |
| 2009-06-24 21:24 | Stuart Sutherland | Fixed in Version | P1800-2009/D8 Ballot => P1800-2009/D9 Recirc |
| 2009-07-01 18:09 | Brad Pierce | Note Added: 0008783 | |
| 2009-07-01 18:09 | Brad Pierce | Status | completed => closed |
| 2009-07-01 22:01 | shalom | Summary | BNF needs fixes to allow checkers in packages => Ballot comment #142: BNF needs fixes to allow checkers in packages |
| Mantis 1.1.7[^] Copyright © 2000 - 2008 Mantis Group |  |
