Subject: [sv-ec] Agenda for meeting on 2 February 2004
From: David W. Smith (dwsmith@synopsys.com)
Date: Sun Feb 01 2004 - 21:12:12 PST
Meeting Date: Monday 2 February 2004
Meeting Time: 11:00am until 1:00pm
Note: For anyone having trouble accessing the site at http://www.eda.org/sv-ec please go to
http://eda-enterprise.stanford.edu/sv-ec.
Call-in information is available at:
http://www.eda.org/sv-ec/Minutes.html#Meeting_Schedule and is:
(888) 635.9997 - US - Toll free
(763) 315.6815 - International - Toll
Participant code: 5476467
The agenda for Monday is:
1. Review of the meeting minutes
http://www.eda.org/sv-ec/Minutes/SV-EC-Minutes-2004-January-21.txt
2. Revi 2. Review of open Action Items
None
3. Review of Inter-committee dependencies
We will discuss ERR-70 below.
4. Review Errata list
Proposals:
LRM-191 (Neil) - Cross reference checks
LRM-192 (Brad) - Cross reference checks
LRM-193 (Dave) - Remove process left over from 3.0
LRM-195 (Arturo) - Fix table 12-2
LRM-199 (Arturo) - Fix of LRM-111
5. LRM Review
Review status of LRM review tasks
Glossary
Dave
Verification of all cross references
Sections 1-7: Ray
Sections 8-14: Stu
Sections 15-21: Neil
Sections 21-29: Brad
Check all changes for consistency and correctness
Assertions - Michael
C API - ???
Classes/Randomization - Mehdi
Constraints - Arturo
Types - Dave
6. Review 3.1a Extensions and discussion
None
7. Meeting logistics
Next meeting scheduled for Wednesday February 18, 2004 from 10:00am until 12:00pm.
David W. Smith
Synopsys Scientist
Synopsys, Inc.
Synopsys Technology Park
2025 NW Cornelius Pass Road
Hillsboro, OR 97124
Voice: 503.547.6467
Main: 503.547.6000
FAX: 503.547.6906
Email: david.smith@synopsys.com
<http://www.synopsys.com> http://www.synopsys.com
This archive was generated by hypermail 2b28 : Sun Feb 01 2004 - 21:23:52 PST