Re: [sv-champions] mantis item that need to be closed

From: Brad Pierce <Brad.Pierce_at_.....>
Date: Wed Sep 20 2006 - 09:10:16 PDT
All of the Acknowledged status items in the svdb are now assigned an
appropriate Category, according to the policy of
 
     http://www.eda-twiki.org/sv/SV_DB_Proc.html
<http://www.eda-twiki.org/sv/SV_DB_Proc.html> 
 
and are awaiting review of the correctness of the editorial
implementation, and hopefully a transition to Closed status.
 
The mapping from the old-time categories to today's categories is
 
          Encryption | V-1364  --> SV-BC
          V-PTF --> SV-CC
 
Now, for each of these Acknowledged items, someone, ideally the author
of the proposal, needs to carefully compare the editorial implementation
in the LRMs with the actual proposal.
 
-- Brad
 

________________________________

From: owner-sv-champions@eda.org [mailto:owner-sv-champions@eda.org] On
Behalf Of Bresticker, Shalom
Sent: Wednesday, September 20, 2006 1:07 AM
To: Rich, Dave; sv-champions@eda.org
Subject: RE: [sv-champions] mantis item that need to be closed



Dave,

 

I asked Karen and Matt about this a while ago.

I got this reply:

 

Here's how I see the committee assignments for them:

 

SV-BC:  510, 576, 669, 700, 702

SV-CC: 313, 485

SV-EC: 722

 

Matt

 

Note that 722 is in acknowledged state even though it is in SV-EC
category.

Brad has just closed 510.

 

Shalom

 

________________________________

From: owner-sv-champions@server.eda.org
[mailto:owner-sv-champions@server.eda.org] On Behalf Of Rich, Dave
Sent: Tuesday, September 19, 2006 10:12 PM
To: sv-champions@server.eda.org
Subject: [sv-champions] mantis item that need to be closed

 

Karen,

 

There are a number of mantis items that need to be closed out in the
*-LRM state before we get started on the next set of LRM changes. They
are:

 

 

0000702 <http://www.eda-stds.org/svdb/bug_view_page.php?bug_id=0000702>


1
<http://www.eda-stds.org/svdb/bug_view_page.php?bug_id=0000702&nbn=1#bug
notes>  

V-LRM 

feature 

acknowledged 

11-11-05 

Editor tasks from ballot feedback 

0000700 <http://www.eda-stds.org/svdb/bug_view_page.php?bug_id=0000700>


3
<http://www.eda-stds.org/svdb/bug_view_page.php?bug_id=0000700&nbn=3#bug
notes>  

V-LRM 

feature 

acknowledged 

11-11-05 

SCC 14 Feedback from P1800 Review 

0000669 <http://www.eda-stds.org/svdb/bug_view_page.php?bug_id=0000669>


7
<http://www.eda-stds.org/svdb/bug_view_page.php?bug_id=0000669&nbn=7#bug
notes>  

V-LRM 

text 

acknowledged (tom_fitzpatrick) 

11-11-05 

Participant lists for Introduction 

0000313 <http://www.eda-stds.org/svdb/bug_view_page.php?bug_id=0000313>


12
<http://www.eda-stds.org/svdb/bug_view_page.php?bug_id=0000313&nbn=12#bu
gnotes>  

V-LRM 

major 

acknowledged (chas) 

11-11-05 

PTF 296: Generate stmts will need change made in VPI 

0000576 <http://www.eda-stds.org/svdb/bug_view_page.php?bug_id=0000576>


7
<http://www.eda-stds.org/svdb/bug_view_page.php?bug_id=0000576&nbn=7#bug
notes>  

V-LRM 

text 

acknowledged (dovich) 

11-11-05 

Annex H descriptions need revision for clarity 

0000485 <http://www.eda-stds.org/svdb/bug_view_page.php?bug_id=0000485>


10
<http://www.eda-stds.org/svdb/bug_view_page.php?bug_id=0000485&nbn=10#bu
gnotes>  

SV-LRM 

minor 

acknowledged (stuart) 

11-11-05 

32.29 Clarify difference between a thread and a frame 

0000510 <http://www.eda-stds.org/svdb/bug_view_page.php?bug_id=0000510>


8
<http://www.eda-stds.org/svdb/bug_view_page.php?bug_id=0000510&nbn=8#bug
notes>  

SV-LRM 

major 

acknowledged (fm) 

11-11-05 

what are the operators allowed on unpacked structs, unions and classes? 

 

Dave

 

David Rich
Verification Technologist
Design Verification & Test Division
Mentor Graphics Corporation
dave_rich@mentor.com
Office:   408 487-7206
Cell:     510 589-2625

 
Received on Wed Sep 20 09:10:41 2006

This archive was generated by hypermail 2.1.8 : Wed Sep 20 2006 - 09:10:42 PDT