[sv-cc] SV-CC Meeting Minutes, Part 2, for January 28, 2003

Subject: [sv-cc] SV-CC Meeting Minutes, Part 2, for January 28, 2003
From: Amouroux, John (john_amouroux@mentorg.com)
Date: Tue Jan 28 2003 - 10:04:02 PST

• Next message: Francoise Martinolle: "[sv-cc] integrating directC code"
• Previous message: Amouroux, John: "RE: [sv-cc] Updated proposal for C/C++ file inclusion"
• Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

SV-CC Meeting Minutes Part 2, for January 28, 2003:

Coverage API Changes:

Joao presents his changes - his doc has all the change bars set.

Basically, he has fixed up the doc according to the previous input from the
group.

Andrzej: How does the database file relate to checkpoint save/restart?
Joao: These do not interact with each other. But a simulation doing a
checkpoint save should also save coverage data. But the coverage data saved
in the checkpoint file would not be visible to the user.

Michael: coverage_get_max omission
Joao: forgot to add Michael's suggestions - will do it in next rev of the
doc.

Poll for coverage acceptance slated for Feb. 6, depending on the feedback we
see on the reflector.

Joao needs to do the updates and send them to Joe as soon as possible.

Attendances:
Francoise Martinole
John Amouroux
Doug Warmke
Michael Rohleder
Kevin Cameron
Bassam Tabbara
Swapnajit Mittra
Joao Geada
Ghassan Khoory
Andrzej Litwiniuk
Joe Daniels
Stuart Swan

• Next message: Francoise Martinolle: "[sv-cc] integrating directC code"
• Previous message: Amouroux, John: "RE: [sv-cc] Updated proposal for C/C++ file inclusion"
• Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

This archive was generated by hypermail 2b28 : Tue Jan 28 2003 - 10:04:32 PST