Summary of inputs from the Technical committees on the schedule 

svac   End of February
svbc   December 15
svcc   January  15?  (or is it Feb 15?)
svec   December 15


svac 

The following is the list of the key outstanding SV-AC Mantis items
along with their effort estimations according to the responses of the
committee members.

* Mapping assertion system tasks to callbacks(1898):  3 weeks
* LTL operators (1932):                               1 month
* Checkers (1900):                                    2 months
* Solution for glitch problem (2005):                 2.5 months
* Allow concurrent assertions in for loops (1995):    2 weeks
* Local variable arguments (1667):                    2 weeks

The following is considered an important goal, but there is currently
no Mantis item for it:

* Define formal semantics for cover statement:        2 months


This list above does not include items that were considered to be
close to resolution:

* Adding missing argument types (1549)
* Local variable initializers (1668)
* Future value functions (1682)
* Let construct in assertions (1728)
* Boolean implication and equivalence (1758)


SV-AC will hold a face-to-face meeting in Austin on 2-3 OCT 2007 to
work intensively on the key items and any of the items considered close
to resolution that have not been resolved by that time.

Regardless, it seems very likely that a number of key items will not
be resolved by the 15 NOV 2007 feature freeze.

The sum of the effort estimates is roughly 9.25 months.  Assuming that
the committee can work in parallel on two key items, we think that we
have a good chance of completing all these items by the end of FEB
2008.

Any extension that P1800 can give on the 15 NOV 2007 date will
increase the chance of resolving more key items for the 2008 standard.



svbc 

This is a note to bring to your attention a matter that was
voted on in today's SV-BC meeting.  Specifically, the
committee unanimously voted to request a 1 month extension
of the feature freeze to have time to address name resolution
issues as well as other issues identified by Neil (JEITA and
1800-2005) and a limited set of issues to be determined by
October 15.

Please note that if the issues, especially those with name resolution,
are not addressed, the results will most likely be divergent
implementations.



svcc 

I think we are probably going to need another 3 months to clean
up all these issues.  Also, we will need one month after the
SV-BC has finished the parameterized types enhancement to add the
VPI that goes with it.  So, our end date may be dependent on
theirs.


svec

In today's SV-EC meeting a motion was approved to request
a one month delay for the p1800 'Feature Freeze' deadline
date (originally set for November 15th 2007).

This extension will be required to address the most
important outstanding issues that can be resolved for
this draft of p1800 LRM, for example the queue issues.


Champions 
   Needs to extend at least 2 weeks beyond svac, svbc, svcc, svec