Subject: [sv-ec] Agenda for meeting on Monday 15 December 2003
From: David W. Smith (David.Smith@synopsys.com)
Date: Fri Dec 12 2003 - 22:54:47 PST
Greetings,
There will be a meeting of the SV-EC committee on Monday, 15 December 2003.
The meeting time is the normal 11:00am until 1:00pm (PST) period as this is
a regularly scheduled meeting (replacing the 22 December 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-8.txt
<http://www.eda.org/sv-ec/Minutes/SV-EC-Minutes-2003-December-1txt>
2. Review of open Action Items (2 Minutes)
AI-39 (): Review SV-AC Assume proposal
3. Review of Inter-committee dependencies (10 minutes)
4. Review Errata list (55 Minutes)
Proposals:
ERR-52 (Arturo): Events used within coverage are immediate
ERR-56 (David): Fix all locations in LRM for built-in package to use
std::
ERR-57 (David): Create appendix for std package
ERR-61 (Brad): expect property statement
ERR-62 (Brad): new copy constructor not in grammar
ERR-63 (Dave): Add block variable to automatic default
No Proposals (will be considered if they show up before the meeting).
ERR-8 (Dave): Using event control with methods
ERR-47 (Brad): Keywords as identifiers
ERR-58 (Arturo): State that constraints deal with 2-state values
5. Review 3.1a Extensions and discussion (50 minutes)
Discuss and re-vote on EXT-16: Event control for coverage
6. Meeting logistics (2 minutes)
Next meeting scheduled for January 5, 2003 from 11:00am until 1:00pm.
Regards
David
This archive was generated by hypermail 2b28 : Fri Dec 12 2003 - 22:57:10 PST