[sv-cc] SV-CC 01/23/03 f2f meeting minutes


Subject: [sv-cc] SV-CC 01/23/03 f2f meeting minutes
From: Swapnajit Mittra (mittra@juno.com)
Date: Sun Jan 26 2003 - 12:23:54 PST


   Fwding the minutes from the f2f (thanks Kevin!). Please
   reply back to the team for any correction or bring
   them up during the next meeting.

   - Swapnajit.

Attendees::::::::::::::::::::::::::::::::::::::::

Doug Warmke (Mentor)
Swapnajit Mittra (SGI)
Francoise Martinole (Cadence)
Kevin Cameron (National Semiconductor)
Michael Rohleder (Motorola) (phone)
Joao Geada (Synopsys) (phone)
Ghassan Khoory (Synopsys) (phone)
Andrzej Litwiniuk (Synopsys) (phone)
Bassam Tabbara (Novas) (phone)
Stuart Swann (Cadence) (phone)
John Amaroux (Mentor) (phone)

::::::::::::::::::::::::::::::::::::::::::::::::::

Minutes Approval (proposed Doug, seconded Ghassan) passed.

   -------

LRM status.

  Joe waiting for paperwork.
  C & assertion APIs seperate.

   -------

Michael wants bit-select/part-select language in LRM version.
Doug says follow 3.1 Arrays Chapter.

Issue 1.4:

  Michael: how pure is "pure"? Split "context" attribute
           for different interfaces (PLI,VPI,Direct?).

  General: "Pure" and "context" should be exclusive.

  Kev: "Pure" entirely unenforceable just adds overhead for
           users and simulator if exclusive.

Michael's presentation - Inclusion of Foreign Language Code

  (proposal arrived too late for anyone to prepare properly)

  Joao,Doug: dislike environment variables.

  Kev: should not go further than specifying object
             files/libraries, and should do it symbolically.

  Michael: can split object inclusion from source compilation.

  General: agree to split objecty and source handling.

  Discuss further on e-mail.

Cross Committee

  BC/EC: Unicode gone. "byte" may go.

  Michael: Need more definition for signed/unsigned.

  CC: Vote to remove Unicode - 6 for 1 abstain (Doug).

  General: String class/memory allocation

              - discuss over e-mail

  Joao/EC: Handles/pointers not discussed yet.
              Joao to check his proposal is on the EC's list.

              Import/Export/Extern needs clarification.

  Joao/Kev: Disagree on handles vs pointer declaration.

              Continue at EC.

  Joao/EC: Alternate to "extern" desirable (classes/interfaces).

              Need proposal for next meeting.

Coverage API:

  Michael: Need example for 3.3, would like list of instances/modules.

  Kev: May be better with "double" as return type for counts
              for forward compatibility.

  General: save/merge - Change "filename" to "database name".
  Kev: maybe split to "repository" & "database".

  Doug: Why /* SV ... */ not attributes?
              - use alias for slices

  Doug: What happened to branch coverage?
              Joao prefers to stick to simpler functionality for
              this version.

  Francoise: 5.1 - VPI definitions confusing - language needs refined.

   ----

Next meeting Tuesday 28th Jan:

  Discuss code linking, source compilation.

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



This archive was generated by hypermail 2b28 : Sun Jan 26 2003 - 12:47:48 PST