[sv-cc] Meeting Minutes: SV-CC Weekly Meeting 02/25/04

Subject: [sv-cc] Meeting Minutes: SV-CC Weekly Meeting 02/25/04
From: Duncan, Ralph (ralph_duncan@mentorg.com)
Date: Wed Feb 25 2004 - 10:00:26 PST

• Next message: Duncan, Ralph: "[sv-cc] Draft 5 Changes Review Request: Part-Select"
• Previous message: Swapnajit Mittra: "[sv-cc] Meeting reminder 02/25"
• Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Minutes of 02/25/04 SV-CC Meeting.

ATTENDEES

. Swapnajit Mittra
. Joao Geada
. Andrzej Litwiniuk
. Michael Rohleder
. Doug Warmke
. Ralph Duncan

A. REGULAR PROCEDURES:

. Swapnajit called for accepting the previous minutes;
  Joao moved for acceptance; Ralph seconded.

B. PART SELECTS (SVDPI.H)
. Andrzej and Ralph proposed clarifying the comment text
  on part select indexing behavior; the utility functions'
  semantics and prototypes are to remain unchanged.

C. VPI ANNOTATION DISCUSSION

Joao discussed issues regarding diagrams for:
. interface tf decl unreachability (diagram 31.7),
. constraint expressions missing information (diag. 31.20),
. 'refObj' redundancy (diagram 31.9).

D. ACTIONS

. Ralph to prepare and send LRM errata for SVDPI.H part-select
  comment text (secs. E.10.3.2 and F.1) on 2/25.
. Joao to fix or to provide estimate on time/actions needed
  to fix problems associated with VPI extension diagram 31.20.

Ralph Duncan, 02/25/2004

• Next message: Duncan, Ralph: "[sv-cc] Draft 5 Changes Review Request: Part-Select"
• Previous message: Swapnajit Mittra: "[sv-cc] Meeting reminder 02/25"
• Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

This archive was generated by hypermail 2b28 : Wed Feb 25 2004 - 10:04:35 PST