Subject: [sv-ec] Agenda for meetgin on Monday 8 December 2003
From: David W. Smith (David.Smith@synopsys.com)
Date: Sat Dec 06 2003 - 03:10:44 PST
Greetings,
There will be a meeting of the SV-EC committee on Monday, 8 December 2003.
The meeting time is the normal 11:00am until 1:00pm (PST) period as this is
a 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-December-1txt
2. Review of open Action Items (2 Minutes)
AI-5 (Cliff/Arturo): Response to Cliff's email
AI-18 (David): Appendix for built-in package contents
AI-39 (): Review SV-AC Assume proposal
3. Review of Inter-committee dependencies (10 minutes)
4. Review Errata list (55 Minutes)
Proposals:
ERR-20/21 (Arturo) Update of example based on ERR-4
ERR-45 (Dave): Wildcard equality
ERR-52 (Arturo): Events used within coverage are immediate
ERR-54 (Arturo): Split 19.8.2 into 19.4.5 and 19.8.2
ERR-59 (Brad): Undo of block_item_declaration removal
ERR-60 (Brad): void' casts
ERR-61 (Brad): expect property statement
No Proposals:
ERR-8 (Dave): Using event control with methods
ERR-47 (Brad): Keywords as identifiers
ERR-56 (David): Fix all locations in LRM for built-in package to use
std::
ERR-57 (David): Create appendix for std package
ERR-58 (Arturo): State that constraints deal with 2-state values
5. Review 3.1a Extensions and discussion (50 minutes)
Complete vote on (if required):
EXT-12: Bitstream support ( minutes)
Discuss and re-vote on EXT-16: Event control for coverage
6. Meeting logistics (2 minutes)
December 15
Errata completion
Regards
David
This archive was generated by hypermail 2b28 : Sat Dec 06 2003 - 03:12:51 PST