| 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 | |||
| 0002088 | [SystemVerilog P1800] SV-SC | feature | 2007-10-08 17:42 | 2008-12-19 18:19 | |||
| Reporter | Tom Thatcher | View Status | public | ||||
| Assigned To | Tom Thatcher | ||||||
| Priority | normal | Resolution | fixed | ||||
| Status | closed | Product Version | P1800-2008/D3a | ||||
| Summary | 0002088: Allow Checker construct (0001900) to include covergroups | ||||||
| Description | 0001900 adds a construct called a checker to encapsulate sequences and properties. However, the current proposal does not allow a covergroup to be included inside the checker. The checker construct will not be complete, and will be of limited use if covergroups are not included. | ||||||
| Additional Information | |||||||
| Tags | No tags attached. | ||||||
| Type | Enhancement | ||||||
| Attached Files |
 2088_covergroups_b_20080221.pdf [^] (144,213 bytes) 2008-02-22 10:37 2088_covergroups_b_20080227.pdf [^] (144,546 bytes) 2008-02-27 17:40 2088_covergroups_c_20080630.pdf [^] (153,038 bytes) 2008-06-30 17:11 2088_covergroups_c_20080715.doc [^] (148,480 bytes) 2008-07-15 15:58 2088_covergroups_c_20080715.pdf [^] (152,795 bytes) 2008-07-15 15:58 2088_covergroups_c_20080729.pdf [^] (152,785 bytes) 2008-07-29 10:40 2088_covergroups_c_20080801.doc [^] (147,968 bytes) 2008-08-04 08:15 2088_covergroups_c_20080801.pdf [^] (150,547 bytes) 2008-08-04 08:15 |
||||||
|
|
|||||||
 Relationships |
||||||||||||||||
|
||||||||||||||||
|
Notes |
|
 (0005472)David C Scott (developer) 2007-12-05 16:40 edited on: 2007-12-05 16:40 |
I would like to request SV-EC approval for this one. |
 (0005916)John Havlicek (manager) 2008-02-05 04:35 |
2008-02-04: e-mail ballot passed, 9y/0n/0a. There were friendly amendments. |
|
(0005976) John Havlicek (manager) 2008-02-12 20:21 |
2008-02-11: Passed by e-mail vote, 7y/0n/2a. There were friendly amendments. The friendly amendments were approved by voice vote on 2008-02-12, 8y/0n/0a. |
|
(0005977) John Havlicek (manager) 2008-02-12 20:23 |
This proposal needs to be reviewed and approved by SV-EC. |
 (0006114)Tom Thatcher (developer) 2008-02-27 17:37 |
Re-opened to address feedback from sv-ec. Proposal will be revised to allow only covergroup instances within a checker. The covergroup definitions will need to occur outside the checker. |
|
(0006117) John Havlicek (manager) 2008-02-28 05:46 |
2008-02-07: e-mail ballot passed, 7y/0n/2a. There was one minor friendly amendment. |
|
(0006123) John Havlicek (manager) 2008-02-28 08:58 |
2008-02-28: Voice vote 7y/0n/0a to approve friendly amendment font change. |
 (0006583)Neil Korpusik (administrator) 2008-04-22 14:16 |
This proposal is under review by the sv-sc |
|
(0006591) Neil Korpusik (administrator) 2008-04-23 11:07 |
Moving to the sv-sc. |
 (0007256)Erik_Seligman (developer) 2008-07-23 09:37 |
Passed by voice vote at SV-SC meeting 2008-07-22, conditional on Tom reviewing p.3 example with two identical bins after return from vacation: did he intend this legal but odd case to illustrate something subtle, or should we replace it with a more typical case of disjoint bins? 8y/0n/4a Abstain: - Gordon based on email vote, likely to be substantive user-based issues resulting in implementation divergence. Risk factors are too high. Addresses current user needs, but will have future changes. - Steven based on same issues as Gord and hasn’t reviewed the proposal. - Mirek: No expertise in cover groups. - Manisha: Agrees with Gordon |
 (0007269)shalom (manager) 2008-07-29 10:41 |
