Subject: [sv-cc] sv-cc minutes 1/28/2004
From: Joao Geada (Joao.Geada@synopsys.com)
Date: Wed Jan 28 2004 - 09:39:05 PST
SV-CC Minutes for Jan 28, 2004:
Attendance:
========================================
Swapnajit
Francoise
Ghassan
Joao
Ralph
Avinash
Bassam
Andrzej
Michael
Doug
Minutes
========================================
Acceptance of minutes from last Friday's meeting: Joao proposed, Ralph seconded
Reviewed any pending action items from lrm editor reviews:
Joao confirmed all his items are done and passed to David Smith
Bassam and Doug confirmed all their items done and passed to David Smith
ACTION: Need to generate any new index & glossary items
for draft 4. Section assigments:
VPI: Avinash
Tasks: Doug
Reader: Bassam
Assertion VPI: Michael
Each person should create a list of words to be added to the index, would
be nice to also have appropriate section entries for those words. For
glossary entries words will also need a proposed definition.
Action item needs to be concluded by this Friday (30/1/2004)
Joao described last item to be completed for VPI: completion of sv_vpi_user.h
It is currently missing the information for the reader API plus the additional
calls etc in the assertion and coverage APIs.
Bassam will send header for the reader API for Joao to merge in to the
sv_vpi_user.h. Joao will also reconcile all the constant assignments.
Quick discussion between Bassam and Joao regarding the representation
of multi-clocked property expressions. After description of the diagrams,
Bassam will review the LRM and verify that everything can be represented
in the proposed diagrams.
Ghassam brought up the review process. After some discussion, Doug and Francoise
objected to the how the process was being defined and would prefer to review
done by assignment of specific chapters to people, rather than reviewing
work of specific other committees. Discussion continued over best approach
on how distribute the detailed review work.
Final approach: divide LRM into functional blocks (of related chapters)
and assign review of these blocks to individuals.
ACTION: Bassam will review assertions.
ACTION: Francoise will generate the list of 3 or 4 functional blocks
(and no more than 4!) and send this list out by tomorrow morning
at the latest. Blocks will include annexes when appropriate.
ACTION: Ghassan and Swapnajit will send out the review schedule to committee
today.
==============================================================================
Joao Geada, PhD Principal Engineer Verif Tech Group
Synopsys, Inc TEL: (508) 263-8083
377 Simarano Drive, Suite 300, FAX: (508) 263-8069
Marlboro, MA 01752, USA
==============================================================================
This archive was generated by hypermail 2b28 : Wed Jan 28 2004 - 09:43:48 PST