EDA.org Mantis
Mantis Bugtracker

Viewing Issue Simple Details Jump to Notes ] Wiki ] View Advanced ] Issue History ] Print ]
ID Category Severity Date Submitted Last Update
0002182 [SystemVerilog P1800] SV-AC major 2007-11-12 05:05 2010-04-06 04:26
Reporter Dmitry Korchemny View Status public  
Assigned To Dmitry Korchemny
Priority high Resolution reopened  
Status feedback   Product Version
Summary 0002182: Elaborate VPI diagrams for checkers
Description Elaborate VPI diagrams for checkers. It makes sense to keep this task as a separate proposal.
Additional Information
Tags No tags attached.
Type Enhancement
Attached Files doc file icon 2182 checkersVPI_080122dk.doc [^] (305,664 bytes) 2008-01-22 00:55
pdf file icon 2182 checkersVPI_080122dk.pdf [^] (201,375 bytes) 2008-01-22 00:55
doc file icon 2182 checkersVPI_080210dk.doc [^] (306,176 bytes) 2008-02-18 10:30
pdf file icon 2182 checkersVPI_080210dk.pdf [^] (202,217 bytes) 2008-02-18 10:31
doc file icon 2182checkersVPI_080327es.doc [^] (506,368 bytes) 2008-04-02 03:12
pdf file icon 2182checkersVPI_080327es.pdf [^] (405,504 bytes) 2008-04-02 03:13

- Relationships
related to 0002089closedTom Thatcher Allow checker construct (0001900) to include final blocks with immediate assertions 
related to 0001900closedDmitry Korchemny Add new 'checker' construct to SVA 
related to 0003090new Create VPI data model extensions for Checkers 

-  Notes
User avatar (0005980)
John Havlicek (manager)
2008-02-12 20:58

2008-02-11: Passed by e-mail vote, 5y/0n/0a, with friendly amendments. 2008-02-12: Friendly amendments passed by voice vote.
User avatar (0005981)
John Havlicek (manager)
2008-02-12 20:59

This proposal needs to be reviewed and approved by SV-CC.
User avatar (0006020)
Dmitry Korchemny (manager)
2008-02-18 10:28

Reopened to make a fix: "intl" -> "int"
User avatar (0006021)
Dmitry Korchemny (manager)
2008-02-18 10:33

Fixed a typo:
"intl: vpiInitialType" -> "int: vpiInitialType"
User avatar (0006396)
shalom (manager)
2008-04-02 03:14

Erik asked me to upload updated proposals that address SV-CC concerns so far.
User avatar (0006582)
Neil Korpusik (administrator)
2008-04-22 14:13

Changing the state to feedback since it appears that the latest
proposal has not yet been approved by the Technical Committee.
User avatar (0006589)
Neil Korpusik (administrator)
2008-04-23 11:04

Moving to the sv-sc.

