[sv-ac] plan for remaining work

Hi Neil:

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.

J.H.

-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.