Uploaded new version from Tom Thatcher according to http://www.eda-stds.org/sv-sc/hm/0654.html [^] |
|
(0007279) Neil Korpusik (administrator) 2008-08-01 18:26 |
The proposal was sent back to the SV-SC by the Champions in the July 31st, 2008 conference call. - Email from John before the meeting: I don't understand the rationale for the restriction that the covergroup event cannot reference a checker variable. Couldn't this effect be achieved by created code in the checker that is sensitive to the checker variable and then using an active triggering mechanism (e.g., "->cg_event")? Perhaps there are more restrictions in other checker proposals that forbid this kind of code. Technical Issue: --------------- Are checker variables allowed in an event expression for procedures within checkers? The restriction on page 3 could possibly be worked around, which raises a question about the restriction. There seems to be an inconsistency. Either 2088 or 1900 should be revised to address this. Editorial issues: ---------------- - p3 bottom, also on p4, two places, the first line of the example, there is a missing ';' - p4, first paragraph, 3rd line, "non-blocking" --> "nonblocking" |
|
(0007287) Tom Thatcher (developer) 2008-08-04 08:17 |
I have removed the restriction that checker variables may not appear in the covergroup sampling event. This restriction is no longer needed anyway. I have also fixed the editorial issues. |
|
(0007295) Erik_Seligman (developer) 2008-08-05 09:33 |
SV-SC approved latest edit in 2008-08-05 mtg. 9y/0n/0a. |
|
(0007354) Neil Korpusik (administrator) 2008-08-18 17:22 |
Results of the Champion's email vote which ran for 6 days, ending on Wednesday, August 13th (7pm PST). 2. 2088 "Conditionally" approve the proposal - motion passed (5y,0n,0a) Note: 0002088 is a set of changes on top of 0001900. This vote is to "conditionally approve" 2088. 0002088 will pass, only if 2088 "conditionally" passes in this email vote and mantis 1900 ends up passing. The reason for doing this is to get out on the table any issues that the Champions have with 2088. |
|
(0007404) Neil Korpusik (administrator) 2008-08-28 09:28 |
The proposal was approved by the Working Group in the continuation of the August 14, 2008 conference call, which was held on August 28, 2008. There was one Opposed and one Abstain. Opposed: Dennis (Mentor) Abstain: Jim (Cadence) In favor: Sun, Intel, Synopsys |
 (0007498)Stuart Sutherland (manager) 2008-09-11 01:25 |
