Agenda for the face-to-face meeting on 12/3

Subject: Agenda for the face-to-face meeting on 12/3
From: Swapnajit Mittra (mittra@juno.com)
Date: Mon Dec 02 2002 - 15:20:17 PST

Agenda for the face-to-face meeting:

Hello all,

This is the tentative agenda for the meeting on 7th. I
apologize for being so late in sending this, but I wanted
to include the assertion proposal for part of the
discussion.

The primary aim of this meeting is to take advantage of the
presence of the team members in persons and make measurable
progress. To this effect, I would request the team members
to focus the discussions on accepting/deferring/rejecting
any idea with its final contribution to the LRM in mind.

Let us try to draw closure on smaller issues if we can.
The time limit mentioned next to each item is only a
tentative one, we will go more in-depth if required.

So far, following are the concrete proposals/issues that I
have seen being mentioned (See 2 below). Please bring in any
other topic you would like to discuss with the team.

1. INTRODUCTION:

   - Agenda and other regular routine tasks: Swapnajit.

2. ISSUES AND POLLS:

   1. ISSUE 1.2: A DirectC external C function should override
   a built-in C function by the same name. [20 minutes].

   - Andrzej's comment and proposed addition to 5 of 1.6.
   - Poll on the above addition.

   2. ISSUE 1.3: Name resolution between a Verilog task and a
   DirectC external C function. [10 minutes].

   - Andrzej's comment on duplication to 6a and 6c of ISSUE
   1.6.
   - Poll on closing 1.3.

   3. ISSUE 1.8: Distinguish C and C++ code. [10 minutes].

   - Poll on closing the issue as per Andrzej's comment and
   Michael's agreement.

   4. ISSUE 1.10: cmodules vs. external "C" tasks [10 minutes]

   - Andrzej's comment on closing this and Doug's agreement.
   - Poll on closing 1.10.

   5. ISSUE 1.13: const attribute for input params.

   - Michael's proposal.

   6. ISSUE 1.9: How to find C/C++ code ? [30 minutes]

   - Andrzej and Michael's proposal.

   7. ISSUE 1.7 and 1.11: [30 minutes]

   - General requirement analysis (to get us going on a formal
   proposal).

   8. ISSUE 1.12: "queueable" attribute for functions [30 minutes]

   - JohnS proposal.

   9. Joao's proposal on assertion: [30 minutes].

   - Proposal is at: http://www.eda.org/sv-cc/hm/0436.html
   

3. LOGISTICS:

Here is Doug's earlier email. (Thanks again, Doug for
arranging this.)

 ===
Hello SV-CC,

Here are logistical details regarding our December 3rd face-to-face.

Location: Mentor Graphics, 1001 Ridder Park Drive, San Jose
             (This is the big white building on the corner of Brokaw)

Date: Tuesday December 3rd

Time: 9am to 5pm

Phone info: US # is (888) 742-8686
             Intl # is (303) 928-2600
             Conference ID is 6153534

Map:
http://maps.yahoo.com/py/maps.py?Pyt=Tmap&addr=1001+Ridder+Park+Drive&csz=san+jose%2C+ca+95131&Get%A0Map=Get+Map

So far the confirmed attendee list is:
   Stuart Swan
   Francoise Martinolle
   Swapnajit Mittra
   John Amouroux
   Doug Warmke
   Ghassan Khoory
   Joao Geada
   Andrzej Litwiniuk
   Bassam Tabbara
   Alain Raynaud
   Kevin Cameron
   Joe Daniels

Please mail marie_rose@mentor.com (and cc doug_warmke@mentor.com)
if there are going to be any changes in the attendee list.

Thanks and regards,
Doug 

--
Swapnajit Mittra
Project VeriPage ::: http://www.angelfire.com/ca/verilog

________________________________________________________________
Sign Up for Juno Platinum Internet Access Today
Only $9.95 per month!
Visit www.juno.com

This archive was generated by hypermail 2b28 : Mon Dec 02 2002 - 15:22:05 PST