- Issue History
Date Modified Username Field Change
2007-11-12 05:05 Dmitry Korchemny New Issue
2007-11-12 05:05 Dmitry Korchemny Type => Enhancement
2007-11-12 05:06 Dmitry Korchemny Relationship added related to 0001900
2007-11-12 06:31 Dmitry Korchemny Summary Elaborate VPI doagrams for checkers => Elaborate VPI diagrams for checkers
2007-11-12 19:13 shalom Issue Monitored: shalom
2007-12-04 01:17 Dmitry Korchemny Status new => assigned
2007-12-04 01:17 Dmitry Korchemny Assigned To => Dmitry Korchemny
2007-12-04 01:18 Dmitry Korchemny File Added: 2182 checkersVPI_071204dk.doc
2007-12-04 01:19 Dmitry Korchemny File Added: 2182 checkersVPI_071204dk.pdf
2008-01-11 14:35 Bassam Tabbara File Deleted: 2182 checkersVPI_071204dk.doc
2008-01-11 14:35 Bassam Tabbara File Deleted: 2182 checkersVPI_071204dk.pdf
2008-01-11 14:35 Bassam Tabbara File Added: 2182 checkersVPI_071204dkbt.doc
2008-01-11 14:35 Bassam Tabbara File Added: 2182 checkersVPI_071204dkbt.pdf
2008-01-15 01:29 Dmitry Korchemny File Added: 2182 checkersVPI_071404dkbt.doc
2008-01-15 01:30 Dmitry Korchemny File Added: 2182 checkersVPI_071404dkbt.pdf
2008-01-15 04:08 Dmitry Korchemny File Deleted: 2182 checkersVPI_071404dkbt.doc
2008-01-15 04:08 Dmitry Korchemny File Deleted: 2182 checkersVPI_071404dkbt.pdf
2008-01-15 04:08 Dmitry Korchemny File Added: 2182 checkersVPI_071404dkbt.doc
2008-01-15 04:09 Dmitry Korchemny File Added: 2182 checkersVPI_071404dkbt.pdf
2008-01-20 06:46 Dmitry Korchemny File Deleted: 2182 checkersVPI_071204dkbt.doc
2008-01-20 06:46 Dmitry Korchemny File Deleted: 2182 checkersVPI_071204dkbt.pdf
2008-01-20 06:46 Dmitry Korchemny File Added: 2182 checkersVPI_080120dk.doc
2008-01-20 06:46 Dmitry Korchemny File Added: 2182 checkersVPI_080120dk.pdf
2008-01-20 07:17 Dmitry Korchemny File Deleted: 2182 checkersVPI_080120dk.doc
2008-01-20 07:18 Dmitry Korchemny File Deleted: 2182 checkersVPI_080120dk.pdf
2008-01-20 07:18 Dmitry Korchemny File Added: 2182 checkersVPI_080120dk.doc
2008-01-20 07:18 Dmitry Korchemny File Added: 2182 checkersVPI_080120dk.pdf
2008-01-21 01:46 Dmitry Korchemny File Deleted: 2182 checkersVPI_071404dkbt.doc
2008-01-21 01:47 Dmitry Korchemny File Deleted: 2182 checkersVPI_071404dkbt.pdf
2008-01-21 01:47 Dmitry Korchemny File Added: 2182 checkersVPI_080121dk.doc
2008-01-21 01:48 Dmitry Korchemny File Added: 2182 checkersVPI_080121dk.pdf
2008-01-22 00:55 Dmitry Korchemny File Added: 2182 checkersVPI_080122dk.doc
2008-01-22 00:55 Dmitry Korchemny File Added: 2182 checkersVPI_080122dk.pdf
2008-02-10 05:13 Dmitry Korchemny File Deleted: 2182 checkersVPI_080120dk.doc
2008-02-10 05:13 Dmitry Korchemny File Deleted: 2182 checkersVPI_080120dk.pdf
2008-02-10 05:14 Dmitry Korchemny File Added: 2182 checkersVPI_080210dk.doc
2008-02-10 05:14 Dmitry Korchemny File Added: 2182 checkersVPI_080210dk.pdf
2008-02-10 07:52 Dmitry Korchemny File Deleted: 2182 checkersVPI_080210dk.doc
2008-02-10 07:52 Dmitry Korchemny File Deleted: 2182 checkersVPI_080210dk.pdf
2008-02-10 07:53 Dmitry Korchemny File Added: 2182 checkersVPI_080210dk.doc
2008-02-10 07:53 Dmitry Korchemny File Added: 2182 checkersVPI_080210dk.pdf
2008-02-10 09:35 Dmitry Korchemny File Deleted: 2182 checkersVPI_080210dk.doc
2008-02-10 09:36 Dmitry Korchemny File Deleted: 2182 checkersVPI_080210dk.pdf
2008-02-10 09:36 Dmitry Korchemny File Added: 2182 checkersVPI_080210dk.doc
2008-02-10 09:36 Dmitry Korchemny File Added: 2182 checkersVPI_080210dk.pdf
2008-02-12 03:09 Dmitry Korchemny File Deleted: 2182 checkersVPI_080210dk.doc
2008-02-12 03:09 Dmitry Korchemny File Deleted: 2182 checkersVPI_080210dk.pdf
2008-02-12 03:10 Dmitry Korchemny File Added: 2182 checkersVPI_080210dk.doc
2008-02-12 03:13 Dmitry Korchemny File Added: 2182 checkersVPI_080210dk.pdf
2008-02-12 03:13 Dmitry Korchemny File Deleted: 2182 checkersVPI_080121dk.doc
2008-02-12 03:13 Dmitry Korchemny File Deleted: 2182 checkersVPI_080121dk.pdf
2008-02-12 20:58 John Havlicek Note Added: 0005980
2008-02-12 20:59 John Havlicek Note Added: 0005981
2008-02-12 21:00 John Havlicek Status assigned => resolved
2008-02-12 21:00 John Havlicek Resolution open => fixed
2008-02-18 10:28 Dmitry Korchemny Status resolved => feedback
2008-02-18 10:28 Dmitry Korchemny Resolution fixed => reopened
2008-02-18 10:28 Dmitry Korchemny Note Added: 0006020
2008-02-18 10:29 Dmitry Korchemny File Deleted: 2182 checkersVPI_080210dk.doc
2008-02-18 10:30 Dmitry Korchemny File Deleted: 2182 checkersVPI_080210dk.pdf
2008-02-18 10:30 Dmitry Korchemny File Added: 2182 checkersVPI_080210dk.doc
2008-02-18 10:31 Dmitry Korchemny File Added: 2182 checkersVPI_080210dk.pdf
2008-02-18 10:33 Dmitry Korchemny Note Added: 0006021
2008-02-18 10:33 Dmitry Korchemny Status feedback => resolved
2008-02-18 10:33 Dmitry Korchemny Resolution reopened => fixed
2008-02-28 03:22 shalom Relationship added related to 0002089
2008-03-25 15:19 Dmitry Korchemny Relationship deleted related to 0001900
2008-03-25 15:22 Dmitry Korchemny Relationship added child of 0001900
2008-03-26 05:47 Dmitry Korchemny Relationship deleted child of 0001900
2008-03-26 05:47 Dmitry Korchemny Relationship added related to 0001900
2008-04-02 03:12 shalom File Added: 2182checkersVPI_080327es.doc
2008-04-02 03:13 shalom File Added: 2182checkersVPI_080327es.pdf
2008-04-02 03:14 shalom Note Added: 0006396
2008-04-22 14:13 Neil Korpusik Status resolved => feedback
2008-04-22 14:13 Neil Korpusik Resolution fixed => reopened
2008-04-22 14:13 Neil Korpusik Note Added: 0006582
2008-04-23 11:04 Neil Korpusik Note Added: 0006589
2008-04-23 11:04 Neil Korpusik Category SV-AC => SV-SC
2008-08-18 19:12 Bassam Tabbara Issue Monitored: Bassam Tabbara
2010-04-06 04:26 shalom Category SV-SC => SV-AC
2010-05-18 02:49 shalom Relationship added related to 0003090


Mantis 1.1.7[^]
Copyright © 2000 - 2008 Mantis Group
Powered by Mantis Bugtracker