[sv-ec] Agenda for meeting on 2 February 2004


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