Subject: [sv-ec] Agenda for SV-EC meeting on 24 November 2003
From: David W. Smith (david.smith@synopsys.com)
Date: Fri Nov 21 2003 - 15:57:12 PST
Greetings,
There will be a meeting of the SV-EC committee on Monday, 24 November 2003.
Please note that I have allocated time for each stage of the meeting. This
will encourage us to start the meeting on time.
This is the regularly scheduled meeting.
Call-in information is available at:
<http://www.eda.org/sv-ec/Minutes.html#Meeting_Schedule>
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 (5 Minutes)
<http://www.eda.org/sv-ec/Minutes/SV-EC-Minutes-2003-November-11.txt>
http://www.eda.org/sv-ec/Minutes/SV-EC-Minutes-2003-November-11.txt
<http://www.eda.org/sv-ec/Minutes/SV-EC-Minutes-2003-November-17.txt>
http://www.eda.org/sv-ec/Minutes/SV-EC-Minutes-2003-November-17.txt
2. Review of open Action Items (2 Minutes)
AI-5 (Arturo/Cliff): Cliff Cummings email
AI-18 (Unassigned): Waiting on built-in package proposal
AI-39 (Unassigned): SV-AC assume and sequential constraints proposal
3. Review of Inter-committee dependencies (2 minutes)
OCR-2: Discussion on inside proposal from SV-BC
OCR-3: Sequential constraints
4. Review email vote and resolve (40 minutes)
Errata:
ERR-5 (Arturo): built-in package (10 minutes)
Extensions:
EXT-3: Virtual interfaces (10 minutes)
EXT-7: Reacting to Assertions (10 minutes)
EXT-16: Event control for coverage (10 minutes)
5. Review 3.1a Extensions and discussion (30 minutes)
Complete review of:
EXT-12: Bitstream support (30 minutes)
6. Review Errata list (50 Minutes)
Proposals:
ERR-4 (Arturo): automatics in fork/join_none
ERR-45 (Dave): Wildcard equality
ERR-50 (Arturo): Program visibility rules
ERR-51 (Brad): Method calls and class parameter overrides
ERR-52 (Arturo): Events used within coverage are immediate
No Proposals:
ERR-8 (Dave) Using event control with methods
ERR-20/21 (Arturo) Update of example based on ERR-4
ERR-21 (Arturo)
ERR-44 (Jay) Consolidation of implication operators
ERR-47 (Brad) Keywords as identifiers
7. Meeting logistics (2 minutes)
December 1
Complete any outstanding errata and extensions
December 8
Start LRM editorial review
Regards
David
This archive was generated by hypermail 2b28 : Fri Nov 21 2003 - 15:56:46 PST