The change proposal was implemented in draft 7. |
|
(0007790) Neil Korpusik (administrator) 2008-12-19 18:19 |
I verified that the proposal was added correctly to 1800-2009 draft 7. Changing the status to closed. |
|
Issue History |
|||
| Date Modified | Username | Field | Change |
| 2007-10-08 17:42 | Tom Thatcher | New Issue | |
| 2007-10-08 17:42 | Tom Thatcher | Type | => Enhancement |
| 2007-10-09 01:57 | shalom | Relationship added | related to 0001900 |
| 2007-10-09 01:57 | shalom | Relationship added | related to 0002089 |
| 2007-10-09 01:57 | shalom | Issue Monitored: shalom | |
| 2007-10-09 03:17 | Erik_Seligman | Status | new => assigned |
| 2007-10-09 03:17 | Erik_Seligman | Assigned To | => Erik_Seligman |
| 2007-10-09 03:18 | Erik_Seligman | Issue Monitored: Erik_Seligman | |
| 2007-11-27 09:47 | Tom Thatcher | Assigned To | Erik_Seligman => Tom Thatcher |
| 2007-11-29 09:18 | Tom Thatcher | File Added: 2088_covergroups_20071129.pdf | |
| 2007-11-29 09:33 | Tom Thatcher | File Deleted: 2088_covergroups_20071129.pdf | |
| 2007-11-29 09:33 | Tom Thatcher | File Added: 2088_covergroups_20071129.pdf | |
| 2007-11-29 09:40 | Tom Thatcher | File Deleted: 2088_covergroups_20071129.pdf | |
| 2007-11-29 09:41 | Tom Thatcher | File Added: 2088_covergroups_20071129.pdf | |
| 2007-11-30 09:17 | Tom Thatcher | File Added: 2088_covergroups_20071130.pdf | |
| 2007-11-30 09:17 | Tom Thatcher | File Deleted: 2088_covergroups_20071129.pdf | |
| 2007-11-30 10:04 | Tom Thatcher | File Deleted: 2088_covergroups_20071130.pdf | |
| 2007-11-30 10:04 | Tom Thatcher | File Added: 2088_covergroups_20071130.pdf | |
| 2007-12-05 14:11 | Tom Thatcher | File Added: 2088_covergroups_20071205.pdf | |
| 2007-12-05 16:40 | David C Scott | Note Added: 0005472 | |
| 2007-12-05 16:40 | David C Scott | Issue Monitored: David C Scott | |
| 2007-12-18 14:01 | Tom Thatcher | File Added: 2088_covergroups_20071218.pdf | |
| 2008-01-08 17:23 | Tom Thatcher | File Added: 2088_covergroups_20080108.pdf | |
| 2008-01-10 18:05 | Tom Thatcher | File Deleted: 2088_covergroups_20071130.pdf | |
| 2008-01-10 18:05 | Tom Thatcher | File Deleted: 2088_covergroups_20071205.pdf | |
| 2008-01-10 18:06 | Tom Thatcher | File Added: 2088_covergroups_20080110.pdf | |
| 2008-01-14 16:08 | Tom Thatcher | File Added: 2088_covergroups_20080114.pdf | |
| 2008-01-28 17:58 | Tom Thatcher | File Added: 2088_covergroups_20080128.pdf | |
| 2008-01-29 10:08 | Tom Thatcher | File Added: 2088_covergroups_20080129.pdf | |
| 2008-02-05 04:35 | John Havlicek | Note Added: 0005916 | |
| 2008-02-05 10:42 | Tom Thatcher | File Added: 2088_covergroups_20080205.pdf | |
| 2008-02-06 08:52 | Tom Thatcher | File Added: 2088_covergroups_20080206.pdf | |
| 2008-02-11 10:18 | Tom Thatcher | Relationship added | related to 0002149 |
| 2008-02-11 10:19 | Tom Thatcher | File Added: 2088_covergroups_20080211.pdf | |
| 2008-02-12 20:21 | John Havlicek | Note Added: 0005976 | |
| 2008-02-12 20:22 | John Havlicek | Status | assigned => resolved |
| 2008-02-12 20:22 | John Havlicek | Resolution | open => fixed |
| 2008-02-12 20:23 | John Havlicek | Note Added: 0005977 | |
| 2008-02-22 10:37 | John Havlicek | File Added: 2088_covergroups_b_20080221.pdf | |
| 2008-02-27 17:37 | Tom Thatcher | Status | resolved => feedback |
| 2008-02-27 17:37 | Tom Thatcher | Resolution | fixed => reopened |
| 2008-02-27 17:37 | Tom Thatcher | Note Added: 0006114 | |
| 2008-02-27 17:40 | Tom Thatcher | File Added: 2088_covergroups_b_20080227.pdf | |
| 2008-02-27 17:41 | Tom Thatcher | File Deleted: 2088_covergroups_20071218.pdf | |
| 2008-02-27 17:41 | Tom Thatcher | File Deleted: 2088_covergroups_20080108.pdf | |
| 2008-02-27 17:41 | Tom Thatcher | File Deleted: 2088_covergroups_20080110.pdf | |
| 2008-02-28 05:46 | John Havlicek | Note Added: 0006117 | |
| 2008-02-28 08:58 | John Havlicek | Note Added: 0006123 | |
| 2008-02-28 08:59 | John Havlicek | Status | feedback => resolved |
| 2008-02-28 08:59 | John Havlicek | Resolution | reopened => fixed |
| 2008-03-25 14:58 | Dmitry Korchemny | Relationship deleted | related to 0001900 |
| 2008-03-25 15:01 | Dmitry Korchemny | Relationship added | child of 0001900 |
| 2008-03-26 04:22 | Dmitry Korchemny | Relationship deleted | child of 0001900 |
| 2008-03-26 04:24 | Dmitry Korchemny | Relationship added | related to 0001900 |
| 2008-04-22 14:16 | Neil Korpusik | Status | resolved => feedback |
| 2008-04-22 14:16 | Neil Korpusik | Resolution | fixed => reopened |
| 2008-04-22 14:16 | Neil Korpusik | Note Added: 0006583 | |
| 2008-04-23 11:07 | Neil Korpusik | Note Added: 0006591 | |
| 2008-04-23 11:07 | Neil Korpusik | Category | SV-AC => SV-SC |
| 2008-06-30 17:11 | Tom Thatcher | File Added: 2088_covergroups_c_20080630.pdf | |
| 2008-07-15 15:56 | Tom Thatcher | File Deleted: 2088_covergroups_20080114.pdf | |
| 2008-07-15 15:56 | Tom Thatcher | File Deleted: 2088_covergroups_20080128.pdf | |
| 2008-07-15 15:56 | Tom Thatcher | File Deleted: 2088_covergroups_20080129.pdf | |
| 2008-07-15 15:56 | Tom Thatcher | File Deleted: 2088_covergroups_20080205.pdf | |
| 2008-07-15 15:56 | Tom Thatcher | File Deleted: 2088_covergroups_20080206.pdf | |
| 2008-07-15 15:57 | Tom Thatcher | File Deleted: 2088_covergroups_20080211.pdf | |
| 2008-07-15 15:58 | Tom Thatcher | File Added: 2088_covergroups_c_20080715.doc | |
| 2008-07-15 15:58 | Tom Thatcher | File Added: 2088_covergroups_c_20080715.pdf | |
| 2008-07-23 09:37 | Erik_Seligman | Note Added: 0007256 | |
| 2008-07-23 09:37 | Erik_Seligman | Status | feedback => resolved |
| 2008-07-23 09:37 | Erik_Seligman | Resolution | reopened => fixed |
| 2008-07-23 09:37 | Erik_Seligman | Fixed in Version | => 1800-2009 |
| 2008-07-29 10:40 | shalom | File Added: 2088_covergroups_c_20080729.pdf | |
| 2008-07-29 10:41 | shalom | Note Added: 0007269 | |
| 2008-08-01 18:26 | Neil Korpusik | Status | resolved => feedback |
| 2008-08-01 18:26 | Neil Korpusik | Resolution | fixed => reopened |
| 2008-08-01 18:26 | Neil Korpusik | Note Added: 0007279 | |
| 2008-08-04 08:15 | Tom Thatcher | File Added: 2088_covergroups_c_20080801.doc | |
| 2008-08-04 08:15 | Tom Thatcher | File Added: 2088_covergroups_c_20080801.pdf | |
| 2008-08-04 08:17 | Tom Thatcher | Note Added: 0007287 | |
| 2008-08-05 09:33 | Erik_Seligman | Note Added: 0007295 | |
| 2008-08-05 09:33 | Erik_Seligman | Status | feedback => resolved |
| 2008-08-05 09:33 | Erik_Seligman | Resolution | reopened => fixed |
| 2008-08-18 17:22 | Neil Korpusik | Note Added: 0007354 | |
| 2008-08-28 09:28 | Neil Korpusik | Note Added: 0007404 | |
| 2008-08-28 09:28 | Neil Korpusik | Status | resolved => approved |
| 2008-09-11 01:25 | Stuart Sutherland | Status | approved => completed |
| 2008-09-11 01:25 | Stuart Sutherland | Fixed in Version | 1800-2009 => P1800-2009/D7 |
| 2008-09-11 01:25 | Stuart Sutherland | Note Added: 0007498 | |
| 2008-12-19 18:19 | Neil Korpusik | Status | completed => closed |
| 2008-12-19 18:19 | Neil Korpusik | Note Added: 0007790 | |
| Mantis 1.1.7[^] Copyright © 2000 - 2008 Mantis Group |  |
