| 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 | |||
| 0002516 | [SystemVerilog P1800] SV-AC | major | 2008-11-05 08:39 | 2009-07-09 08:11 | |||
| Reporter | Erik_Seligman | View Status | public | ||||
| Assigned To | Erik_Seligman | ||||||
| Priority | high | Resolution | fixed | ||||
| Status | closed | Product Version | P1800-2009/D7a | ||||
| Summary | 0002516: Another contradiction of existing text with 2398 needs to be fixed | ||||||
| Description | Dmitry spotted the fact that our text states a restriction that any assertion in a procedural block needs to have a clock that matches the inferred clocking event. But 2398 explicitly specifies rules and an example for when such an assertion does not match its inferred clocking event, so we need to relax this restriction. | ||||||
| Additional Information | This is P1800 2009 ballot issue #100. | ||||||
| Tags | No tags attached. | ||||||
| Type | Errata | ||||||
| Attached Files |
 clocking_fix_es090415.doc [^] (26,112 bytes) 2009-04-15 09:32 clocking_fix_es090415.pdf [^] (15,432 bytes) 2009-04-15 09:32 |
||||||
|
|
|||||||
 Relationships |
||||||
|
||||||
|
Notes |
|
 (0007711)Erik_Seligman (developer) 2008-12-02 09:34 |
Straw poll passed: 4y/0n. So we will pursue this as a ballot issue. |
 (0007893)shalom (manager) 2009-03-01 02:04 |
In this proposal, there is a comment that is deleted from a2, and a new comment added. The comment needs to be in blue, not in black, otherwise the editor will miss it. |
|
(0008029) Erik_Seligman (developer) 2009-04-15 09:51 |
I uploaded a new version with the color fix suggested by Shalom. It should be ready for a voice vote at tomorrow's (4/16) SV-AC meeting. |
 (0008043)Dmitry Korchemny (manager) 2009-04-20 11:35 |
Approved by voice vote 2009-04-20 6y/0a/0n |
 (0008267)Neil Korpusik (administrator) 2009-05-16 19:22 |
The proposal was unanimously approved by the Champions in the email vote that ended on May 14th, 2009. |
|
(0008395) Neil Korpusik (administrator) 2009-06-01 10:05 |
The proposal was unanimously approved by the Working Group in the conference call of May 28, 2009. |
 (0008602)Stuart Sutherland (manager) 2009-06-24 21:26 |
Requested changes completed in draft 9. |
|
(0008878) Dmitry Korchemny (manager) 2009-07-09 08:11 |
Reviewed by SV-AC. |
|
Issue History |
|||
| Date Modified | Username | Field | Change |
| 2008-11-05 08:39 | Erik_Seligman | New Issue | |
| 2008-11-05 08:39 | Erik_Seligman | File Added: clocking_fix_es081105.pdf | |
| 2008-11-05 08:39 | Erik_Seligman | Type | => Errata |
| 2008-11-05 08:40 | Erik_Seligman | File Added: clocking_fix_es081105.doc | |
| 2008-11-05 19:22 | shalom | Issue Monitored: shalom | |
| 2008-11-05 19:22 | shalom | Relationship added | related to 0002398 |
| 2008-11-12 07:28 | Erik_Seligman | File Added: clocking_fix_es081112.doc | |
| 2008-11-12 07:28 | Erik_Seligman | File Added: clocking_fix_es081112.pdf | |
| 2008-11-12 07:28 | Erik_Seligman | File Deleted: clocking_fix_es081105.pdf | |
| 2008-11-12 07:28 | Erik_Seligman | File Deleted: clocking_fix_es081105.doc | |
| 2008-12-02 09:34 | Erik_Seligman | Note Added: 0007711 | |
| 2009-03-01 02:04 | shalom | Note Added: 0007893 | |
| 2009-04-07 07:28 | Dmitry Korchemny | Additional Information Updated | |
| 2009-04-13 12:42 | Dmitry Korchemny | Status | new => assigned |
| 2009-04-13 12:42 | Dmitry Korchemny | Assigned To | => Erik_Seligman |
| 2009-04-13 12:43 | Dmitry Korchemny | Category | SV-SC => SV-AC |
| 2009-04-15 09:31 | Erik_Seligman | File Deleted: clocking_fix_es081112.doc | |
| 2009-04-15 09:31 | Erik_Seligman | File Deleted: clocking_fix_es081112.pdf | |
| 2009-04-15 09:32 | Erik_Seligman | File Added: clocking_fix_es090415.doc | |
| 2009-04-15 09:32 | Erik_Seligman | File Added: clocking_fix_es090415.pdf | |
| 2009-04-15 09:51 | Erik_Seligman | Note Added: 0008029 | |
| 2009-04-15 10:33 | Erik_Seligman | Issue Monitored: Erik_Seligman | |
| 2009-04-20 11:35 | Dmitry Korchemny | Note Added: 0008043 | |
| 2009-04-20 11:35 | Dmitry Korchemny | Status | assigned => resolved |
| 2009-04-20 11:35 | Dmitry Korchemny | Resolution | open => fixed |
| 2009-05-16 19:22 | Neil Korpusik | Note Added: 0008267 | |
| 2009-06-01 10:05 | Neil Korpusik | Note Added: 0008395 | |
| 2009-06-01 10:05 | Neil Korpusik | Status | resolved => approved |
| 2009-06-24 21:26 | Stuart Sutherland | Note Added: 0008602 | |
| 2009-06-24 21:26 | Stuart Sutherland | Status | approved => completed |
| 2009-06-24 21:26 | Stuart Sutherland | Fixed in Version | => P1800-2009/D9 Recirc |
| 2009-07-09 08:07 | Dmitry Korchemny | Status | completed => closed |
| 2009-07-09 08:11 | Dmitry Korchemny | Note Added: 0008878 | |
| Mantis 1.1.7[^] Copyright © 2000 - 2008 Mantis Group |  |
