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

Regarding 669, which is the Participants list in 1364-2005, Michael
McNamara's affiliation should have been updated in two places from
Verisity to Cadence, but we are not going to change it now anyway.

 

Shalom

 

________________________________

From: owner-sv-champions@server.eda.org
[mailto:owner-sv-champions@server.eda.org] On Behalf Of Brad Pierce
Sent: Wednesday, September 20, 2006 7:10 PM
To: sv-champions@server.eda.org
Subject: Re: [sv-champions] mantis item that need to be closed

 

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